![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Technique et Science Informatiques, Volume 31
Volume 31, Number 1, 2012
- Sommaire. 5
- Ladjel Bellatreche, Gilles Kassel, Philippe Thiran:
Éditorial. 7-9 - Vincent Ranwez, Sylvie Ranwez
, Stefan Janaqi:
Extraction de sous-ontologies autonomes par fermeture des opérateurs hyponymie et hyperonymie. 11-38 - Stéphane Jean, Francisca Losavio, Alfredo Matteo, Nicole Lévy:
Standards de qualité et préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S. 39-69 - Jamal Malki, Alain Bouju, Wafa Mefteh:
Une approche ontologique pour la modélisation et le raisonnement sur les trajectoires. Prise en compte des règles métiers, spatiales et temporelles. 71-96 - Zied Sellami, Nathalie Aussenac-Gilles, Marie-Pierre Gleizes, Valérie Camps:
DYNAMO, un outil de construction et d'évolution d'ontologies à partir de textes. 97-124 - Jean Charlet, Bruno Bachimont, Laurent Mazuel, Ferdinand Dhombres, Marie-Christine Jaulent, Jacques Bouaud:
OntoMénélas. Motivations et retours d'expérience sur l'élaboration d'une ontologie noyau de la médecine. 125-147
Volume 31, Number 2, 2012
- Sommaire. 158
- Amjad Abou Assali, Dominique Lenne, Bruno Debray:
Acquisition de connaissances d'adaptation à partir d'une base de cas hétérogène. 159-185 - Mouna Essabbah, Samir Otmane, Guillaume Bouyer, Joan Hérisson, Malik Mallem:
Analyse des systèmes de visualisation et d'interaction 3D pour la biologie moléculaire. 187-214 - Gilbert Sawma, Ryad Ben-El-Kezadri, Issam Aib, Guy Pujolle:
Pilotage autonomique de la charge dans les réseaux IEEE 802.11. 215-243 - Lilia Sfaxi, Takoua Abdellatif, Yassine Lakhnech, Riadh Robbana:
Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information. 245-279
Volume 31, Number 3, 2012
- Sommaire. 285-286
- Jean-Louis Giavitto:
Éditorial. 287-288 - Fabien Lotte:
Les interfaces cerveau-ordinateur. Conception et utilisation en réalité virtuelle. 289-310 - Arshia Cont:
Modélisation anticipative des systèmes musicaux. Reconnaissance, génération, synchronisation et programmation synchrone temps réel en informatique musicale. 311-335 - Olivier Bouissou:
Vérification partielle de programmes de contrôle-commande par interprétation abstraite. 337-373 - Maxime Descoteaux:
De l'estimation locale par imagerie q-ball à la tractographie des croisements de fibres. 375-396 - Chronique. Défis pour le génie de la programmation et du logiciel. 397-413
Volume 31, Number 4, 2012
- Sommaire. 419
- Nicolas Sabouret:
Éditorial. 421-422 - François Bouchet
, Jean-Paul Sansonnet:
Traits de personnalité computationnels. Enrichissement de la taxonomie FFM/NEO PI-R avec des gloses WordNet liées à des adjectifs de personnalité. 423-453 - Jérémy Rivière, Carole Adam
, Sylvie Pesty:
Langage de conversation multimodal pour agent conversationnel animé. 455-476 - Roman Miletitch, Nicolas Sabouret, Magalie Ochs:
Susciter l'émotion dans la narration automatique. 477-501 - Etienne de Sevin
, Elisabetta Bevacqua, Sylwia Julia Hyniewska, Catherine Pelachaud
:
Un modèle d'interlocuteur virtuel avec des comportements d'écoute crédibles. 503-531 - Céline Clavel, Laurence Devillers, Justine Plessier, Laurent Ach, Benoît Morel, Jean-Claude Martin:
Combinaisons d'expressions vocales, faciales et posturales des émotions chez un agent animé. Perception par les utilisateurs. 533-564
Volume 31, Number 5, 2012
- Sommaire. 569
- Patrice Bonhomme:
Nouvelle approche de synthèse de commande pour les réseaux de Petri p-temporels. Une méthode basée sur la notion d'instants de tir. 571-598 - Chiraz Ben Othmane Zribi, Fériel Ben Fraj, Hanene Mejri, Mohamed Ben Ahmed:
Le traitement des erreurs cachées en langue arabe. Une architecture SMA. 599-630 - Nassima Ben Younes, Tarek Hamrouni, Sadok Ben Yahia:
À la recherche des motifs corrélés. Proposition d'une nouvelle représentation concise exacte associée à la mesure bond. 631-674 - Norbert Tsopzé, Engelbert Mephu Nguifo, Gilbert Tindo:
Une approche basée sur les treillis de Galois pour la définition des architectures des réseaux de neurones. 675-704
Volume 31, Number 6, 2012
- Sommaire. 709-710
- Yamine Aït Ameur:
Éditorial. 711-712 - Mathieu Jaume, Valérie Viet Triem Tong, Guillaume Hiet:
Spécification et mécanisme de détection de flots d'information illégaux. 713-742 - Yves Ledru, Lydie du Bousquet:
Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. 743-767 - Samir Chouali, Sebti Mouelhi, Hassan Mountassir:
Adaptation sémantique des protocoles des composants par les automates d'interface. 769-796 - Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry:
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. 797-826
Volume 31, Number 7, 2012
- Sommaire. 833
- Agusti Canals, Thierry Millan:
Éditorial. 835-837 - Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet:
Transformation exogène de Wright vers Ada. 839-868 - Noel Tchidjo Moyo, Eric Nicollet, Frederic Lafaye, Christophe Moy:
Concevoir pour l'ordonnancement temps réel. Prise en compte de l'ordonnancement temps réel durant la phase de conception d'une radio logicielle. 869-895 - Anthony Fernandes Pires, Stéphane Duprat, C. Besseyre:
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience. 897-916 - Cyril Faucher, Frédéric Bertrand, Jean-Yves Lafaye, D. Teyssou, M. Bully:
Une approche fondée sur l'IDM pour le développement d'un environnement de production journalistique. 917-942
Volume 31, Numbers 8-10, 2012
- Sommaire. 951-953
- Cédric Tedeschi:
Introduction. 955-957 - Patrice Frison, Patrice Quinton:
Circuits parallèles à l'Irisa dans les années 1980. 959-968 - Thierry Priol:
Les machines parallèles en France (1986-1996). 969-986 - François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell:
Polyèdres et compilation. 987-1019 - Denis Trystram:
Les riches heures de l'ordonnancement. 1021-1047 - Amina Guermouche, Thomas Ropars, Franck Cappello:
HydEE, vers un protocole de recouvrement arrière hiérarchique pour les machines exascales. De l'exploitation du déterminisme des émissions dans les protocoles de recouvrement arrière. 1049-1078 - Luciana Arantes, Alysson Neves Bessani, Vinicius Vielmo Cogo
, Miguel Correia, Pedro Costa, Jonathan Lejeune, M. Piffaretti, Olivier Marin, Marcelo Pasin, Pierre Sens, Fabrício Silva
, Julien Sopena:
Vers une plate-forme MapReduce tolérant les fautes byzantines. 1079-1099 - Florent Chuffart, Haiwu He:
Mise en oeuvre de la découverte de services pour des plateformes dynamiques à large échelle. 1101-1119 - Benoît Bertholon, Sébastien Varrette, Pascal Bouvry
:
CERTICLOUD, une plate-forme Cloud IaaS sécurisée. 1121-1152 - Emmanuel Sifakis, Laurent Mounier:
Politiques de gestion de protections pour l'implémentation de sections critiques. 1153-1181 - Sidi Ahmed Mahmoudi, Pierre Manneback, Cédric Augonnet, Samuel Thibault:
Traitement d'images sur architectures parallèles et hétérogènes. 1183-1203 - Mehdi Amini, François Irigoin, Frederico Coelho, Ronan Keryell:
Compilation et optimisation statique des communications hôte-accélérateur. 1205-1232 - Sylvain Henry, Alexandre Denis
, Denis Barthou:
Programmation unifiée multi-accélérateur avec OpenCL. 1233-1249 - Clement Vuchener, Aurélien Esnard:
Équilibrage dynamique avec nombre variable de processeurs par une méthode de repartitionnement de graphe. 1251-1271 - Ajoy Kumar Datta, Stéphane Devismes
, Karel Heurtefeux
, Lawrence L. Larmore, Yvan Rivierre:
Algorithme autostabilisant construisant un petit ensemble k-dominant. 1273-1299 - Izabela Moise, Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk:
Évaluation de politiques d'adaptation au risque de collisions dans un consensus de type « Fast Paxos ». 1301-1325
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.