SSS C

24 papers

YearTitle / Authors
2014A Self-stabilizing Algorithm for Edge Monitoring Problem.
Brahim Neggazi, Mohammed Haddad, Volker Turau, Hamamache Kheddouci
2014CloudSylla: Detecting Suspicious System Calls in the Cloud.
Marc Kührer, Johannes Hoffmann, Thorsten Holz
2014Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange.
Yue Qiao, Kannan Srinivasan, Anish Arora
2014Dependable Decentralized Cooperation with the Help of Reliability Estimation.
Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman
2014Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks.
Christian Glacet, Nicolas Hanusse, David Ilcinkas, Colette Johnen
2014Edge Coloring Despite Transient and Permanent Faults.
Alexandre Maurer, Toshimitsu Masuzawa
2014Incremental Verification of Computing Policies.
Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda
2014On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms.
Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir
2014On Stabilizing Departures in Overlay Networks.
Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann
2014On the Resilience of Pull-Based P2P Streaming Systems against DoS Attacks.
Giang Nguyen, Mathias Fischer, Thorsten Strufe
2014On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014Optimal Gathering on Infinite Grids.
Gabriele Di Stefano, Alfredo Navarra
2014Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks.
Gil Einziger, Roy Friedman
2014Robots with Lights: Overcoming Obstructed Visibility Without Colliding.
Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro, Giovanni Viglietta
2014SMT-Based Synthesis of Distributed Self-stabilizing Systems.
Fathiyeh Faghih, Borzoo Bonakdarpour
2014Self-healing Computation.
George Saad, Jared Saia
2014Self-stabilizing Leader Election in Polynomial Steps.
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
2014Self-synchronized Cooperative Beamforming in Ad-Hoc Networks.
Thomas Janson, Christian Schindelhauer
2014Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas.
Christian Cachin, Dan Dobre, Marko Vukolic
2014Snap-Stabilizing PIF on Non-oriented Trees and Message Passing Model.
Florence Levé, Khaled Mohamed, Vincent Villain
2014Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings
Pascal Felber, Vijay K. Garg
2014Stateless Stabilization Bootstrap (Extended Abstract).
Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel
2014Synthesizing Self-stabilization through Superposition and Backtracking.
Alex P. Klinkhamer, Ali Ebnenasir
2014Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks.
Hung Tran-The, Luís E. T. Rodrigues