Search results for "WSS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Franck Petit	Fast Self-Stabilizing Depth-First Token Circulation.	WSS	2001	DBLP DOI BibTeX RDF
1	Felix C. Gärtner, Stefan Pleisch	(Im)Possibilities of Predicate Detection in Crash-Affected Systems.	WSS	2001	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Ravikant	Stabilizing Causal Deterministic Merge.	WSS	2001	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Ted Herman (eds.)	Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings	WSS	2001	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda	Stabilization of Routing in Directed Networks.	WSS	2001	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda	The Theory of Weak Stabilization.	WSS	2001	DBLP DOI BibTeX RDF
1	Ted Herman, Imran A. Pirwani	A Composite Stabilizing Data Structure.	WSS	2001	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Thomas Hérault, Elad Schiller	Easy Stabilization with an Agent.	WSS	2001	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Chin-Tser Huang, Anish Arora	On the Security and Vulnerability of PING.	WSS	2001	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Maria Gradinariu, Colette Johnen	Cross-Over Composition - Enforcement of Fairness under Unfair Adversary.	WSS	2001	DBLP DOI BibTeX RDF
1	Sukumar Ghosh	Cooperating Mobile Agents and Stabilization.	WSS	2001	DBLP DOI BibTeX RDF
1	Sébastien Tixeuil	On a Space-Optimal Distributed Traversal Algorithm.	WSS	2001	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Ted Herman	Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments.	WSS	2001	DBLP DOI BibTeX RDF
1	Ted Herman, Toshimitsu Masuzawa	Self-Stabilizing Agent Traversal.	WSS	2001	DBLP DOI BibTeX RDF
1	Rachid Hadid, Vincent Villain	A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller.	WSS	2001	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Elad Schiller	Communication Adaptive Self-Stabilizing Group Membership Service.	WSS	2001	DBLP DOI BibTeX RDF
1	Luc Onana Alima	Self-stabilizing max-heap.	WSS	1999	DBLP BibTeX RDF
1	Felix C. Gärtner, Henning Pagnia	Self-stabilizing load distribution for replicated servers on a per-access basis.	WSS	1999	DBLP BibTeX RDF
1	Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno	Finite-state self-stabilizing protocols in message-passing systems.	WSS	1999	DBLP BibTeX RDF
1	Oliver E. Theel, Felix C. Gärtner	An exercise in proving convergence through transfer functions.	WSS	1999	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar	A case-study in component-based mechanical verification of fault-tolerant programs.	WSS	1999	DBLP BibTeX RDF
1	Sukumar Ghosh, Xin He	Scalable self-stabilization.	WSS	1999	DBLP BibTeX RDF
1	Adam M. Costello, George Varghese	The FDDI MAC meets self-stabilization.	WSS	1999	DBLP BibTeX RDF
1	Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil	Self-stabilizing census with cut-through constraint.	WSS	1999	DBLP BibTeX RDF
1	Shing-Tsaan Huang, Tzong-Jye Liu	Phase synchronization on asynchronous uniform rings with odd size.	WSS	1999	DBLP BibTeX RDF
1	Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain	State-optimal snap-stabilizing PIF in tree networks.	WSS	1999	DBLP BibTeX RDF
1	Augusto Ciuffoletti	Self-stabilizing clock synchronization in a hierarchical network.	WSS	1999	DBLP BibTeX RDF
1	Mohamed G. Gouda, F. Furman Haddix	The alternator.	WSS	1999	DBLP BibTeX RDF
1	Shlomi Dolev, Ted Herman	Parallel composition of stabilizing algorithms.	WSS	1999	DBLP BibTeX RDF
1	Anish Arora (eds.)	1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings	WSS	1999	DBLP BibTeX RDF
1	Mohamed G. Gouda, Marco Schneider	Stabilization of maximal metric trees.	WSS	1999	DBLP BibTeX RDF
1	Karlo Burket, Ruppert Koch	Self-stabilizing multiple-sender/single-receiver protocol.	WSS	1997	DBLP BibTeX RDF
1	Colette Johnen	Memory-efficient self-stabilizing algorithm to construct BFS spanning trees.	WSS	1997	DBLP BibTeX RDF
1	Anish Arora, Mohamed G. Gouda	Delay-insensitive stabilization.	WSS	1997	DBLP BibTeX RDF
1	Joffroy Beauquier, Synnöve Kekkonen-Moneta	On FTSS-solvable distributed problems.	WSS	1997	DBLP BibTeX RDF
1	Paolo Boldi, Sebastiano Vigna	Self-stabilizing universal algorithms.	WSS	1997	DBLP BibTeX RDF
1	Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara	A latency-optimal superstabilizing mutual exclusion protocol.	WSS	1997	DBLP BibTeX RDF
1	George Varghese	Compositional proofs of self-stabilizing protocols.	WSS	1997	DBLP BibTeX RDF
1	Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll	Self-stabilizing L-exclusion.	WSS	1997	DBLP BibTeX RDF
1	Yassine Lakhnech, Michael Siegel	Deductive verification of stabilizing systems.	WSS	1997	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Compositional design of multitolerant repetitive byzantine agreement.	WSS	1997	DBLP BibTeX RDF
1	Sukumar Ghosh, Sriram V. Pemmaraju	Tradeoffs in fault-containing self-stabilization.	WSS	1997	DBLP BibTeX RDF
1	Sukumar Ghosh, Ted Herman (eds.)	3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings	WSS	1997	DBLP BibTeX RDF
1	Mohamed G. Gouda, F. Furman Haddix	The linear alternator.	WSS	1997	DBLP BibTeX RDF
1	Jorge Arturo Cobb, Mohamed Waris	Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols.	WSS	1997	DBLP BibTeX RDF
1	Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko	Development of self-stabilizing distributed algorithms using transformation: case studies.	WSS	1997	DBLP BibTeX RDF

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