Invited Talks Abstracts |
Arcane Information, Solving Relations, and Church Censorship / Leonid A. Levin |
Computation of Equilibria and Stable Solutions / Mihalis Yannakakis |
A Geometry of Networks / Yechiam Yemini |
Contributed Papers |
Systematic Correct Construction of Self-stabilizing Systems: A Case Study / Ananda Basu ; Borzoo Bonakdarpour ; Marius Bozga ; Joseph Sifakis |
A Fault-Resistant Asynchronous Clock Function / Ezra N. Hoch ; Michael Ben-Or ; Danny Dolev |
Self-stabilizing Leader Election in Dynamic Networks / Ajoy K. Datta ; Lawrence L. Larmore ; Hema Piniganti |
Loop-Free Super-Stabilizing Spanning Tree Construction / Lélia Blin ; Maria Gradinariu Potop-Butucaru ; Stephane Rovedakis ; Sébastien Tixeuil |
A New Technique for Proving Self-stabilizing under the Distributed Scheduler / Sven Köhler ; Volker Turau |
Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms / Abhishek Dhama ; Oliver Theel |
On Byzantine Containment Properties of the min+1 Protocol / Swan Dubois ; Toshimitsu Masuzawa |
Efficient Self-stabilizing Graph Searching in Tree Networks / Jean Blair ; Fredrik Manne ; Rodica Mihai |
Adaptive Containment of Time-Bounded Byzantine Faults / Yukiko Yamauchi ; Doina Bein |
Brief Announcement: Fast Convergence in Route-Preservation / Jorge A. Cobb |
Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure / S. Dov Gordon ; Jonathan Katz ; Ranjit Kumaresan ; Arkady Yerukhimovich |
On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks / Tuan Manh Vu ; Reihaneh Safavi-Naini ; Carey Williamson |
"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses / Mahesh Arumugam ; Murat Demirbas ; Sandeep S. Kulkarni |
Modeling and Analyzing Periodic Distributed Computations / Anurag Agarwal ; Vijay K. Garg ; Vinit Ogale |
Complexity Issues in Automated Model Revision without Explicit Legitimate State / Fuad Abujarad |
Algorithmic Verification of Population Protocols / Ioannis Chatzigiannakis ; Othon Michail ; Paul G. Spirakis |
Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks / Bo Zhang ; Robert Simon ; Hakan Aydin |
Stably Decidable Graph Languages by Mediated Population Protocols |
Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping / Evangelos Kranakis ; Michel Paquette |
Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage / Matthew P. Johnson ; Amotz Bar-Noy ; Mani Srivastava |
Brief Announcement: On the Hardness of Topology Inference / H.B. Acharya ; Mohamed Gouda |
Self-stabilizing Algorithm of Two-Hop Conflict Resolution / Stéphane Pomportes ; Joanna Tomasik ; Anthony Busson ; Véronique Vèque |
Low Memory Distributed Protocols for 2-Coloring / Amos Israeli ; Mathew D. McCubbins ; Ramamohan Paturi ; Andrea Vattani |
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility / Taisuke Izumi |
Computing in Social Networks / Andrei Giurgiu ; Rachid Guerraoui ; Kévin Huguenin ; Anne-Marie Kermarrec |
On Transactional Scheduling in Distributed Transactional Memory Systems / Junwhan Kim ; Binoy Ravindran |
Recursion in Distributed Computing / Eli Gafni ; Sergio Rajsbaum |
On Adaptive Renaming under Eventually Limited Contention / Damien Imbs ; Michel Raynal |
RobuSTM: A Robust Software Transactional Memory / Jons-Tobias Wamhoff ; Torvald Riegel ; Christof Fetzer ; Pascal Felber |
A Provably Starvation-Free Distributed Directory Protocol / Hagit Attiya ; Vincent Gramoli ; Alessia Milani |
Lightweight Live Migration for High Availability Cluster Service / Bo Jiang ; Changsoo Kim |
Approximation of ?-Timeliness / Carole Delporte-Gallet ; Stéphane Devismes ; Hugues Fauconnier |
A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era / Ji Lu ; Yaoxue Zhang ; Yuezhi Zhou |
Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks / Pierre Leone ; Marina Papatriantafilou ; Elad M. Schiller ; Gongxi Zhu |
A Comparative Study of Rateless Codes for P2P Persistent Storage / Heverson B. Ribeiro ; Emmanuelle Anceaume |
Dynamically Reconfigurable Filtering Architectures / Mathieu Valero ; Luciana Arantes ; Pierre Sens |
A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems / Yaser Houri ; Bernhard Amann ; Thomas Fuhrmann |
A Framework for Secure and Private P2P Publish/Subscribe / Samuel Bernard |
Snap-Stabilizing Linear Message Forwarding / Alain Cournier ; Anissa Lamani ; Franck Petit ; Vincent Villain |
Vulnerability Analysis of High Dimensional Complex Systems / Vedant Misra ; Dion Harmon ; Yaneer Bar-Yam |
Storage Capacity of Labeled Graphs / Dana Angluin ; James Aspnes ; Rida A. Bazzi ; Jiang Chen ; David Eisenstat ; Goran Konjevod |
Safe Flocking in Spite of Actuator Faults / Taylor Johnson ; Sayan Mitra |
Author Index |
Invited Talks Abstracts |
Arcane Information, Solving Relations, and Church Censorship / Leonid A. Levin |
Computation of Equilibria and Stable Solutions / Mihalis Yannakakis |