Dependable Network Computing

Preface. Section 1: Dependable Software and Large Storage Systems: Key Components for Dependable Network Computing. 1. Dependability of Software-Based Critical Systems; J.-C. Laprie. 2. An Analysis of Error Behavior in a Large Storage System; N. Talagala, D. Patterson. Section 2: Dependable Broadcast and Protocols in Computer Networks. 3. Totally Ordered Broadcast in the Face of Network Partitions; I. Keidar, D. Dolev. 4. On the Possibility of Group Membership Protocols; M. Franceschetti, J. Bruck. 5. Reliable Clocks for Unreliable Process Groups; A. Mostefaoui, et al. 6. Implementing Protocols with Synchronous Objects; C. Petitpierre, A.J.R. Zea. Section 3: Analysis of Computer Networks. 7. Automated Formal Analysis of Networks; J.N. Reed, et al. 8. A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage; H. Zang, et al. Section 4: Fault-Tolerant Routing and Reconfiguration in Computer Networks. 9. Fault-Tolerant Routing in the Internet Without Flooding; P. Narvaez, et al. 10. Dynamic Reconfiguration in High Speed Local Area Networks; J. Duato, et al. 11. Minimal and Adaptive Fault-Tolerant Routing in ServerNet 2D Torus Network; D.R. Avresky et al. Section 5: Fault-Tolerant Interconnection Networks. 12. Tolerating Faults in Counting Networks; M.D. Riedel, J. Bruck. 13. Fault-Tolerant Multicasting in 2-D Meshes Using Extended Safety Levels; X. Chen, et al. Section 6:Dependable Distributed and Mobile Computing. 14. Dependable Distributed and Mobile Computing &endash; Utilizing Time to Enhance Recovery from Failures; W. Kent Fuchs, et al. 15. Design and Implementation of Fault-Tolerant Parallel Software in a Distributed Environment Using a Functional Language; M. Toyoshima, et al. 16. Overhead of Coordinated Checkpointing Protocols for Message Passing Parallel Systems; B. Bieker, E. Maehle. 17. A Multi-Level Layered System Approach to on On-Line Testing; H. Levendel. Section 7: Dependable Real-Time Distributed Systems. 18. Task