𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism

✍ Scribed by Troubitsyna, Elena

Book ID: 120185801
Publisher: IEEE
Year: 2010
Weight: 214 KB
Category: Article
ISBN: 1424472733
DOI: 10.1109/CTRQ.2010.31

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Flow-Level Modeling of Parallel Download in Distributed Systems

✍ Dandoush, Abdulhalim; Jean-Marie, Alain 📂 Article 📅 2010 🏛 IEEE ⚖ 232 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - An ECLIPSE Plug-In for Formal Verification of BPMN Processes

✍ Flavio, Corradini; Alberto, Polzonetti; Barbara, Re; Damiano, Falcioni 📂 Article 📅 2010 🏛 IEEE ⚖ 341 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Optimising Replication versus Redundancy in Window-Aware Opportunistic Routing

✍ Sandulescu, Gabriel; Nadjm-Tehrani, Simin 📂 Article 📅 2010 🏛 IEEE ⚖ 636 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Non-intrusive Identification of Peer-to-Peer Traffic

✍ Ulliac, Alexis; Ghita, Bogdan V. 📂 Article 📅 2010 🏛 IEEE ⚖ 341 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Reliability Prediction Method Based on Function and Fault Reasoning for Electronic Products

✍ Guangyan, Zhao; Yufeng, Sun; Gang, Zhao; Weiwei, Hu 📂 Article 📅 2010 🏛 IEEE ⚖ 394 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Athens, TBD, Greece (2010.06.13-2010.06.19)] 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service - Optimised Multi-stage TCP Traffic Classifier Based on Packet Size Distributions

✍ Wang, Xiaoming; Parish, David J. 📂 Article 📅 2010 🏛 IEEE ⚖ 260 KB