SSS C

46 papers

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