Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005

ISBN-13: 9783540298144 / Angielski / Miękka / 2005 / 229 str.

Sébastien Tixeuil;Ted Herman

Opis

Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in October 2005. The 15 papers presented in this title address topics of self-stabilization, extensions to the field, such as snap-stabilization, code stabilization, self-stabilization, or applications of self-stabilization.

Spis treści

Snap-Stabilizing Optimal Binary Search Tree.- Synchronous vs. Asynchronous Unison.- A Snap-Stabilizing DFS with a Lower Space Requirement.- Self-stabilization of Byzantine Protocols.- Self-stabilization with r-Operators Revisited.- Self-stabilization Preserving Compiler.- Self-stabilizing Mobile Node Location Management and Message Routing.- Memory Management for Self-stabilizing Operating Systems.- Code Stabilization.- Stabilizing Certificate Dispersal.- On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.- Approximation of Self-stabilizing Vertex Cover Less Than 2.- Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings.- Towards Automatic Convergence Verification of Self-stabilizing Algorithms.- About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks.