A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations [Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations]

Maurice Djibril Faye, Eddy Caron, Ousmane Thiare. A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations [Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations]. ARIMA J., 25, 2016. [doi]

Abstract

Abstract is missing.