External Links

    Journal: Technique et Science Informatiques

    Volume 28, Issue 9

    1085 -- 1105Julien Sopena, Souheib Baarir, Fabrice Legond-Aubry. Vérification formelle d un algorithme générique et hiérarchique d exclusion mutuelle
    1107 -- 1142Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin. Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents
    1143 -- 1170Abdelkrim Abdelli. Optimisation de la construction d une approximation de l espace d état des systèmes préemptifs

    Volume 28, Issue 8

    953 -- 981Loïc Tching, Georges Dumont, Bruno Arnaldi, Jérôme Perret. Interactions haptiques au sein de simulations dynamiques Traitement dynamique des contacts et des chocs entre objets rigides
    983 -- 1015Nicolas Férey, Guillaume Bouyer, Christine Martin, Abdelhamid Drif, Patrick Bourdot, Mehdi Ammi, Julien Nelson, Jean-Marie Burkhardt, Ludovic Autin. Docking de protéines en réalité virtuelle Une approche hybride et multimodale
    1017 -- 1049Nassima Ouramdane, Samir Otmane, Malik Mallem. Interaction 3D en réalité virtuelle. Etat de l art
    1051 -- 1076Cedric Buche, Ronan Querrec, Pierre De Loor, Pierre Chevaillier, Jacques Tisseau. PEGASE, un système tutoriel intelligent générique et adaptatif en environnement virtuel

    Volume 28, Issue 6-7

    709 -- 714L. Fuchs, Malik Mallem. Éditorial
    715 -- 740Pierre Chevaillier, Ronan Querrec, Cyril Septseault. VEHA, un métamodèle d environnement virtuel informé et structuré
    741 -- 766Stéphanie Gerbaud, Bruno Arnaldi. Humains virtuels et collaboration dans un environnement virtuel de formation
    767 -- 797Laurent Aguerreche, Thierry Duval, Bruno Arnaldi. Analyse de techniques de coopération en environnements virtuels 3D
    799 -- 829Cédric Dumas, F. Jourdan, Patricia Plénacoste, L. Perron, A. Chellali. Guilde de conception d une technique de désignation 3D
    831 -- 855Morgan Veyret, Eric Maisel, Jacques Tisseau. Guide virtuel autonome immergé dans un environnement réel dynamique. Architecture générale et application à la visite guidée d un aquarium marin
    857 -- 890Imane M. Zendjebil, Fakhreddine Ababsa, Jean-Yves Didier, Emilie Lalagüe, Fabrice Decle, Romuald Delmont, Luc Frauciel, Jacques Vairon. Réalité augmentée en extérieur. État de l art
    891 -- 919Jean-Yves Didier, Samir Otmane, Malik Mallem. ARCS, une architecture logicielle reconfigurable pour la conception des applications de réalité augmentée
    921 -- 943Éric Marchand, Muriel Pressigout. Un panorama des techniques de suivi visuel temps réel pour la réalité augmentée

    Volume 28, Issue 5

    571 -- 609Sorana Cîmpan, Hervé Verjus, Ilham Alloui. Approche centrée architecture pour l évolution dynamique de systèmes d information
    611 -- 644Azzam Mourad, Marc-André Laverdière, Andrei Soeanu, Mourad Debbabi. Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité
    645 -- 675Joel Falcou, Jocelyn Sérot. Une bibliothèque métaprogrammée pour la programmation parallèle
    677 -- 701Fabrice Theoleyre, Fabrice Valois. Conception d une plate-forme d expérimentations pour réseaux ::::ad hoc:::: et hybrides. Application à l évaluation d un protocole d auto-organisation et de routage

    Volume 28, Issue 4

    433 -- 458J. François, Radu State, Olivier Festor. Botnets IRC et P2P pour une supervision à large échelle
    459 -- 478Hamza Drid, Bernard Cousin, Samer Lahoud, Miklós Molnár. Protection par p-cycles dans les réseaux WDM
    479 -- 502Abdelkader Lahmadi, Laurent Andrey, Olivier Festor. Caractérisation des délais dans les applications de supervision de réseaux et de services
    503 -- 531A. Chapoutot, M. Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
    533 -- 563Frédéric Dadeau, A. Haddad, Thierry Moutet. Test fonctionnel de conformité vis-à-vis d une politique de contrôle d accès

    Volume 28, Issue 3

    301 -- 330Sami Bhiri, Claude Godart, Olivier Perrin. Patrons transactionnels pour assurer des compositions fiables de services web
    331 -- 364Béatrice Bouchou, Mírian Halfeld Ferrari, M. Lima. Contraintes d intégrité pour XML. Visite guidée par une syntaxe homogène
    365 -- 393Smaine Mazouzi, Zahia Guessoum, Fabien Michel. Une approche multi-agent pour la segmentation d images de profondeur à base d objets polyédriques. Une nouvelle approche de segmentation d images
    395 -- 419Guillaume Anciaux. Un simulateur haute performance des matériaux par couplage de la dynamique moléculaire avec les éléments finis. LibMultiScale, structures de données et techniques de parallélisation

    Volume 28, Issue 2

    145 -- 171Jean Charlet, Audrey Baneyx, Olivier Steichen, I. Alecu, Christel Daniel-Le Bozec, C. Bousquet, Marie-Christine Jaulent. Utiliser et construire des ontologies en médecine. Le primat de la terminologie
    173 -- 197Emmanuel Pietriga, Ryan Lee. Langages et outils pour la visualisation et la manipulation de données du web sémantique
    199 -- 228Chantal Reynaud, Brigitte Safar. Construction automatique d adaptateurs guidée par une ontologie pour l intégration de sources et de données XML
    229 -- 262Mohand-Said Hacid, Freddy Lécué, Alain Léger, Christophe Rey, Farouk Toumani. Les web services sémantiques, automate et intégration I. Introduction, éléments et scénarios, découverte de services web
    263 -- 293Freddy Lécué, Alain Léger, R. Hassen. Les web services sémantiques, automate et intégration II. Composition de services web, technologies et plateformes, applications industrielles

    Volume 28, Issue 10

    1211 -- 1232Brigitte Safar, Chantal Reynaud. Alignement d ontologies basé sur des ressources complémentaires Illustration sur le système TaxoMap
    1233 -- 1261Chimène Fankam, Ladjel Bellatreche, Dehainsala Hondjack, Yamine Aït Ameur, Guy Pierra. SISRO, conception de bases de données à partir d ontologies de domaine
    1263 -- 1287Mohamed Mhiri, Faïez Gargouri. Méthodologie de construction des ontologies pour la résolution de conflits des systèmes d information
    1289 -- 1328María-Del-Pilar Villamil, Claudia Roncancio, Cyril Labbé. Gestion de données dans les systèmes P2P DHT

    Volume 28, Issue 1

    7 -- 37Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche. Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG
    39 -- 74Rafik Bouaziz, Zouhaier Brahmia. Gestion des données temporelles dans un environnement multiversion de schémas
    75 -- 99Tchimou N Takpé. Heuristiques d ordonnancement en deux étapes de graphes de tâches parallèles
    101 -- 133M. Zid, Abdelkrim Zitouni, Adel Baganne, Rached Tourki. Nouvelles architectures génériques de NoC
    runs on