𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Automatic Verification and Discovery of Byzantine Consensus Protocols

✍ Scribed by Zielinski, Piotr

Book ID: 126683292
Publisher: IEEE
Year: 2007
Weight: 207 KB
Category: Article
ISBN-13: 9780769528557
DOI: 10.1109/DSN.2007.22

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 37th Annual IEEE/IFIP Internationa

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Failure Resilience for Device Drivers

✍ Herder, Jorrit N.; Bos, Herbert; Gras, Ben; Homburg, Philip; Tanenbaum, Andrew S 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 157 KB

[IEEE 37th Annual IEEE/IFIP Internationa

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Improving Recoverability in Multi-tier Storage Systems

✍ Aguilera, Marcos K.; Keeton, Kimberly; Merchant, Arif; Muniswamy-Reddy, Kiran-Ku 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 256 KB

[IEEE 37th Annual IEEE/IFIP Internationa

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Science and Engineering: A Collusion of Cultures

✍ Hoare, Tony 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 149 KB

[IEEE 37th Annual IEEE/IFIP Internationa

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Assurance Cases for Security: The Metrics Challenge

✍ Bloomfield, Robin; Masera, Marcelo; Miller, Ann; Saydjari, O. Sami; Weinstock, C 📂 Article 📅 2007 🏛 IEEE ⚖ 84 KB

[IEEE 37th Annual IEEE/IFIP Internationa

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks

✍ Khalil, Issa; Bagchi, Saurabh; Shroff, Ness B. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 397 KB

[IEEE 37th Annual IEEE/IFIP Internationa

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains

✍ Boudali, Hichem; Crouzen, Pepijn; Stoelinga, Marielle 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 261 KB