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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
Σειρά: | Lecture Notes in Computer Science,
6366 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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 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
- 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
- Safe Flocking in Spite of Actuator Faults.