Andere Kunden interessierten sich auch für
![Conception de Réseaux Dynamiques Tolérants aux Pannes]( "Conception de Réseaux Dynamiques Tolérants aux Pannes")
Conception de Réseaux Dynamiques Tolérants aux Pannes42,99 €![IFTF : Approche globale de tolérance aux fautes dans les RCSF]( "IFTF : Approche globale de tolérance aux fautes dans les RCSF")
IFTF : Approche globale de tolérance aux fautes dans les RCSF61,99 €![Introduction aux éléments essentiels de l'Internet des objets]( "Introduction aux éléments essentiels de l'Internet des objets")
Introduction aux éléments essentiels de l'Internet des objets20,99 €![Méthodes d''Optimisation Appliquées aux Réseaux de Flots et Télécoms]( "Méthodes d''Optimisation Appliquées aux Réseaux de Flots et Télécoms")
Méthodes d''Optimisation Appliquées aux Réseaux de Flots et Télécoms32,99 €![Enregistrement aux réseaux UMTS: un nouveau protocole de sécurité]( "Enregistrement aux réseaux UMTS: un nouveau protocole de sécurité")
Enregistrement aux réseaux UMTS: un nouveau protocole de sécurité25,99 €![Protocoles de sécurité adaptés aux réseaux de capteurs sans fils]( "Protocoles de sécurité adaptés aux réseaux de capteurs sans fils")
Protocoles de sécurité adaptés aux réseaux de capteurs sans fils51,99 €![Conformité aux normes de sécurité des systèmes d¿information]( "Conformité aux normes de sécurité des systèmes d¿information")
Conformité aux normes de sécurité des systèmes d¿information55,99 €
L'objectif premier de cette thèse est de proposer un protocole de tolérance aux pannes par recouvrement arrière pour le modèle à objets actifs asynchrones communicants ASP (Asynchronous Sequential Processes) et ProActive, son implémentation en Java nommée. Cette thèse généralise la problématique soulevée par le développement de ce protocole : nous étudions le recouvrement d'une application répartie depuis un état global non cohérent. Nous proposons donc dans un premier temps un protocole par points de reprise et son implémentation ne supposant pas que les états globaux soient cohérents. Nous montrons à travers des expérimentations réalistes utilisant des applications réparties communicantes que notre solution et son implémentation présentent de bonnes performances. Nous contribuons aussi de manière plus générale à l'étude du recouvrement depuis un état global non cohérent en définissant formellement une nouvelle condition de recouvrabilité, la P-cohérence, basée sur la notion de promesse d'évènement. Cette définition s'intègre dans un formalisme événementiel capable de prendre en compte la sémantique de n'importe quel système; elle est donc applicable dans un cadre général.