Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 /
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
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