7. SSS 2005:
Barcelona, Spain
Ted Herman, Sébastien Tixeuil (Eds.):
Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings.
Lecture Notes in Computer Science 3764 Springer 2005, ISBN 3-540-29814-2
- Doina Bein, Ajoy Kumar Datta, Vincent Villain:
Snap-Stabilizing Optimal Binary Search Tree.
1-17

- Christian Boulinier, Franck Petit, Vincent Villain:
Synchronous vs. Asynchronous Unison.
18-32

- Alain Cournier, Stéphane Devismes, Vincent Villain:
A Snap-Stabilizing DFS with a Lower Space Requirement.
33-47

- Ariel Daliot, Danny Dolev:
Self-stabilization of Byzantine Protocols.
48-67

- Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil:
Self-stabilization with r-Operators Revisited.
68-80

- Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv:
Self-stabilization Preserving Compiler.
81-95

- Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte:
Self-stabilizing Mobile Node Location Management and Message Routing.
96-112

- Shlomi Dolev, Reuven Yagel:
Memory Management for Self-stabilizing Operating Systems.
113-127

- Felix C. Freiling, Sukumar Ghosh:
Code Stabilization.
128-139

- Mohamed G. Gouda, Eunjin Jung:
Stabilizing Certificate Dispersal.
140-152

- Martin Hutle, Josef Widder:
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.
153-170

- Jun Kiniwa:
Approximation of Self-stabilizing Vertex Cover Less Than 2.
171-182

- Toshimitsu Masuzawa, Hirotsugu Kakugawa:
Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings.
183-197

- Jens Oehlerking, Abhishek Dhama, Oliver E. Theel:
Towards Automatic Convergence Verification of Self-stabilizing Algorithms.
198-213

- Fabrice Theoleyre, Fabrice Valois:
About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.
214-228

Last update Fri May 24 19:51:38 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page