Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings
The papers in this volume were presented at the 12th International Sym- sium on Stabilization, Safety, and Security of Distributed Systems (SSS), held September 20–22, 2010 at Columbia University, NYC, USA. The SSS symposium is an international forum for researchersand practiti- ers in the design an...
| Other Authors: | , , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010, 2010
|
| Edition: | 1st ed. 2010 |
| Series: | Theoretical Computer Science and General Issues
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Safe Flocking in Spite of Actuator Faults
- Invited Talks Abstracts
- Arcane Information, Solving Relations, and Church Censorship
- Computation of Equilibria and Stable Solutions
- A Geometry of Networks
- Contributed Papers
- Systematic Correct Construction of Self-stabilizing Systems: A Case Study
- A Fault-Resistant Asynchronous Clock Function
- Self-stabilizing Leader Election in Dynamic Networks
- Loop-Free Super-Stabilizing Spanning Tree Construction
- A New Technique for Proving Self-stabilizing under the Distributed Scheduler
- A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms
- On Byzantine Containment Properties of the min?+?1 Protocol
- Efficient Self-stabilizing Graph Searching in Tree Networks
- Adaptive Containment of Time-Bounded Byzantine Faults
- Brief Announcement: Fast Convergence in Route-Preservation
- Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure
- On Transactional Scheduling in Distributed Transactional Memory Systems
- Recursion in Distributed Computing
- On Adaptive Renaming under Eventually Limited Contention
- RobuSTM: A Robust Software Transactional Memory
- A Provably Starvation-Free Distributed Directory Protocol
- Lightweight Live Migration for High Availability Cluster Service
- Approximation of ?-Timeliness
- A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era
- Chameleon-MAC: Adaptive and Self-? Algorithms for Media Access Control in Mobile Ad Hoc Networks
- A Comparative Study of Rateless Codes for P2P Persistent Storage
- Dynamically Reconfigurable Filtering Architectures
- A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems
- A Framework for Secure and Private P2P Publish/Subscribe
- Snap-Stabilizing Linear Message Forwarding
- Vulnerability Analysis of High Dimensional Complex Systems
- Storage Capacity of Labeled Graphs
- On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks
- “Slow Is Fast” for Wireless Sensor Networks in the Presence of Message Losses
- Modeling and Analyzing Periodic Distributed Computations
- Complexity Issues in Automated Model Revision without Explicit Legitimate State
- Algorithmic Verification of Population Protocols
- Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks
- Stably Decidable Graph Languages by Mediated Population Protocols
- Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping
- Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage
- Brief Announcement: On the Hardness of Topology Inference
- Self-stabilizing Algorithm of Two-Hop Conflict Resolution
- Low Memory Distributed Protocols for 2-Coloring.-Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility
- Computing in Social Networks