𝔖 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 - Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process

✍ Scribed by Lee, Dongeun; Shin, Heonshik; Park, Eunjeong

Book ID: 121299614
Publisher: IEEE
Year: 2011
Weight: 523 KB
Category: Article
ISBN: 0769546153
DOI: 10.1109/HASE.2011.25

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 - 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 - 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 - 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 - An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing

✍ Paharsingh, Ricardo; Das, Olivia 📂 Article 📅 2011 🏛 IEEE ⚖ 384 KB

[IEEE 2010 IEEE 12th International Sympo

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Architecture-Based Reliability Modeling of Web Services Using Petri Nets

✍ Rahmani, Cobra; Azadmanesh, Azad; Siy, Harvey 📂 Article 📅 2010 🏛 IEEE ⚖ 441 KB