Index des titres
Volume 30/2011
Accélérationdelasimulationmodulaire, 1115-1134
Analyse du nombre de perturbations lors du maintien d’un arbre de connexion de faible diamètre, 781-808
Analyse statique par interprétation abstraite, 371-380
Autour de l’autostabilisation. 1. Techniques généralisant l’approche, 873-894 Autour de l’autostabilisation. 2. Techniques spécialisant l’approche, 895-922 Base de caractérisation des valeurs manquantes, 1247-1270
Communication « basée contenus » dans les réseaux mobiles ad hoc discontinus, 275-308
Compilation modulaire d’un langage synchrone. Spécification, simulation, implémentation et vérification d’applications synchrones, 441-471
Composition d’interfaces homme-machine en contexte. Approche par planification automatique, 1143-1166
Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services, 685-710
Compression de code pour processeurs haute performance, 1035-1059 De l’intelligence collective pour le transport à la demande, 339-360 Déploiement adaptatif d’applications orientées services sur environnements
contraints, 59-91
Des blocs de données aux motifs graduels multidimensionnels, 995-1017
Émulation de mémoire partagée en environnements distribués dynamiques, 809-839 Étude quantitative d’algorithmes de stéréovision pour les systèmes embarqués d’aide
à la conduite, 539-569
Étudier l’usage pour économiser l’énergie dans les systèmes distribués à grande échelle. L’approche EARI, 515-538
Expérimentations en Coq pour un générateur de code qualifiable, 409-440 Implémentation orientée objet d’ABAReL en Maude, 741-767
Interfaces riches pour des architectures de contrôle de robots compositionnelles, 711-739 Kmelia, un modèle abstrait et formel pour la description et la composition
de composants et de services, 627-658
La validation dynamiquement adaptable des transactions mobiles.
Une approche sensible au contexte utilisant des politiques d’adaptation, 243-273
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
1272 RSTI - TSI. Volume 30 – n° 10/2011
L’ingénierie dirigée par les modèles pour la conception d’applications à architectures réparties adaptables. Construction de variantes et de plans d’adaptation par transformation de modèles, 7-34
Métamodélisation de service composite, 659-684
Méthode de modélisation de systèmes à paramètres imprécis, 93-118 Modélisation et analyse dans les entrepôts de données actifs, 975-994
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l’approche synchrone. Vers l’exploration à haut niveau de l’architecture, 1089-1113 MOKA, modélisation et planification de capacité pour les systèmes multi-étagés, 591-
616
Objets partagés et détecteurs de défaillances, 841-871
Observer des algorithmes autostabilisants. Vers une évaluation du coût, 35-57 Programmation d’un interpréteur abstrait certifié en logique constructive, 381-408 Quand la recommandation rencontre la personnalisation. Ou comment générer
des recommandations (requêtes MDX) en adéquation avec les préférences de l’utilisateur, 933-952
Reconnaissance de gestes par systèmes d’inférence floue. Du geste au son, 571-590 Réseaux complexes et épidémies, 181-212
Routage compact optimal dans les (k, r)-constellations, 485-513
Stabilité des arbres des plus courts chemins en présence de concurrence, 1167-1189 Stabilité globale et diversité locale dans la dynamique des commentaires de Flickr,
155-180
Structure communautaire multi-échelle de grands graphes de terrain, 137-154 Systèmes de mémoire transactionnelle pour les architectures à base de NoC.
Conception, implémentation et comparaison de deux politiques, 1061-1087 Techniques d’estimation d’entropie efficaces pour l’attaque par analyse
d’information mutuelle, 1217-1246
Un algorithme auto-stabilisant pour le problème du K-partitionnement sur graphe pondéré, 1191-1216
Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons, 309-337
Une démarche conjointe de fragmentation et de placement dans le cadre des entrepôts de données parallèles, 953-973
Une méthode descriptive pour l’étude des échanges dans les systèmes hiérarchisés, 213-231
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com