Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings /
This symposium has been the main forum for presentation of research results in the area of self-* for 17 years. It started as The Workshop on Self-Stabilizing Systems (WSS), and met in 1989 in Austin, 1995 in Las Vegas, 1997 in Santa Barbara, 1999 in Austin, and 2001 in Lisbon. It was then renamed T...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Colección: | Theoretical Computer Science and General Issues,
4280 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Invited Talks
- Stabilization Enabling Technology
- A General Characterization of Indulgence
- Regular Papers
- Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks
- A Case Study on Prototyping Power Management Protocols for Sensor Networks
- Unconscious Eventual Consistency with Gossips
- All k-Bounded Policies Are Equivalent for Self-stabilization
- A 1-Strong Self-stabilizing Transformer
- Optimal Message-Driven Implementation of Omega with Mute Processes
- Incremental Synthesis of Fault-Tolerant Real-Time Programs
- Toward a Time-Optimal Odd Phase Clock Unison in Trees
- Recovery Oriented Programming
- Evaluation of a Tracking Architecture in Wireless Sensor Networks
- Self-protection for Distributed Component-Based Applications
- From Self- to Snap- Stabilization
- Self-stabilizing Philosophers with Generic Conflicts
- Selfish Stabilization
- Reliability and Availability Analysis of Self-stabilizing Systems
- Circle Formation of Weak Mobile Robots
- Self-stabilizing Device Drivers
- Secure Communication for RFIDs Proactive Information Security Within Computational Security
- Fault Masking in Tri-redundant Systems
- Logarithmic Keying of Communication Networks
- Safe Peer-to-Peer Self-downloading
- Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks
- Self-stabilizing Byzantine Digital Clock Synchronization
- Distributed Edge Coloration for Bipartite Networks
- A Dependable Intrusion Detection Architecture Based on Agreement Services
- Stabilizing Health Monitoring for Wireless Sensor Networks
- A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems
- A Memory Efficient Self-stabilizing Algorithm for Maximal k-Packing
- Bounding the Impact of Unbounded Attacks in Stabilization
- On Bootstrapping Topology Knowledge in Anonymous Networks
- Self-adaptive Disk Arrays
- Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility
- Self-stabilizing Asynchronous Phase Synchronization in General Graphs
- Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework
- Energy-Efficient and Non-interactive Self-certification in MANETs
- Self-adaptive Worms and Countermeasures
- Brief Announcement
- Brief Announcement: Self-healing Algorithms for Reconfigurable Networks
- Brief Announcement: Distributed Synthesis of Fault-Tolerance
- Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks
- Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET
- Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures
- Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems
- Brief Announcement: Chasing the Weakest System Model for Implementing and Consensus
- Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion
- Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm
- Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks
- Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems
- Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System.