𝔖 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 - Quantitative Evaluation of Security Metrics

✍ Scribed by Sanders, William H.

Book ID: 125428770
Publisher: IEEE
Year: 2010
Weight: 111 KB
Category: Article
ISBN: 1424480825
DOI: 10.1109/qest.2010.50

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 - 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 - The Role of Quantitative Models in Building Scalable Cloud Infrastructures

✍ Hellerstein, Joseph L. 📂 Article 📅 2010 🏛 IEEE ⚖ 64 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 - Searching for Heavy Tails in Web Robot Traffic

✍ Doran, Derek; Gokhale, Swapna S. 📂 Article 📅 2010 🏛 IEEE ⚖ 361 KB