𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - Finite horizon analysis of infinite CTMDPs

✍ Scribed by Buchholz, Peter

Book ID: 126692936
Publisher: IEEE
Year: 2012
Weight: 252 KB
Category: Article
ISBN: 1467316237
DOI: 10.1109/DSN.2012.6263929

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 42nd Annual IEEE/IFIP Interna

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - Confidentiality of event data in policy-based monitoring

✍ Montanari, Mirko; Campbell, Roy H. 📂 Article 📅 2012 🏛 IEEE ⚖ 660 KB

[IEEE 2012 42nd Annual IEEE/IFIP Interna

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - Latent fault detection in large scale services

✍ Gabel, Moshe; Schuster, Assaf; Bachrach, Ran-Gilad; Bjorner, Nikolaj 📂 Article 📅 2012 🏛 IEEE ⚖ 478 KB

[IEEE 2012 42nd Annual IEEE/IFIP Interna

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - A cross-layer approach for IP network protection

✍ Zheng, Qiang; Jing Zhao, ; Cao, Guohong 📂 Article 📅 2012 🏛 IEEE ⚖ 356 KB

[IEEE 2012 42nd Annual IEEE/IFIP Interna

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - Draco: Statistical diagnosis of chronic problems in large distributed systems

✍ Kavulya, Soila P.; Daniels, Scott; Joshi, Kaustubh; Hiltunen, Matti; Gandhi, Raj 📂 Article 📅 2012 🏛 IEEE ⚖ 592 KB

[IEEE 2012 IEEE/IFIP 42nd International

[IEEE 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops (DSN-W) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012) - Defending against VM rollback attack

✍ Yubin Xia, ; Yutao Liu, ; Chen, Haibo; Zang, Binyu 📂 Article 📅 2012 🏛 IEEE ⚖ 179 KB

[IEEE 2012 IEEE/IFIP 42nd International

[IEEE 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops (DSN-W) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012) - Osprey: Operating system for predictable clouds

✍ Sacha, Jan; Napper, Jeff; Mullender, Sape; McKie, Jim 📂 Article 📅 2012 🏛 IEEE ⚖ 115 KB