AMiRALE Formal Model
Résumé
AMiRALE (Asynchronous Missions Relay for Autonomous and Lively Entities) is a service discovery and collaboration mechanism dedicated to autonomous swarms of highly mobile and heterogeneous nodes. AMiRALE is only based on asynchronous communications and local computations. This report details the internal operations of AMiRALE based on dynamic graph relabeling.
Origine : Fichiers produits par l'(les) auteur(s)