default search action
Technique et Science Informatiques, Volume 23
Volume 23, Number 1, 2004
- Éditorial. 7-10
- George Bosilca:
OVM, une machine parallèle virtuelle à exécution dans le désordre. 11-34 - Emmanuel Casseau, Christophe Jégo, Eric Martin:
Synthèse architecturale d'applications temps réel pour technologies submicroniques. 35-66 - Titus B. Zaharia, Françoise J. Prêteux:
Mesures de similarité pour l'indexation de mouvements paramétriques. 67-96 - Matthieu Cord, Jérôme Fournier, Sylvie Philipp-Foliguet:
Approche interactive de la recherche d'images par le contenu. 97-123 - Des objets et des hommes. 125-128
- Preuve ou raisonnement? 129-134
Volume 23, Number 2, 2004
- Éditorial. 149-150
- Frédéric Peschanski, Jean-Pierre Briot:
Adaptations dynamiques et orthogonales de composants logiciels distribués. 151-174 - Mireille Blay-Fornarino, Michel Riveill:
Un service d'interactions. 175-204 - Phuong-Quynh Duong:
Tolérance aux fautes adaptable pour les systèmes à composants. 205-230 - Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot:
Un modèle abstrait de composants adaptables. 231-252 - Vivien Quéma, Roland Balter, André Freyssinet, Serge Lacourte:
ScalAgent, une plate-forme à composants pour applications asynchrones. 253-274 - Assemblons les pièces inexistantes d un immense puzzle. 275-276
- Les grammaires d interaction. 277-280
Volume 23, Number 3, 2004
- Michaël Rusinowitch:
Éditorial. 289-290 - Yves Deswarte
, Anas Abou El Kalam:
Modèle de sécurité pour le secteur de la santé. 291-321 - Marc Éluard, Thomas P. Jensen:
Validation du contrôle d'accès dans des cartes à puce multiapplications. 323-357 - Hervé Debar, Benjamin Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, Mireille Ducassé, Rodolphe Ortalo:
Détection d'intrusions : corrélation d'alertes. 359-390 - Jean-Marc Percher, Ricardo Staciarini Puttini, Ludovic Mé, Olivier Camp, Bernard Jouga, Patrick Albers:
Un système de détection d'intrusions distribué pour réseaux ad hoc. 391-420 - L'action concertée incitative Sécurité et informatique. 421-426
Volume 23, Number 4, 2004
- David Touzet, Frédéric Weis, Michel Banâtre:
Architectures pour l'ubiquité numérique. 439-479 - Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Empaquetâches de tolérance aux fautes pour les systèmes temps réel. 479-514 - Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui:
Estimations pour le partitionnement de systèmes temps réel strict sur FPGA. 515-542 - Mario Paludetto, Jérôme Delatour, Adel Benzina:
UML et réseaux de Petri. 543-567 - Jacques M. Bahi:
Compte rendu du congrès des journées de SPECIF de Lille. Journée du 21 janvier 2004. 569-583
Volume 23, Number 5-6, 2004
- Éditorial. 593-595
- Maryline Laurent-Maknavicius:
La sécurité de l'accès distant. 597-621 - Vincent Lecuire, Toufik Ahmed, Ahmed Mehaoua:
Protection des flux audiovisuels MPEG-4 transportés sur internet. 623-650 - Pascale Vicat-Blanc Primet, Benjamin Gaidioz, Mathieu Goutelle:
Approches alternatives pour la différenciation de services IP. 651-674 - Emmanuel Lochin
Évaluation de la différenciation de services dans l'internet. 675-699 - Nicolas Larrieu, Philippe Owezarski:
De l'utilisation des mesures de trafic pour l'ingénierie des réseaux de l'internet. 701-731 - Prométhée Spathis, Kim Loan Thai:
Multicast fiable : l'approche à soutien des routeurs. 733-761 - Damien Magoni
Recherche dynamique d'agent dans la couche réseau par multipoint orienté. 763-784 - Ana Minaburo, Laurent Toutain:
Le mécanisme de compression des en-têtes ROHC (Robust Header Compression). 785-815 - Claude Chaudet, Isabelle Guérin Lassous:
Routage QoS et réseaux ad hoc. De l'état de lien à l'état de noeud. 817-843
Volume 23, Number 7, 2004
- Éditorial. 853
- Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin:
Validation des règles de base de l'Atelier B. 855-878 - Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. 879-903 - Pierre Bontron, Marie-Laure Potet:
Stratégie de couverture de test à un haut niveau d'abstraction. 905-928 - La méthode B et l'ingénierie système. 929-938
- Les réseaux de régulation biologique : rencontre entre biologie et informatique. Production de mucus chez P. aeruginosa. 939-946
- Modèles de programmation non conventionnels. 947-956
- Évolution artificielle. 957
Volume 23, Number 8, 2004
- William S. Shu:
A Metric-based Approach for Code Displacements in the Debugging of Optimised Programs. 967-996 - Claude Duvallet, Bruno Sadeg:
Des systèmes multiagents anytime pour la conception de systèmes d'aide à la décision. 997-1025 - Colette Johnen, Franck Petit
Autostabilisation et protocoles réseau. 1027-1056 - Fabien Chatté, Bertrand Ducourthial:
Contrôle de congestion dans les protocoles de transport internet. État de l'art et perspectives. 1057-1084 - Compte rendu du colloque Programmation orientée Art. 1085-1096
- 13th IEEE International Requirements Engineering Conference. August 29th - September 2nd 2005, Paris, La Sorbonne, France. 1097
Volume 23, Number 9, 2004
- Ghassan Chaddoud, Vijay Varadharajan, Isabelle Chrisment, André Schaff:
Gestion efficace de la sécurité des communications de groupe pour le service SSM. 1107-1135 - Guillaume Auriol, Christophe Chassot, Michel Diaz:
Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés. 1137-1159 - Luciano García-Bañuelos, Phuong-Quynh Duong, Christine Collet:
Une infrastructure à base de composants pour la construction de gestionnaires d'objets persistants. 1161-1186 - Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie:
Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires. 1187-1217 - Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie:
Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique. 1219-1238
Volume 23, Number 10, 2004
- Jean-Luc Beuchat
Évaluation polynomiale en-ligne de fonctions élémentaires sur FPGA. 1247-1267 - Frederic Ogel, Gaël Thomas, Antoine Galland, Bertil Folliot:
MVV : une plate-forme à composants dynamiquement reconfigurables. La machine virtuelle virtuelle. 1269-1299 - Laurent Pautet
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. 1301-1328 - Vincent Couturier, Gilles Dubois:
Une approche orientée patterns de la coopération de systèmes d'information. 1329-1354 - Raphaël Marvie:
Vers des patrons de métamodélisation. Structuration de métamodèles par séparation des préoccupations. 1355-1382 - Index des titres. Volume 23/2004. 1383-1384
- Index des auteurs. Volume 23/2004. 1385-1386
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.
last updated on 2024-10-02 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: