𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - An Approach to Verifying Security and Timing Properties in UML Models

✍ Scribed by Thapa, Vidhi; Song, Eunjee; Kim, Hanil

Book ID: 121697026
Publisher: IEEE
Year: 2010
Weight: 428 KB
Category: Article
ISBN: 1424466385
DOI: 10.1109/iceccs.2010.10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 15th IEEE International Confe

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - Trust-Based Adaptation in Complex Service-Oriented Systems

✍ Skopik, Florian; Schall, Daniel; Dustdar, Schahram 📂 Article 📅 2010 🏛 IEEE ⚖ 959 KB

[IEEE 2010 15th IEEE International Confe

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation

✍ Ismail, Amelia Ritahani; Timmis, Jon 📂 Article 📅 2010 🏛 IEEE ⚖ 133 KB

[IEEE 2010 15th IEEE International Confe

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - An Experience Report in Requirements Elicitation for Accessible E-Learning Systems

✍ Power, Chritopher; Petrie, Helen 📂 Article 📅 2010 🏛 IEEE ⚖ 220 KB

[IEEE 2010 15th IEEE International Confe

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling

✍ Sriram, Ilango; Cliff, Dave 📂 Article 📅 2010 🏛 IEEE ⚖ 413 KB

[IEEE 2010 15th IEEE International Confe

[IEEE 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Oxford, United Kingdom (2010.03.22-2010.03.26)] 2010 15th IEEE International Conference on Engineering of Complex Computer Systems - A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems

✍ Dubois, Hubert; Peraldi-Frati, Marie-Agnes; Lakhal, Fadoi 📂 Article 📅 2010 🏛 IEEE ⚖ 536 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Formalizing MapReduce with CSP

✍ Yang, Fan; Su, Wen; Zhu, Huibiao; Li, Qin 📂 Article 📅 2010 🏛 IEEE ⚖ 504 KB