Abstract is missing.
- Dependable SoftwareBertrand Meyer. 1-33 [doi]
- Dependable SystemsAndré Schiper. 34-54 [doi]
- Survey on Dependable IP over Fiber NetworksMaciej Kurant, Hung Xuan Nguyen, Patrick Thiran. 55-81 [doi]
- SCOOP - Concurrency Made EasyVolkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur. 82-102 [doi]
- Scalable Programming Abstractions for XML ServicesBurak Emir, Sebastian Maneth, Martin Odersky. 103-126 [doi]
- Definition and Correct Refinement of Operation SpecificationsThomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier. 127-144 [doi]
- Formal Test Generation from UML ModelsDidier Buchs, Luís Pedro, Levi Lucio. 145-171 [doi]
- Advances in the Design and Implementation of Group Communication MiddlewareDaniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski. 172-194 [doi]
- Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer s PerspectiveSebastian Gerlach, Basile Schaeli, Roger D. Hersch. 195-210 [doi]
- Autonomic Computing for Virtual LaboratoriesCesare Pautasso, Win Bausch, Gustavo Alonso. 211-230 [doi]
- Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc NetworksFrederick Ducatelle, Luca Maria Gambardella, Maciej Kurant, Hung Xuan Nguyen, Patrick Thiran. 231-259 [doi]
- Robustness of the Internet at the Topology and Routing LevelThomas Erlebach, Alexander Hall, Linda S. Moonen, Alessandro Panconesi, Frits C. R. Spieksma, Danica Vukadinovic. 260-274 [doi]
- Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial ChurnKeno Albrecht, Fabian Kuhn, Roger Wattenhofer. 275-294 [doi]