Technique et Science Informatiques, Volume 25

Volume 25, Number 1, 2006

• Benjamin Sigonneau, Olivier Ridoux:
  Indexation multiple et automatisée de composants logiciels. 9-42
  
• Yamine Aït Ameur, Remi Delmas, Virginie Wiels:
  Un cadre formel pour la spécification multivue de systèmes avioniques. 43-72
  
• Héctor Ruíz Barradas, Didier Bert:
  Propriétés dynamiques avec hypothèses d'équité en B événementiel. 73-102
  
• Séverine Colin, Franck Lebeau, Bruno Legeard:
  Génération de tests à partir de statecharts fondée sur le calcul de comportements. 103-132
  
• Mark Utting:
  Un panorama du test à partir de modèles formels. 133-139
  

Volume 25, Number 2, 2006

• Alexandre Muzy:
  Proposition d'un cadre conceptuel pour la simulation de modèles cellulaires. Application à la modélisation physique des feux de forêt. 147-166
  
• Nahla Ben Amor, Salem Benferhat, Zied Elouedi:
  Réseaux bayésiens naïfs et arbres de décision dans les systèmes de détection d'intrusions. 167-196
  
• Gilles Cadet, Bernard Lécussan:
  Un lancer de rayons distribué pour traiter de très grands modèles sans précompilation. 197-220
  
• Johann Dréo, Patrick Siarry:
  Métaheuristiques pour l'optimisation et auto-organisation dans les systèmes biologiques. 221-240
  
• Julien Pauty, Paul Couderc, Michel Banâtre:
  Architectures de systèmes pour l'informatique diffuse. 241-280
  

Volume 25, Number 3, 2006

• Tristan Le Gall, Bertrand Jeannet, Hervé Marchand:
  Contrôle de systèmes symboliques, discrets ou hybrides. 289-315
  
• Guillaume Hutzler, Hanna Klaudel, D. Yue Wang:
  Systèmes multi-agents adaptatifs avec contraintes temps-réel. 317-342
  
• Didier Lime, Olivier H. Roux:
  Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. 343-370
  
• Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion:
  Impact de choix d'implantation sur les performances d'une application de contrôle-commande. 371-398
  

Volume 25, Number 4, 2006

• Olivier Aubert, Yannick Prié:
  Des vidéos aux hypervidéos. Vers d'autres interactions avec les médias audiovisuels. 409-436
  
• Mehdi Yousfi Monod, Violaine Prince:
  Compression de phrases par élagage de leur arbre morpho-syntaxique. Une première application sur les phrases narratives. 437-468
  
• Vincent Brunie, Jean Carrive, Laurent Vinet:
  Ingénierie des documents audiovisuels : le projet FERIA. Une approche centrée sur la description des contenus. 469-496
  
• José Rouillard, Jean-Claude Tarby, Vincent Chevrin, Alain Derycke:
  La plasticité des documents numériques. 497-522
  
• Véronique Eglin:
  Approches perceptives et cognitives en analyse automatique d'images de documents. 523-551
  

Volume 25, Number 5, 2006

• Thierry Ernst:
  Le support des réseaux mobiles dans IPv6. 573-597
  
• François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre:
  Intergiciels pour la tolérance aux fautes. 599-630
  
• Patrick Bosc, Olivier Pivert, Daniel Rocacher:
  À propos de division usuelle et approchée de relations floues. 631-660
  
• Jean-Paul Jamont, Michel Occello:
  Une approche multiagent pour la gestion de la communication dans les réseaux de capteurs sans fil. 661-690
  

Volume 25, Number 6, 2006

• Lionel Garnier, Sebti Foufou, Marc Neveu:
  Conversion d'un carreau de Bézier rationnel biquadratique en un carreau de cyclide de Dupin quartique. 709-734
  
• Guillaume Guimberteau, Olivier Terraz, Stéphane Mérillou:
  Modélisation volumique de bois par simulation de croissance. 735-757
  
• Caroline Larboulette, Marie-Paule Cani, Bruno Arnaldi:
  Ajout de détails dynamiques à une animation temps-réel de personnage. 759-789
  
• Samuel Peltier, Laurent Fuchs, Pascal Lienhardt:
  Homologie des ensembles simploïdaux. 791-813
  

Volume 25, Number 7, 2006

• Bernard Goossens, David Defour:
  Ordonnancement distribué d'instructions. 827-844
  
• Ludovic L'Hours:
  Synthèse automatique de microcontrôleurs spécialisés sur FPGA. 845-865
  
• Benoit Miramond:
  Technique de réduction d'ordonnancements hors-ligne pour applications embarquAes à contraintes temps-réel. Optimisation hors-ligne d'ordonnancements temps-réel. 867-892
  
• Catherine Dezan, Erwan Fabiani, Christophe Gouyen, Loïc Lagadec, Bernard Pottier, Caaliph Andriamisaina, Alix Poungou:
  Synthèse portable pour micro-architectures à grain fin. Application aux turbo décodeurs et nanofabriques. 893-920
  
• Lilian Bossuet, Guy Gogniat, Jean Luc Philippe:
  Exploration de l'espace de conception des architectures reconfigurables. 921-946
  

Volume 25, Numbers 8-9, 2006

• Cedric Buche, Cyril Septseault, Pierre De Loor:
  Les systèmes de classeurs. Une présentation gAnérale. 963-990
  
• Alain Berro:
  Algorithmes évolutionnaires pour l'optimisation multi-objectif. 991-1021
  
• Sébastien Vérel, Philippe Collard, Manuel Clergue:
  Neutralité dans les paysages de fitness. Évolution artificielle et neutralité. 1023-1048
  
• Jean Louchet:
  Évolution artificielle, optimisation et analyse d'images. 1049-1078
  
• Albert Dipanda, Sophie Voisin:
  Application des algorithmes évolutionnaires pour l'estimation du mouvement à l'aide des champs de Markov. 1079-1102
  
• Bruno Sareni, Jérémi Régnier, Xavier Roboam:
  Conception simultanée de systèmes électriques hétérogènes par algorithmes évolutionnaires multicritères. Applications à l'optimisation de chaînes de traction pour véhicules électriques. 1103-1126
  
• Emmanuel Sapin:
  Approche évolutionniste de la recherche d'automates cellulaires universels. 1127-1155
  
• Damien Sallé, Philippe Bidaud:
  Algorithme évolutionnaire interactif. Application au réglage automatique d'implant cochléaire. 1179-1208
  
• Laurent Krähenbühl:
  Algorithmes stochastiques d'optimisation : élargissons notre point de vue... 1209-1216
  

Volume 25, Number 10, 2006

• Emmanuelle de Gentili, J. Santucci:
  DSSV-méthodologie. Approche de validation d'applications logicielles à l'aide de la modélisation et la simulation à évAnements discrets. 1225-1260
  
• Frédéric Gava:
  Une bibliothèque certifiée de programmes fonctionnels BSP. 1261-1280
  
• Ahcene Benayache, Marie-Hélène Abel:
  Exploitation de documents numériques dans une formation e-learning. 1281-1310
  
• Sébastien Lefèvre, Nicole Vincent:
  Outils pour la recherche d'extraits pertinents dans les séquences vidéo. Applications aux retransmissions télévisées de matchs de football. 1311-1340