Le modèle Client/Serveur n’arrive plus à satisfaire les nouveaux besoins des applications distribuées sur le réseau Internet telles que la recherche d...
Le développement rapide des appareils, qui deviennent de plus en plus petits, moins chers et plus puissants, et l’avancée majeure dans le domaine des...
Cette thèse présente une démarche de vérification formelle des propriétés de sécurité des logiciels. En effet, après étude des approches possibles : p...
Les marches financiers sont des systemes complexes composes d.entites en forte interaction et evoluant dans un environnement tres incertain. Leur etud...
Les réseaux mobiles ad hoc (MANETs) sont caractérisés par leur mobilité, leur taux d'erreurs élevé et un débit limité. Toutes ces caractéristiques son...