SSS C

42 papers

YearTitle / Authors
2011A Non-topological Proof for the Impossibility of k-Set Agreement.
Hagit Attiya, Armando Castañeda
2011Active Stabilization.
Borzoo Bonakdarpour, Sandeep S. Kulkarni
2011An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
2011Analysis of DSR Protocol in Event-B.
Dominique Méry, Neeraj Kumar Singh
2011Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems.
Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
2011Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks.
Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda
2011Brief Announcement: A Note on Replication of Documents.
Jacek Cichon, Rafal Kapelko, Karol Marchwicki
2011Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs.
Fawaz M. Al-Azemi, Mehmet Hakan Karaata
2011Brief Announcement: A Stable and Robust Membership Protocol.
Ajoy Kumar Datta, Anne-Marie Kermarrec, Lawrence L. Larmore, Erwan Le Merrer
2011Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems.
Roberto Beraldi, Adriano Cerocchi, Fabio Papale, Leonardo Querzoni
2011Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels.
Shailesh Vaya
2011Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters.
Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann
2011Brief Announcement: Sorting on Skip Chains.
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
2011Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems.
Richard Anthony, Mariusz Pelc, Haffiz Suahib
2011Building Self-stabilizing Overlay Networks with the Transitive Closure Framework.
Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju
2011Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example.
Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
2011Computing in Time-Varying Networks.
Nicola Santoro
2011Conflict-Free Replicated Data Types.
Marc Shapiro, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski
2011Corona: A Stabilizing Deterministic Message-Passing Skip List.
Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler
2011Dynamic Regular Registers in Systems with Churn.
Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2011Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract].
Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
2011Formal Verification of Consensus Algorithms Tolerating Malicious Faults.
Bernadette Charron-Bost, Henri Debrat, Stephan Merz
2011POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks.
Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote
2011Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011Price Stabilization in Networks - What Is an Appropriate Model ?
Jun Kiniwa, Kensaku Kikuta
2011Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems.
Achour Mostéfaoui, Michel Raynal, Julien Stainer
2011Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs.
Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev
2011Robot Networks with Homonyms: The Case of Patterns Formation.
Zohir Bouzid, Anissa Lamani
2011Self-Stabilizing De Bruijn Networks.
Andréa W. Richa, Christian Scheideler, Phillip Stevens
2011Self-stabilizing Labeling and Ranking in Ordered Trees.
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
2011Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence.
Toshimitsu Masuzawa
2011Snake: Control Flow Distributed Software Transactional Memory.
Mohamed M. Saad, Binoy Ravindran
2011Social Market: Combining Explicit and Implicit Social Networks.
Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec
2011Space-Efficient Fault-Containment in Dynamic Networks.
Sven Köhler, Volker Turau
2011Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings
Xavier Défago, Franck Petit, Vincent Villain
2011The Computational Power of Simple Protocols for Self-awareness on Graphs.
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis
2011The K-Observer Problem in Computer Networks.
Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
2011The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.
William Leal, Micah McCreery, Daniel Faria
2011The South Zone: Distributed Algorithms for Alliances.
Mitre Costa Dourado, Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz Szwarcfiter
2011The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication.
Damien Imbs, Michel Raynal
2011TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet.
Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz
2011Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks.
Ingy Ramzy, Anish Arora