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 updated on Tue May 21 03:34:13 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page