𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing

✍ Scribed by Paharsingh, Ricardo; Das, Olivia

Book ID: 120010681
Publisher: IEEE
Year: 2011
Weight: 384 KB
Category: Article
ISBN: 0769546153
DOI: 10.1109/HASE.2011.11

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Integrating Legacy Applications for High Availability: A Case Study

✍ Kanso, A.; Khendek, F.; Mishra, A.; Toeroe, M. 📂 Article 📅 2011 🏛 IEEE ⚖ 325 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Reducing State Explosion with Context Modeling for Model-Checking

✍ Dhaussy, Philippe; Roger, Jean-Charles; Boniol, Frederic 📂 Article 📅 2011 🏛 IEEE ⚖ 610 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Validation of Object Recognition Framework on Android Mobile Platform

✍ Tyagi, Vivek; Pandya, A.S.; Agarwal, Ankur; Alhalabi, Bassem 📂 Article 📅 2011 🏛 IEEE ⚖ 444 KB

[IEEE 2011 IEEE 13th International Sympo

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process

✍ Lee, Dongeun; Shin, Heonshik; Park, Eunjeong 📂 Article 📅 2011 🏛 IEEE ⚖ 523 KB

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Testing of Memory Leak in Android Applications

✍ Shahriar, Hossain; North, Sarah; Mawangi, Edward 📂 Article 📅 2014 🏛 IEEE ⚖ 208 KB