Technique et Science Informatiques, Volume 30

Volume 30, Number 1, 2011

• Sommaire. 5
  
• Jean-Marie Gilliot, An Phung-Khac, Antoine Beugnard, Maria-Teresa Segarra:
  L'ingnierie dirige par les modles pour la conception d'applications architectures rparties adaptables. Construction de variantes et de plans d'adaptation par transformation de mod. 7-34
  
• Julien Clément, Stéphane Messika, Brigitte Rozoy:
  Observer des algorithmes autostabilisants. Vers une valuation du co. 35-57
  
• Amira Ben Hamida, Frédéric Le Mouël, Stéphane Frénot, Mohamed Ben Ahmed:
  Dploiement adaptatif dapplications orientes services sur environnements contraints. 59-91
  
• Paul Bisgambiglia, Emmanuelle de Gentili, Jean François Santucci:
  Méthode de modélisation de systémes paramétres imprécis. 93-118
  
• RCIS 2011. 119-120
  
• Call for Papers for CAiSE11 Events. 121-122
  
• Appel propositions darticles sur le thme. Thorie des jeux en informatique. 123-124
  

Volume 30, Number 2, 2011

• Sommaire. 132
  
• Jean-Louis Giavitto:
  Éditorial. 133-135
  
• Matthieu Latapy:
  Introduction. 135-136
  
• Thomas Aynaud, Jean-Loup Guillaume:
  Structure communautaire multi-chelle de grands graphes de terrain. 137-154
  
• Stéphane Raux, Christophe Prieur:
  Stabilit globale et diversit locale dans la dynamique des commentaires de Flickr. 155-180
  
• Philippe J. Giabbanelli, Joseph G. Peters:
  SYNTHESE. Réseaux complexes et épidémies. 181-212
  
• Sébastien Delarre:
  Une mthode descriptive pour ltude des changes dans les systmes hirarchis. 213-231
  

Volume 30, Number 3, 2011

• Sommaire. 239-240
  
• Djamal Benslimane:
  Éditorial. 241-242
  
• Nadia Nouali-Taboudjemat, Omar Nouali, Habiba Drias:
  La validation dynamiquement adaptable des transactions mobiles. Une approche sensible au contexte utilisant des politiques d'adaptation. 243-273
  
• Frédéric Guidec, Julien Haillot:
  Communication "basée contenus" dans les réseaux mobiles ad hoc discontinus. 275-308
  
• Ludovic Apvrille, Pierre de Saqui-Sannes:
  Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. 309-337
  
• Besma Zeddini, Mahdi Zargayouna, M. Temani, A. Yassine:
  De l'intelligence collective pour le transport à la demande. 339-360
  

Volume 30, Number 4, 2011

• Sommaire. 367-368
  
• Sandrine Blazy:
  Introduction. 369-370
  
• Xavier Rival:
  Analyse statique par interprétation abstraite. 371-380
  
• David Cachera, David Pichardie:
  Programmation d'un interpréteur abstrait certifié en logique constructive. 381-408
  
• Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai:
  Expérimentations en Coq pour un générateur de code qualifiable. 409-440
  
• Daniel Gaffé, Annie Ressouche:
  Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones. 441-471
  

Volume 30, Number 5, 2011

• Sommaire. 483
  
• Youssou Dieng, Cyril Gavoille:
  Routage compact optimal dans les (k, r)-constellations. 485-513
  
• Anne-Cécile Orgerie, Laurent Lefèvre, Jean-Patrick Gelas:
  Étudier l'usage pour économiser l'énergie dans les systèmes distribués à grande échelle. L'approche EARI. 515-538
  
• Mehdi Darouich, Stéphane Guyetant, Dominique Lavenier:
  Étude quantitative d'algorithmes de stéréovision pour les systèmes embarqués d'aide à la conduite. 539-569
  
• Jean-Sebastien Gualtieri, Paul-Antoine Bisgambiglia, Jean François Santucci, Dominique Federici:
  Reconnaissance de gestes par systèmes d'inférence floue. Du geste au son. 571-590
  
• Jean Arnaud, Sara Bouchenak:
  MOKA, modélisation et planification de capacité pour les systèmes multi-étagés. 591-616
  

Volume 30, Number 6, 2011

• Sommaire. 623-624
  
• Mourad Oussalah, Philippe Lahire:
  Éditorial. 625-626
  
• Pascal André, Gilles Ardourel, Christian Attiogbé:
  Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. 627-658
  
• Anthony A. Hock-koon, Mourad Oussalah:
  Métamodélisation de service composite. 659-684
  
• Aurélie Hurault, Marc Pantel, Michel J. Daydé:
  Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. 685-710
  
• Olena Rogovchenko, Jacques Malenfant:
  Interfaces riches pour des architectures de contrôle de robots compositionnelles. 711-739
  
• Malika Benammar, Faiza Belala, Kamel Barkaoui:
  Implémentation orientée objet d'ABAReL en Maude. 741-767
  

Volume 30, Number 7, 2011

• A. Distribuée:
  Sommaire. 775
  
• Sébastien Tixeuil:
  Éditorial. 777-779
  
• Etienne Birmelé, François Delbot, Christian Laforest, Nicolas Thibault:
  Analyse du nombre de perturbations lors du maintien d'un arbre de connexion de faible diamètre. 781-808
  
• Vincent Gramoli:
  Émulation de mémoire partagée en environnements distribués dynamiques. 809-839
  
• Carole Delporte-Gallet, Hugues Fauconnier:
  Objets partagés et détecteurs de défaillances. 841-871
  
• Stéphane Devismes, Franck Petit, Vincent Villain:
  Autour de l'autostabilisation. 1. Techniques généralisant l'approche. 873-894
  
• Stéphane Devismes, Franck Petit, Vincent Villain:
  Autour de l'autostabilisation. 2. Techniques spécialisant l'approche. 895-922
  

Volume 30, Number 8, 2011

• Sommaire. 930
  
• Sandra Bringay, Anne Laurent, Maguelonne Teisseire:
  Éditorial. 931-932
  
• Elsa Negre:
  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
  
• Soumia Benkrid, Ladjel Bellatreche:
  Une démarche conjointe de fragmentation et de placement dans le cadre des entrepôts de données parallèles. 953-973
  
• Sahla Bouattour, Omar Boussaid, Hanêne Ben-Abdallah, Jamel Feki:
  Modélisation et analyse dans les entrepôts de données actifs. 975-994
  
• Lisa di Jorio:
  Des blocs de données aux motifs graduels multidimensionnels. 995-1017
  

Volume 30, Number 9, 2011

• Sommaire. 1031
  
• Pascal Sainrat:
  Éditorial. 1033-1034
  
• Haluk Ozaktas, Karine Heydemann:
  Compression de code pour processeurs haute performance. 1035-1059
  
• Quentin L. Meunier, Frédéric Pétrot:
  Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques. 1061-1087
  
• Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser:
  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
  
• Mourad Bouache, David Parello, Bernard Goossens:
  Accélération de la simulation modulaire. 1115-1134
  

Volume 30, Number 10, 2011

• Sommaire. 1141-1142
  
• Yoann Gabillon, Gaëlle Calvary, Humbert Fiorino, J. Cohen, S. Delaët:
  Composition d'interfaces homme-machine en contexte. Approche par planification automatique. 1143-1166
  
• Stabilité des arbres des plus courts chemins en présence de concurrence. 1167-1189
  
• Eddy Caron, Ajoy Kumar Datta, Benjamin Depardon, Lawrence L. Larmore:
  Un algorithme autostabilisant pour le problème du K-partitionnement sur graphe pondéré. 1191-1216
  
• Alexandre Venelli:
  Techniques d'estimation d'entropie efficaces pour l'attaque par analyse d'information mutuelle. 1217-1246
  
• Leila Ben Othman, François Rioult, Sadok Ben Yahia, Bruno Crémilleux:
  Base de caractérisation des valeurs manquantes. 1247-1270
  

Last update Tue May 21 19:52:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page