Titlebook: Stabilization, Safety, and Security of Distributed Systems; 11th International S Rachid Guerraoui,Franck Petit Conference proceedings 2009

Matrimony

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networksalgorithms only. Additionally we propose the first deterministic algorithm that matches this lower bound and performs in the asynchronous CORDA model. Our algorithm works under bounded scheduling assumptions for oblivious robots moving in a uni-dimensional space.

令人心醉

climax

Stability of Distributed Algorithms in the Face of Incessant Faultsified automatically using probabilistic model-checking tools. For a large number of processes, these properties are characterized using asymptotic bounds from a direct Markov chain analysis and approximated by numerical simulations.

Rustproof

Conference proceedings 20092009, held in Lyon, France, in November 2009. The 49 revised full papers and 14 brief announcements presented together with three invited talks were carefully reviewed and selected from 126 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various

CURT