Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTechnique et Science Informatiques, Volume 33
Volume 33, Numbers 1-2, 2014
- Stéphanie Chollet, Vincent Lestideau, Denis Morand, Yoann Maurel, Philippe Lalanda:
Auto-réparation et auto-optimisation des applications pervasives. Un gestionnaire de sélection de dépendances de services basé sur l'Analyse de Concepts Formels. 7-30 - O. Melekhova:
Coordination dans la décision pour les architectures autonomiques à grande échelle. 31-62 - Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei:
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. 63-84 - Jean-Pierre Briot
:
Composants et agents : évolution de la programmation et analyse comparative. 85-115 - Jean-Louis Giavitto, Valérie Schafer:
Entretien de Jean-Louis Giavitto et Valérie Schafer. Avec Paul Braffort. 119-126 - Marion Créhange, Marie-Christine Haton:
L'informatique universitaire à Nancy : un demi-siècle de développement. 127-141 - Nicolas Passat:
Approches discrètes pour l'analyse d'images. 145-151 - Sylvie Ranwez:
Les ontologies comme support à l'interaction et à la personnalisation dans un processus décisionnel. Exploitation de la sémantique pour favoriser l'automatisation cognitive. 153-158 - Sylvie Putot:
Analyse statique de programmes et systèmes numériques. 159-162
Volume 33, Number 3, 2014
- Laurence Duchien, Jean-Louis Giavitto:
Éditorial. 171-174 - Jean-Christophe Bach:
Une approche hybride GPL-DSL pour transformer des modèles. 175-201 - Hamza Samih:
Étendre le test basé sur des modèles d'usage pour prendre en compte la variabilité. 203-229 - Kalou Cabrera Castillos:
Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC. 231-256 - Ayman Dogui:
Modélisation explicite de l'adaptation sémantique entre modèles de calcul. 257-283 - Matthieu Moy:
Modélisation à haut niveau d'abstraction pour les systèmes embarqués. 285-293 - Valérie Schafer:
Entretien avec Serge Abiteboul. 295-301
Volume 33, Number 4, 2014
- Telesphore Tiendrebeogo, Daouda Ahmat, Damien Magoni:
Évaluation de la fiabilité d'une table de hachage distribuée construite dans un plan hyperbolique. 311-341 - Blandine Ginon, Stéphanie Jean-Daubias:
Une approche unifiée pour proposer des activités interactives entièrement personnalisées sur les profils d'apprenants. 343-370 - Abdelghani Bakhtouchi:
Annotation des propriétés des ontologies. Une approche d'optimisation des requêtes sur un médiateur de sources de données à base ontologique. 371-398 - Juan David Cruz, Cécile Bothorel, François Poulet:
Analyse intégrée des réseaux sociaux pour la détection et la visualisation de communautés. 399-427
Volume 33, Numbers 5-6, 2014
- Pierre Dragicevic, Jean-Daniel Fekete:
Introduction. 437-438 - Maguelonne Chandesris, Anaïs Rémy:
Visualisations interactives et dynamiques de grands volumes de données spatio-temporelles. Exemples d'applications développées à la SNCF. 439-463 - Robin Lamarche-Perrin, Lucas Mello Schnorr, Jean-Marc Vincent, Yves Demazeau:
Agrégation de traces d'exécution pour la visualisation de grands systèmes distribués. 465-498 - David Bihanic:
Design de grands flux de données Cadre conceptuel d'analyse esthétique cognitive des modèles « non conventionnels » de représentation-visualisation de données. 499-539 - Benjamin G. Thierry:
Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement. 541-551
Volume 33, Numbers 7-8, 2014
- Jean Bresson, Dominique Fober:
Éditorial. 561-562 - Gérard Assayag:
Introduction. 563-566 - Mathieu Giraud, Marc Rigaudière:
Algorithmes pour l'analyse de la musique tonale. 567-586 - José Echeveste:
Un langage temps réel dynamique pour scénariser l'interaction musicien-machine. 587-626 - Louis Bigo, Antoine Spicher:
Construction et manipulation de collections topologiques pour les représentations musicales. 627-650 - Jérôme Nika, Marc Chemillier:
Improvisation musicale homme-machine guidée par un scénario temporel. 651-684 - Valérie Shaffer:
Entretien de Valérie Schafer. Un virtuose de l'informatique sonore. 685-700 - Connaissez-vous l'Association française d'informatique musicale ? (AFIM). 701-702
Volume 33, Numbers 9-10, 2014
- Sabeur Aridhi, Laurent d'Orazio, Mondher Maddouri, Engelbert Mephu Nguifo:
Un partitionnement basé sur la densité de graphe pour approcher la fouille distribuée de sous-graphes fréquents. 711-737 - Abderrahmen Belfkih, Bruno Sadeg, Claude Duvallet, Laurent Amanton:
Les bases de données dans les réseaux de capteurs sans fil. 739-776 - Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos:
Fiabilité de mission d'un avion. Évaluation stochastique en opération. 777-807 - Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette:
Identification de vulnérabilités web et génération de scénarios d'attaque. 809-840 - Alexandre Guitton:
Réseaux de capteurs sans fil à multiples piles protocolaires. 841-848
a service of 
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.
last updated on 2024-05-31 18:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
