Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings / [electronic resource] :
edited by SȨbastien Tixeuil, Ted Herman.
- X, 229 p. Also available online. online resource.
- Lecture Notes in Computer Science, 3764 0302-9743 ; .
- Lecture Notes in Computer Science, 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 FailureDetection -- 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.
ZDB-2-SCS ZDB-2-LNC
9783540321231
10.1007/11577327 doi
Computer science. Computer Communication Networks. Software engineering. Computer software. Information Systems. Computer Science. Computer Communication Networks. Special Purpose and Application-Based Systems. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Management of Computing and Information Systems.