𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Rahmani, Cobra; Azadmanesh, Azad; Siy, Harvey

Book ID: 121722856
Publisher: IEEE
Year: 2010
Weight: 441 KB
Category: Article
ISBN: 142449091X
DOI: 10.1109/HASE.2010.18

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Low-Cost Secret-Sharing in Sensor Networks

✍ Bertier, Marin; Mostefaoui, Achour; Tredan, Gilles 📂 Article 📅 2010 🏛 IEEE ⚖ 405 KB

[IEEE 2010 IEEE 21st International Sympo

[IEEE 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) - San Jose, CA, USA (2010.11.1-2010.11.4)] 2010 IEEE 21st International Symposium on Software Reliability Engineering - Software Aging Analysis of the Linux Operating System

✍ Cotroneo, Domenico; Natella, Roberto; Pietrantuono, Roberto; Russo, Stefano 📂 Article 📅 2010 🏛 IEEE ⚖ 968 KB

[IEEE 2010 IEEE 21st International Sympo

[IEEE 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) - San Jose, CA, USA (2010.11.1-2010.11.4)] 2010 IEEE 21st International Symposium on Software Reliability Engineering - An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters

✍ Meedeniya, Indika; Grunske, Lars 📂 Article 📅 2010 🏛 IEEE ⚖ 294 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 - Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process

✍ Lee, Dongeun; Shin, Heonshik; Park, Eunjeong 📂 Article 📅 2011 🏛 IEEE ⚖ 523 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