دانلود کتاب Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings

فهرست مطالب :

Front Matter....Pages -
Arcane Information, Solving Relations, and Church Censorship....Pages 1-1
Computation of Equilibria and Stable Solutions....Pages 2-2
A Geometry of Networks....Pages 3-3
Systematic Correct Construction of Self-stabilizing Systems: A Case Study....Pages 4-18
A Fault-Resistant Asynchronous Clock Function....Pages 19-34
Self-stabilizing Leader Election in Dynamic Networks....Pages 35-49
Loop-Free Super-Stabilizing Spanning Tree Construction....Pages 50-64
A New Technique for Proving Self-stabilizing under the Distributed Scheduler....Pages 65-79
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms....Pages 80-95
On Byzantine Containment Properties of the min  + 1 Protocol....Pages 96-110
Efficient Self-stabilizing Graph Searching in Tree Networks....Pages 111-125
Adaptive Containment of Time-Bounded Byzantine Faults....Pages 126-140
Brief Announcement: Fast Convergence in Route-Preservation....Pages 141-143
Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure....Pages 144-158
On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks....Pages 159-175
“Slow Is Fast” for Wireless Sensor Networks in the Presence of Message Losses....Pages 176-190
Modeling and Analyzing Periodic Distributed Computations....Pages 191-205
Complexity Issues in Automated Model Revision without Explicit Legitimate State....Pages 206-220
Algorithmic Verification of Population Protocols....Pages 221-235
Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks....Pages 236-251
Stably Decidable Graph Languages by Mediated Population Protocols....Pages 252-266
Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping....Pages 267-281
Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage....Pages 282-284
Brief Announcement: On the Hardness of Topology Inference....Pages 285-287
Self-stabilizing Algorithm of Two-Hop Conflict Resolution....Pages 288-302
Low Memory Distributed Protocols for 2-Coloring....Pages 303-318
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility....Pages 319-331
Computing in Social Networks....Pages 332-346
On Transactional Scheduling in Distributed Transactional Memory Systems....Pages 347-361
Recursion in Distributed Computing....Pages 362-376
On Adaptive Renaming under Eventually Limited Contention....Pages 377-387
RobuSTM: A Robust Software Transactional Memory....Pages 388-404
A Provably Starvation-Free Distributed Directory Protocol....Pages 405-419
Lightweight Live Migration for High Availability Cluster Service....Pages 420-434
Approximation of δ -Timeliness....Pages 435-451
A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era....Pages 452-467
Chameleon-MAC : Adaptive and Self-⋆ Algorithms for Media Access Control in Mobile Ad Hoc Networks....Pages 468-488
A Comparative Study of Rateless Codes for P2P Persistent Storage....Pages 489-503
Dynamically Reconfigurable Filtering Architectures....Pages 504-518
A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems....Pages 519-530
A Framework for Secure and Private P2P Publish/Subscribe....Pages 531-545
Snap-Stabilizing Linear Message Forwarding....Pages 546-559
Vulnerability Analysis of High Dimensional Complex Systems....Pages 560-572
Storage Capacity of Labeled Graphs....Pages 573-587
Safe Flocking in Spite of Actuator Faults....Pages 588-602
Back Matter....Pages -