Self-Stabilizing Systems 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Huang, Shing-Tsaan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Herman, Ted (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2704
• Θέματα: Software engineering.; Computer communication systems.; Computers.; Special purpose computers.; Algorithms.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Theory of Computation.; Special Purpose and Application-Based Systems.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.

  This book constitutes the refereed proceedings of the 6th International Symposium on Self-Stabilizing Systems, SSS 2003, held in San Francisco, CA, USA, in June 2003. The 15 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers address self-stabilization issues for various types of systems and software including communication protocols, sensor networks, biological systems, and directed networks; several new algorithms are presented. 

 A Pursuer-Evader Game for Sensor Networks -- Collision-Free Communication in Sensor Networks -- Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks -- Self-Stabilizing Algorithms for {k}-Domination -- Self-Stabilizing Group Communication in Directed Networks (Extended Abstract) -- Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System -- Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens -- Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency -- A New Self-Stabilizing ?-out-of-? Exclusion Algorithm on Rings -- A Framework of Safe Stabilization -- A Method for Evaluating Efficiency of Protocols on the Asynchronous Shared-State Model -- Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures -- A Stabilizing Solution to the Stable Path Problem -- Route Preserving Stabilization -- An Improved Snap-Stabilizing PIF Algorithm.