Virtual reality has lead to development of many methods for interacting between real humans and virtual objects in 3D spaces. Nowadays, some new developments are made for cooperative interactions which means that several persons can act simultaneouly on shared objects. A cooperation requires new metaphors to make several persons acting on same objects possible and also to have some new feedback...

............................................................................................................v Table des matières ...............................................................................................vii Liste des figures ....................................................................................................xi Liste des tableaux.................................

Un protocole auto-stabilisant a la capacité de converger vers un comportement correct quel que soit son état initial. La grande majorité des travaux en auto-stabilisation supposent une communication par mémoire partagée ou bien à travers des canaux de communication fiables et FIFO. Dans cet article, nous nous intéressons aux systèmes auto-stabilisants à passage de messages à travers des canaux ...

Le groupe LTP (langages, types et preuves) note que la diffusion des méthodes de développement basées sur la preuve reste limitée. Il diagnostique que cet état de fait est lié à la difficulté de prise en main des outils de preuve, à leur capacité à passer à l'échelle et à la nécessité de valider les spécifications et hypothèses de départ. Il propose des pistes pour relever le défi de l'adoption...

RÉSUMÉ. Les mesures de similarité sémantique sont des fonctions très utilisées dans plusieurs domaines de l’informatique parmi lesquels nous pouvons citer le Traitement Automatique du Langage Naturel (TALN), la Bioinformatique, la Recherche d’Information... Elles permettent de déterminer la similarité entre des termes ou concepts qui n’ont aucune ressemblance syntaxique. L’objectif de ce papier...