𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Rare Event Simulation for Highly Dependable Systems with Fast Repairs

✍ Scribed by Reijsbergen, Daniel; Boer, Pieter-Tjerk de; Scheinhardt, Werner; Haverkort, Boudewijn

Book ID: 126741025
Publisher: IEEE
Year: 2010
Weight: 316 KB
Category: Article
ISBN: 1424480825
DOI: 10.1109/QEST.2010.39

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Quantitative Evaluation of Security Metrics

✍ Sanders, William H. 📂 Article 📅 2010 🏛 IEEE ⚖ 111 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - On the Theory of Stochastic Processors

✍ Duggirala, Parasara Sridhar; Mitra, Sayan; Kumar, Rakesh; Glazeski, Dean 📂 Article 📅 2010 🏛 IEEE ⚖ 484 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - The Measurable Space of Stochastic Processes

✍ Cardelli, Luca; Mardare, Radu 📂 Article 📅 2010 🏛 IEEE ⚖ 393 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Compositional Verification of Probabilistic Systems Using Learning

✍ Feng, Lu; Kwiatkowska, Marta; Parker, David 📂 Article 📅 2010 🏛 IEEE ⚖ 575 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Model Checking Randomized Algorithms with Java PathFinder

✍ Zhang, Xin; Breugel, Franck van 📂 Article 📅 2010 🏛 IEEE ⚖ 191 KB

[IEEE 2010 Seventh International Confere

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - The Role of Quantitative Models in Building Scalable Cloud Infrastructures

✍ Hellerstein, Joseph L. 📂 Article 📅 2010 🏛 IEEE ⚖ 64 KB