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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Tixeuil, Sébastien (Επιμελητής έκδοσης), Herman, Ted (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3764
• Θέματα: Computer science.; Computer communication systems.; Special purpose computers.; Software engineering.; Computers.; Algorithms.; Management information systems.; Computer Science.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Special Purpose and Application-Based Systems.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Management of Computing and Information Systems.

Πίνακας περιεχομένων:

• 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.