Jürg Kohlas, Bertrand Meyer, André Schiper (Eds.):
Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program.
Lecture Notes in Computer Science 4028 Springer 2006, ISBN 3-540-36821-3 
Surveys
Dependable Software
- Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur:
SCOOP - Concurrency Made Easy.
82-102
- Burak Emir, Sebastian Maneth, Martin Odersky:
Scalable Programming Abstractions for XML Services.
103-126
- Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier:
Definition and Correct Refinement of Operation Specifications.
127-144
- Didier Buchs, Luis Pedro, Levi Lucio:
Formal Test Generation from UML Models.
145-171
Dependable Computing
- Daniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski:
Advances in the Design and Implementation of Group Communication Middleware.
172-194
- Sebastian Gerlach, Basile Schaeli, Roger D. Hersch:
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective.
195-210
- Cesare Pautasso, Win Bausch, Gustavo Alonso:
Autonomic Computing for Virtual Laboratories.
211-230
Dependable Networks
- Frederick Ducatelle, Luca Maria Gambardella, Maciej Kurant, Hung Xuan Nguyen, Patrick Thiran:
Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks.
231-259
- Thomas Erlebach, Alexander Hall, Linda S. Moonen, Alessandro Panconesi, Frits C. R. Spieksma, Danica Vukadinovic:
Robustness of the Internet at the Topology and Routing Level.
260-274
- Keno Albrecht, Fabian Kuhn, Roger Wattenhofer:
Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn.
275-294
Last update Sun May 19 22:05:43 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
