Search results for "Self-Stabilisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Boris Koldehofe, Philippas Tsigas	Using actors in an interactive animation in a graduate course on distributed system.	ITiCSE	2001	DBLP DOI BibTeX RDF
34	Richard John Anthony	A versatile policy toolkit supporting run-time policy reconfiguration.	Clust. Comput.	2008	DBLP DOI BibTeX RDF	Policy-based configuration, Self-stabilisation, Utility functions, Self-managing systems, Dynamic composition
34	Richard John Anthony	Emergence: A Paradigm for Robust and Scalable Distributed Applications.	ICAC	2004	DBLP DOI BibTeX RDF	Self-Stabilisation, Election Algorithm, Fault Tolerance, Distributed Systems, Scalability, Emergence
34	Baruch Awerbuch, Boaz Patt-Shamir, George Varghese	Self-Stabilization By Local Checking and Correction (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	self stabilisation, local checking, end-to-end communication protocol, network reset protocol, correction, distributed protocols, catastrophic faults
23	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF
20	Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell 0001	On Automated Verification of Probabilistic Programs.	TACAS	2008	DBLP DOI BibTeX RDF
20	Rosa Saab, Raúl Monroy, Fernando Godínez	Towards a Model for an Immune System.	MICAI	2002	DBLP DOI BibTeX RDF	Computer Immunology, Multi-agent systems, Process Calculi
19	Nazim Fatès, Irène Marcovici, Siamak Taati	Self-stabilisation of Cellular Automata on Tilings.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
19	Nazim Fatès, Irène Marcovici, Siamak Taati	Self-stabilisation of cellular automata on tilings.	CoRR	2021	DBLP BibTeX RDF
19	Nazim Fatès, Irène Marcovici, Siamak Taati	Cellular Automata for the Self-stabilisation of Colourings and Tilings.	RP	2019	DBLP DOI BibTeX RDF
19	Pelayo Nuño, Juan C. Granda, Francisco J. Suárez	Assessment of heuristics for self-stabilisation in real-time interactive communication overlays.	Int. J. Ad Hoc Ubiquitous Comput.	2018	DBLP DOI BibTeX RDF
19	Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini	Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.	ACM Trans. Model. Comput. Simul.	2018	DBLP DOI BibTeX RDF
19	Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini	Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.	CoRR	2017	DBLP BibTeX RDF
19	Ferruccio Damiani, Mirko Viroli	Type-based Self-stabilisation for Computational Fields.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
19	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Probabilistic verification of Herman's self-stabilisation algorithm.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
19	Evangelos Pournaras, Martijn Warnier, Frances M. T. Brazier	Local agent-based self-stabilisation in global resource utilisation.	Int. J. Auton. Comput.	2010	DBLP DOI BibTeX RDF
19	Richard John Anthony	Policy-based autonomic computing with integral support for self-stabilisation.	Int. J. Auton. Comput.	2009	DBLP DOI BibTeX RDF
19	Carroll Morgan, Annabelle McIver	Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.	RODIN Book	2006	DBLP DOI BibTeX RDF