Index des titres
Volume 23/2004
A Metric-based Approach for Code Displacements in the Debugging of Optimised Programs, 967-996
Adaptatibilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM, 879-903
Adaptations dynamiques et orthogonales de composants logiciels distribués, 151-174 Algorithmes et algorithmique. Preuve ou raisonnement ?, 129-134
Approche interactive de la recherche d’images par le contenu. Une stratégie d’indexation et de recherche basée sur le principe de l’exploration, 97-123 Approches alternatives pour la différenciation de services IP, 651-674
Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés, 1137-1159
Architectures pour l’ubiquité numérique, 439-478
Assemblons les pièces inexistantes d’un immense puzzle, 275-276 Autostabilisation et protocoles réseau, 1027-1056
Compte rendu du congrès des journées Specif, 569-583
Contrôle de congestion dans les protocoles de transport internet. Etat de l’art et perspectives, 1057-1084
De l’utilisation des mesures de trafic pour l’ingénierie des réseaux de l’internet, 701-731 Des objets et des hommes, 125-128
Des systèmes multiagents anytime pour la conception de systèmes d’aide à la décision, 997-1025
Des vertus de la schizophrénie pour le prototypage d’applications à composants interopérables, 1301-1328
Détection d’intrusions : corrélation d’alertes, 359-390
Empaquetâches de tolérance aux fautes pour les systèmes temps réel, 479-514 Estimations pour le partitionnement de systèmes temps réel strict sur FPGA, 515-542 Evaluation de la différenciation de services dans l’internet, 675-699
Evaluation polynomiale en-ligne de fonctions élémentaires sur FPGA, 1247-1267 Gestion efficace de la sécurité des communications de groupe pour le service SSM,
1107-1135
L’action concertée incitative. Sécurité et informatique, 421-426 La méthode B et l’ingénierie système, 929-938
La sécurité de l’accès distant, 597-621
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
1384 RSTI - TSI. Volume 23 – n° 10/2004
Le mécanisme de compression des en-têtes ROHC (Robust Header Compression).
Analyse du protocole ROHC pour IPv6, 785-815 Les grammaires d’interaction, 277-280
Les réseaux de régulation biologique : rencontre entre biologie et informatique.
Production de mucus chez P. aeruginosa, 939-945
Mesures de similarité pour l’indexation de mouvements paramétriques, 67-96 Modèle de sécurité pour le secteur de la santé, 291-321
Modèles de programmation non conventionnels, 947-956 Multicast fiable : l’approche à soutien des routeurs, 733-761
MVV : une plate-forme à composants dynamiquement reconfigurables. La machine virtuelle virtuelle, 1269-1299
OVM, une machine parallèle virtuelle à exécution dans le désordre, 11-34
Partage équitable de ressources communes. Eléments de complexité et d’algorithmique, 1219-1238
Partage équitable de ressources communes. Un modèle général et son application au partage de ressources satellitaires, 1187-1217
Programmation orientée Art. Compte rendu du colloque, 1085-1096 Protection des flux audiovisuels MPEG-4 transportés sur internet, 623-650
Recherche dynamique d’agent dans la couche réseau par multipoint orienté, 763-784 Routage QoS et réseaux ad hoc. De l’état de lien à l’état de nœud, 817-843
ScalAgent une plate-forme à composants pour applications asynchrones, 253-274 Stratégie de couverture de test à un haut niveau d’abstraction, 905-928
Synthèse architecturale d’applications temps réel pour technologies submicroniques, 35-66
Tolérance aux fautes adaptable pour les systèmes à composants, 205-230
UML et réseaux de Petri. Vers une formalisation des besoins des systèmes embarqués, 543-567
Un modèle abstrait de composants adaptables, 231-252
Un service d’interactions : principes et implémentation, 175-204
Un système de détection d’intrusions distribué pour réseaux ad hoc, 391-420 Une approche orientée patterns de la coopération de systèmes d’information,
1329-1354
Une infrastructure à base de composants pour la construction de gestionnaires d’objets persistants, 1161-1186
Validation des règles de base de l’Atelier B, 855-878
Validation du contrôle d’accès dans des cartes à puce multiapplications, 323-357 Vers des patrons de métamodélisation. Structuration de métamodèles par séparation
des préoccupations, 1355-1382
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
