𝔖 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 - An ECLIPSE Plug-In for Formal Verification of BPMN Processes

✍ Scribed by Flavio, Corradini; Alberto, Polzonetti; Barbara, Re; Damiano, Falcioni

Book ID: 126130775
Publisher: IEEE
Year: 2010
Weight: 341 KB
Category: Article
ISBN: 1424472733
DOI: 10.1109/CTRQ.2010.32

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 - 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 - Toward User-Centric Privacy-Aware User Profile Ontology for Future Services

✍ Iqbal, Zahid; Noll, Josef; Alam, Sarfraz; Chowdhury, Mohammad M. R. 📂 Article 📅 2010 🏛 IEEE ⚖ 506 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 - Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism

✍ Troubitsyna, Elena 📂 Article 📅 2010 🏛 IEEE ⚖ 214 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