Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mitre Costa Dourado, Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz Szwarcfiter	The South Zone: Distributed Algorithms for Alliances.	SSS	2011	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Anne-Marie Kermarrec, Lawrence L. Larmore, Erwan Le Merrer	Brief Announcement: A Stable and Robust Membership Protocol.	SSS	2011	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore	Brief Announcement: Sorting on Skip Chains.	SSS	2011	DBLP DOI BibTeX RDF
1	Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil	Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis	The Computational Power of Simple Protocols for Self-awareness on Graphs.	SSS	2011	DBLP DOI BibTeX RDF
1	Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler	Corona: A Stabilizing Deterministic Message-Passing Skip List.	SSS	2011	DBLP DOI BibTeX RDF
1	William Leal, Micah McCreery, Daniel Faria	The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.	SSS	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda	Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda	The K-Observer Problem in Computer Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Toshimitsu Masuzawa	Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence.	SSS	2011	DBLP DOI BibTeX RDF
1	Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote	POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Hagit Attiya, Armando Castañeda	A Non-topological Proof for the Impossibility of k-Set Agreement.	SSS	2011	DBLP DOI BibTeX RDF
1	Jacek Cichon, Rafal Kapelko, Karol Marchwicki	Brief Announcement: A Note on Replication of Documents.	SSS	2011	DBLP DOI BibTeX RDF
1	Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch	Dynamic Regular Registers in Systems with Churn.	SSS	2011	DBLP DOI BibTeX RDF
1	Dominique Méry, Neeraj Kumar Singh	Analysis of DSR Protocol in Event-B.	SSS	2011	DBLP DOI BibTeX RDF
1	Jun Kiniwa, Kensaku Kikuta	Price Stabilization in Networks - What Is an Appropriate Model ?	SSS	2011	DBLP DOI BibTeX RDF
1	Xavier Défago, Franck Petit, Vincent Villain (eds.)	Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings	SSS	2011	DBLP DOI BibTeX RDF
1	Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec	Social Market: Combining Explicit and Implicit Social Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët	Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example.	SSS	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Active Stabilization.	SSS	2011	DBLP DOI BibTeX RDF
1	Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann	Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters.	SSS	2011	DBLP DOI BibTeX RDF
1	Achour Mostéfaoui, Michel Raynal, Julien Stainer	Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Richard Anthony, Mariusz Pelc, Haffiz Suahib	Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre	Self-stabilizing Labeling and Ranking in Ordered Trees.	SSS	2011	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad	An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.	SSS	2011	DBLP DOI BibTeX RDF
1	Zohir Bouzid, Anissa Lamani	Robot Networks with Homonyms: The Case of Patterns Formation.	SSS	2011	DBLP DOI BibTeX RDF
1	Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa	Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Bernadette Charron-Bost, Henri Debrat, Stephan Merz	Formal Verification of Consensus Algorithms Tolerating Malicious Faults.	SSS	2011	DBLP DOI BibTeX RDF
1	Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev	Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs.	SSS	2011	DBLP DOI BibTeX RDF
1	Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid	Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract].	SSS	2011	DBLP DOI BibTeX RDF
1	Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju	Building Self-stabilizing Overlay Networks with the Transitive Closure Framework.	SSS	2011	DBLP DOI BibTeX RDF
1	Nicola Santoro	Computing in Time-Varying Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Andréa W. Richa, Christian Scheideler, Phillip Stevens	Self-Stabilizing De Bruijn Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Sven Köhler 0002, Volker Turau	Space-Efficient Fault-Containment in Dynamic Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Fawaz M. Al-Azemi, Mehmet Hakan Karaata	Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs.	SSS	2011	DBLP DOI BibTeX RDF
1	Mohamed M. Saad, Binoy Ravindran	Snake: Control Flow Distributed Software Transactional Memory.	SSS	2011	DBLP DOI BibTeX RDF
1	Marc Shapiro, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski	Conflict-Free Replicated Data Types.	SSS	2011	DBLP DOI BibTeX RDF
1	Ingy Ramzy, Anish Arora	Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Roberto Beraldi, Adriano Cerocchi, Fabio Papale, Leonardo Querzoni	Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Shailesh Vaya	Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels.	SSS	2011	DBLP DOI BibTeX RDF
1	Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz	TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet.	SSS	2011	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication.	SSS	2011	DBLP DOI BibTeX RDF
1	Tuan Manh Vu, Reihaneh Safavi-Naini, Carey Williamson	On Applicability of Random Graphs for Modeling Random Key Predistribution for Wireless Sensor Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Algorithmic Verification of Population Protocols.	SSS	2010	DBLP DOI BibTeX RDF
1	Vedant Misra, Dion Harmon, Yaneer Bar-Yam	Vulnerability Analysis of High Dimensional Complex Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Matthew P. Johnson, Amotz Bar-Noy, Mani Srivastava	Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage.	SSS	2010	DBLP DOI BibTeX RDF
1	S. Dov Gordon, Jonathan Katz, Ranjit Kumaresan, Arkady Yerukhimovich	Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure.	SSS	2010	DBLP DOI BibTeX RDF
1	Jean R. S. Blair, Fredrik Manne, Rodica Mihai	Efficient Self-stabilizing Graph Searching in Tree Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.	SSS	2010	DBLP DOI BibTeX RDF
1	Mathieu Valero, Luciana Arantes, Maria Gradinariu, Pierre Sens	Dynamically Reconfigurable Filtering Architectures.	SSS	2010	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Stably Decidable Graph Languages by Mediated Population Protocols.	SSS	2010	DBLP DOI BibTeX RDF
1	Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale	Modeling and Analyzing Periodic Distributed Computations.	SSS	2010	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung (eds.)	Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings	SSS	2010	DBLP DOI BibTeX RDF
1	Jons-Tobias Wamhoff, Torvald Riegel, Christof Fetzer, Pascal Felber	RobuSTM: A Robust Software Transactional Memory.	SSS	2010	DBLP DOI BibTeX RDF
1	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Systematic Correct Construction of Self-stabilizing Systems: A Case Study.	SSS	2010	DBLP DOI BibTeX RDF
1	Bo Zhang, Robert Simon, Hakan Aydin	Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb	Brief Announcement: Fast Convergence in Route-Preservation.	SSS	2010	DBLP DOI BibTeX RDF
1	Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod	Storage Capacity of Labeled Graphs.	SSS	2010	DBLP DOI BibTeX RDF
1	Stéphane Pomportes, Joanna Tomasik, Anthony Busson, Véronique Vèque	Self-stabilizing Algorithm of Two-Hop Conflict Resolution.	SSS	2010	DBLP DOI BibTeX RDF
1	Hagit Attiya, Vincent Gramoli, Alessia Milani	A Provably Starvation-Free Distributed Directory Protocol.	SSS	2010	DBLP DOI BibTeX RDF
1	Yaser Houri, Bernhard Amann, Thomas Fuhrmann	A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Sven Köhler 0002, Volker Turau	A New Technique for Proving Self-stabilizing under the Distributed Scheduler.	SSS	2010	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	On Adaptive Renaming under Eventually Limited Contention.	SSS	2010	DBLP DOI BibTeX RDF
1	Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein	Adaptive Containment of Time-Bounded Byzantine Faults.	SSS	2010	DBLP DOI BibTeX RDF
1	Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni	"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses.	SSS	2010	DBLP DOI BibTeX RDF
1	Ji Lu, Yaoxue Zhang, Yuezhi Zhou	A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era.	SSS	2010	DBLP DOI BibTeX RDF
1	Bo Jiang, Binoy Ravindran, Changsoo Kim	Lightweight Live Migration for High Availability Cluster Service.	SSS	2010	DBLP DOI BibTeX RDF
1	Taylor Johnson, Sayan Mitra	Safe Flocking in Spite of Actuator Faults.	SSS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Complexity Issues in Automated Model Revision without Explicit Legitimate State.	SSS	2010	DBLP DOI BibTeX RDF
1	Junwhan Kim, Binoy Ravindran	On Transactional Scheduling in Distributed Transactional Memory Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Ezra N. Hoch, Michael Ben-Or, Danny Dolev	A Fault-Resistant Asynchronous Clock Function.	SSS	2010	DBLP DOI BibTeX RDF
1	Heverson Borba Ribeiro, Emmanuelle Anceaume	A Comparative Study of Rateless Codes for P2P Persistent Storage.	SSS	2010	DBLP DOI BibTeX RDF
1	Amos Israeli, Mathew D. McCubbins, Ramamohan Paturi, Andrea Vattani	Low Memory Distributed Protocols for 2-Coloring.	SSS	2010	DBLP DOI BibTeX RDF
1	Andrei Giurgiu, Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec	Computing in Social Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Eli Gafni, Sergio Rajsbaum	Recursion in Distributed Computing.	SSS	2010	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier	Approximation of delta-Timeliness.	SSS	2010	DBLP DOI BibTeX RDF
1	Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	A Framework for Secure and Private P2P Publish/Subscribe.	SSS	2010	DBLP DOI BibTeX RDF
1	Abhishek Dhama, Oliver E. Theel	A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms.	SSS	2010	DBLP DOI BibTeX RDF
1	Evangelos Kranakis, Michel Paquette	Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping.	SSS	2010	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Brief Announcement: On the Hardness of Topology Inference.	SSS	2010	DBLP DOI BibTeX RDF
1	Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller, Gongxi Zhu	Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil	On Byzantine Containment Properties of the min + 1 Protocol.	SSS	2010	DBLP DOI BibTeX RDF
1	Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil	Loop-Free Super-Stabilizing Spanning Tree Construction.	SSS	2010	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Lawrence L. Larmore, Hema Piniganti	Self-stabilizing Leader Election in Dynamic Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Mihalis Yannakakis	Computation of Equilibria and Stable Solutions.	SSS	2010	DBLP DOI BibTeX RDF
1	Yechiam Yemini	A Geometry of Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Leonid A. Levin	Arcane Information, Solving Relations, and Church Censorship.	SSS	2010	DBLP DOI BibTeX RDF
1	Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain	Snap-Stabilizing Linear Message Forwarding.	SSS	2010	DBLP DOI BibTeX RDF
1	Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller	Relocation Analysis of Stabilizing MAC.	SSS	2009	DBLP DOI BibTeX RDF
1	Mohammad Torabi Dashti	Optimistic Fair Exchange Using Trusted Devices.	SSS	2009	DBLP DOI BibTeX RDF
1	Philippe Leroux, Sébastien Roy 0002	Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity.	SSS	2009	DBLP DOI BibTeX RDF
1	Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.	SSS	2009	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Marina Kopeetsky	Anonymous Transactions in Computer Networks.	SSS	2009	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation.	SSS	2009	DBLP DOI BibTeX RDF	t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure
1	Martin Biely, Martin Hutle	Consensus When All Processes May Be Byzantine for Some Time.	SSS	2009	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda	Brief Announcement: Consistent Fixed Points and Negative Gain.	SSS	2009	DBLP DOI BibTeX RDF
1	Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita	Randomized Gathering of Mobile Robots with Local-Multiplicity Detection.	SSS	2009	DBLP DOI BibTeX RDF
1	Jun Kiniwa, Kensaku Kikuta	Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler.	SSS	2009	DBLP DOI BibTeX RDF	safety under convergence, intentional fault model, multistage two-person zero sum game, game theory, self-stabilization, mutual exclusion, unfair scheduler
1	Giovanna Di Marzo Serugendo	Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective.	SSS	2009	DBLP DOI BibTeX RDF
1	Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis	A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees.	SSS	2009	DBLP DOI BibTeX RDF

Publications at "SSS"( http://dblp.L3S.de/Venues/SSS )