KwdFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « KwdFr.i » - entrée « Modélisation »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Modèles théoriques < Modélisation < Modélisation articulatoire  Facettes :

List of bibliographic references indexed by Modélisation

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000828 (2014-12-15) Sylvain Castagnos [France] ; Armelle Brun [France] ; Anne Boyer [France]La diversité : entre besoin et méfiance dans les systèmes de recommandation
001255 (2013-04-03) Sylvain Castagnos [France] ; Armelle Brun [France] ; Anne Boyer [France]Utilité et perception de la diversité dans les systèmes de recommandation
001875 (2012-10-30) Karim Dahman [France]Governance and Analysis of Business Processes Change Impact on Service Oriented Architectures: A Model-Driven Approach
002350 (2011-05-19) Nicolas P. Rougier [France]Fondements biologiques pour le calcul distribué, numérique et adaptatif
004642 (2007-11-28) Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France] ; Didier Desor [France]Démarche incrémentale pour l'évaluation d'un modèle multi-agent en éthologie
004673 (2007-11) Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France]Un modèle analytique pour l'évaluation de la supervision de réseaux et de services
005909 (2005-09-13) Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie]Utilisation conjointe de B et TLA+ pour la modélisation et la vérification des systèmes réactifs
00B490 (1998) Matthieu Courrier ; Sébastien Wolf ; Françoise Simonot-Lion [France] ; Ye-Qiong Song [France]Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033
00BC60 (1997) Abdel Belaïd [France] ; Y. Chenevoy [France]Constraint propagation vs syntactical analysis for the logical structure recognition of library references

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i -k "Modélisation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i  \
                -Sk "Modélisation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdFr.i
   |clé=    Modélisation
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022