Self-Stabilizing Systems

7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005

244 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Wissensbasierte Systeme, Expertensysteme
• ISBN: 9783540298144
• Sprache: Englisch
• Erscheinungsdatum: 27.10.2005
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Sébastien Tixeuil, Ted Herman