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 BibTeX
Surveys
Dependable Software
- Volkan Arslan, Patrick Eugster, Piotr Nienaltowski, Sebastien Vaucouleur:
SCOOP - Concurrency Made Easy.
82-102
Electronic Edition (link) BibTeX
- Burak Emir, Sebastian Maneth, Martin Odersky:
Scalable Programming Abstractions for XML Services.
103-126
Electronic Edition (link) BibTeX
- Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier:
Definition and Correct Refinement of Operation Specifications.
127-144
Electronic Edition (link) BibTeX
- Didier Buchs, Luis Pedro, Levi Lucio:
Formal Test Generation from UML Models.
145-171
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Sebastian Gerlach, Basile Schaeli, Roger D. Hersch:
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer's Perspective.
195-210
Electronic Edition (link) BibTeX
- Cesare Pautasso, Win Bausch, Gustavo Alonso:
Autonomic Computing for Virtual Laboratories.
211-230
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Keno Albrecht, Fabian Kuhn, Roger Wattenhofer:
Dependable Peer-to-Peer Systems Withstanding Dynamic Adversarial Churn.
275-294
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:06:43 2009
by Michael Ley (ley@uni-trier.de)