Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / [electronic resource] : edited by Sébastien Tixeuil, Ted Herman. - 1st ed. 2005. - X, 229 p. online resource. - Theoretical Computer Science and General Issues, 3764 2512-2029 ; . - Theoretical Computer Science and General Issues, 3764 .

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.

9783540321231

10.1007/11577327 doi


Computer networks .
Software engineering.
Computers, Special purpose.
Computer science.
Algorithms.
Electronic data processing--Management.
Computer Communication Networks.
Software Engineering.
Special Purpose and Application-Based Systems.
Theory of Computation.
Algorithms.
IT Operations.

TK5105.5-5105.9

004.6