![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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, Moncef Temani, Adnan 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, J. Christian Attiogbé:
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. 627-658 - Anthony 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 Samir 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:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.