This book constitutes the refereed proceedings of the 7th International Symposium on Self-Stabilizing Systems, SSS 2005, held in Barcelona, Spain, in October 2005.
The 15 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address classical topics of self-stabilization, prevailing extensions to the field, such as snap-stabilization, code stabilization, self-stabilization with either dynamic, faulty or Byzantine components, or deal with applications of self-stabilization, either related to operating systems, security, or mobile and ad hoc networks.
Author(s): Doina Bein, Ajoy K. Datta, Vincent Villain (auth.), Sébastien Tixeuil, Ted Herman (eds.)
Series: Lecture Notes in Computer Science 3764 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 229
Tags: Computer Communication Networks; Special Purpose and Application-Based Systems; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Management of Computing and Information Systems
Front Matter....Pages -
Snap-Stabilizing Optimal Binary Search Tree....Pages 1-17
Synchronous vs. Asynchronous Unison....Pages 18-32
A Snap-Stabilizing DFS with a Lower Space Requirement....Pages 33-47
Self-stabilization of Byzantine Protocols....Pages 48-67
Self-stabilization with r-Operators Revisited....Pages 68-80
Self-stabilization Preserving Compiler....Pages 81-95
Self-stabilizing Mobile Node Location Management and Message Routing....Pages 96-112
Memory Management for Self-stabilizing Operating Systems....Pages 113-127
Code Stabilization....Pages 128-139
Stabilizing Certificate Dispersal....Pages 140-152
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection....Pages 153-170
Approximation of Self-stabilizing Vertex Cover Less Than 2....Pages 171-182
Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings....Pages 183-197
Towards Automatic Convergence Verification of Self-stabilizing Algorithms....Pages 198-213
About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks....Pages 214-228
Back Matter....Pages -
