Un des problèmes les plus importants en traitement et analyse d’images et obligatoire dans tous les systèmes de vision artificielle est la segmentatio...
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...
