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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dolev, Shlomi (Επιμελητής έκδοσης), Cobb, Jorge (Επιμελητής έκδοσης), Fischer, Michael (Επιμελητής έκδοσης), Yung, Moti (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.