𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach

✍ Scribed by Spanoudakis, George; Damiani, Ernesto; Mana, Antonio

Book ID: 126754695
Publisher: IEEE
Year: 2012
Weight: 202 KB
Category: Article
ISBN: 0769549128
DOI: 10.1109/HASE.2012.16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Model Checking Software Architecture Design

✍ Zhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun 📂 Article 📅 2012 🏛 IEEE ⚖ 307 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Device Mechanism: A Structured Device Driver Development Approach

✍ Silva, Raul Schmidlin Fajardo; Marcus, Guillermo 📂 Article 📅 2012 🏛 IEEE ⚖ 247 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Exception Handling Defects: An Empirical Study

✍ Sawadpong, Puntitra; Allen, Edward B.; Williams, Byron J. 📂 Article 📅 2012 🏛 IEEE ⚖ 332 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Communication Efficient Oblivious Transfer Using Elliptic Curves

✍ Parakh, Abhishek 📂 Article 📅 2012 🏛 IEEE ⚖ 137 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - An Autonomic Reliability Improvement System for Cyber-Physical Systems

✍ Wu, Leon; Kaiser, Gail 📂 Article 📅 2012 🏛 IEEE ⚖ 520 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case

✍ Bannour, Boutheina; Gaston, Christophe; Lapitre, Arnault; Escobedo, Jose Pablo 📂 Article 📅 2012 🏛 IEEE ⚖ 316 KB