Journal: Technique et Science Informatiques

Volume 23, Issue 9

1107 -- 1135Ghassan Chaddoud, Vijay Varadharajan, Isabelle Chrisment, André Schaff. Gestion efficace de la sécurité des communications de groupe pour le service SSM
1137 -- 1159Guillaume Auriol, Christophe Chassot, Michel Diaz. Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés
1161 -- 1186Luciano García-Bañuelos, Phuong-Quynh Duong, Christine Collet. Une infrastructure à base de composants pour la construction de gestionnaires d objets persistants
1187 -- 1217Hé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
1219 -- 1238Hé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

Volume 23, Issue 8

967 -- 996William S. Shu. A Metric-based Approach for Code Displacements in the Debugging of Optimised Programs
997 -- 1025Claude Duvallet, Bruno Sadeg. Des systèmes multiagents anytime pour la conception de systèmes d aide à la décision
1027 -- 1056Colette Johnen, Franck Petit, Sébastien Tixeuil. Autostabilisation et protocoles réseau
1057 -- 1084Fabien Chatté, Bertrand Ducourthial. Contrôle de congestion dans les protocoles de transport internet. État de l art et perspectives

Volume 23, Issue 7

853 -- 0. Éditorial
855 -- 878Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin. Validation des règles de base de l Atelier B
879 -- 903Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM
905 -- 928Pierre Bontron, Marie-Laure Potet. Stratégie de couverture de test à un haut niveau d abstraction
929 -- 938. La méthode B et l ingénierie système
939 -- 946. Les réseaux de régulation biologique : rencontre entre biologie et informatique. Production de mucus chez P. aeruginosa

Volume 23, Issue 5-6

593 -- 595. Éditorial
597 -- 621Maryline Laurent-Maknavicius. La sécurité de l accès distant
623 -- 650Vincent Lecuire, Toufik Ahmed, Ahmed Mehaoua. Protection des flux audiovisuels MPEG-4 transportés sur internet
651 -- 674Pascale Vicat-Blanc Primet, Benjamin Gaidioz, Mathieu Goutelle. Approches alternatives pour la différenciation de services IP
675 -- 699Emmanuel Lochin, Pascal Anelli, Serge Fdida, Fabien Garcia, Guillaume Auriol, Christophe Chassot, André Lozes. Évaluation de la différenciation de services dans l internet
701 -- 731Nicolas Larrieu, Philippe Owezarski. De l utilisation des mesures de trafic pour l ingénierie des réseaux de l internet
733 -- 761Prométhée Spathis, Kim Loan Thai. Multicast fiable : l approche à soutien des routeurs
763 -- 784Damien Magoni. Recherche dynamique d agent dans la couche réseau par multipoint orienté
785 -- 815Ana Carolina Minaburo, Laurent Toutain. Le mécanisme de compression des en-têtes ROHC (Robust Header Compression)
817 -- 843Claude Chaudet, Isabelle Guérin Lassous. Routage QoS et réseaux ad hoc. De l état de lien à l état de noeud

Volume 23, Issue 4

439 -- 479David Touzet, Frédéric Weis, Michel Banâtre. Architectures pour l ubiquité numérique
479 -- 514Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat. Empaquetâches de tolérance aux fautes pour les systèmes temps réel
515 -- 542Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui. Estimations pour le partitionnement de systèmes temps réel strict sur FPGA
543 -- 567Mario Paludetto, Jérôme Delatour, Adel Benzina. UML et réseaux de Petri
569 -- 583Jacques M. Bahi. Compte rendu du congrès des journées de SPECIF de Lille. Journée du 21 janvier 2004

Volume 23, Issue 3

289 -- 290Michaël Rusinowitch. Éditorial
291 -- 321Yves Deswarte, Anas Abou El Kalam. Modèle de sécurité pour le secteur de la santé
323 -- 357Marc Éluard, Thomas P. Jensen. Validation du contrôle d accès dans des cartes à puce multiapplications
359 -- 390Hervé 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
391 -- 420Jean-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
421 -- 426. L action concertée incitative Sécurité et informatique

Volume 23, Issue 2

149 -- 150. Éditorial
151 -- 174Frédéric Peschanski, Jean-Pierre Briot. Adaptations dynamiques et orthogonales de composants logiciels distribués
175 -- 204Mireille Blay-Fornarino, Michel Riveill. Un service d interactions
205 -- 230Phuong-Quynh Duong. Tolérance aux fautes adaptable pour les systèmes à composants
231 -- 252Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot. Un modèle abstrait de composants adaptables
253 -- 274Vivien Quéma, Roland Balter, André Freyssinet, Serge Lacourte. ScalAgent, une plate-forme à composants pour applications asynchrones
275 -- 276. Assemblons les pièces inexistantes d un immense puzzle

Volume 23, Issue 10

1247 -- 1267Jean-Luc Beuchat, Arnaud Tisserand. Évaluation polynomiale en-ligne de fonctions élémentaires sur FPGA
1269 -- 1299Frederic Ogel, Gaël Thomas, Antoine Galland, Bertil Folliot. MVV : une plate-forme à composants dynamiquement reconfigurables. La machine virtuelle virtuelle
1301 -- 1328Laurent Pautet, Fabrice Kordon. Des vertus de la schizophrénie pour le prototypage d applications à composants interopérables
1329 -- 1354Vincent Couturier, Gilles Dubois. Une approche orientée patterns de la coopération de systèmes d information
1355 -- 1382Raphaël Marvie. Vers des patrons de métamodélisation. Structuration de métamodèles par séparation des préoccupations
1385 -- 1386. Index des auteurs. Volume 23/2004

Volume 23, Issue 1

7 -- 10. Éditorial
11 -- 34George Bosilca. OVM, une machine parallèle virtuelle à exécution dans le désordre
35 -- 66Emmanuel Casseau, Christophe Jégo, Eric Martin. Synthèse architecturale d applications temps réel pour technologies submicroniques
67 -- 96Titus B. Zaharia, Françoise J. Prêteux. Mesures de similarité pour l indexation de mouvements paramétriques
97 -- 123Matthieu Cord, Jérome Fournier, Sylvie Philipp-Foliguet. Approche interactive de la recherche d images par le contenu
125 -- 128. Des objets et des hommes
129 -- 134. Preuve ou raisonnement?