|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
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 |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|