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

Index « ISSN » - entrée « 0752-4072 »
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.
0750-7658 < 0752-4072 < 0753-9053  Facettes :

List of bibliographic references indexed by 0752-4072

Number of relevant bibliographic references: 106.
[0-50] [0 - 20][0 - 50][50-70]
Ident.Authors (with country if any)Title
000097 (2016) Amaury L'Huillier [France] ; Sylvain Castagnos [France] ; Anne Boyer [France]Modéliser la diversité au cours du temps pour détecter le contexte dans un service de musique en ligne
000E26 (2014) Jean-Christophe Bach [France]Une approche hybride GPL-DSL pour transformer des modèles
001416 (2013) Mathieu Gallissot [France] ; Jean Caelen [France] ; Francis Jambon [France] ; Brigitte Meillon [France]Une plateforme usage pour l’intégration de l’informatique ambiante dans l’habitat
001425 (2013) Pierre Lescanne [France]Les krachs sont rationnels
001438 (2013) Guy Lapalme ; Jacques Malenfant ; Laurent Trilling ; Jean-Pierre VerjusEntretien
001447 (2013) Jean-Louis Giavitto [France]AVANT-PROPOS
001D32 (2012) Mohamed Tahar Bhiri [Tunisie, France] ; Farah Fourati [Tunisie] ; Mourad Kmimech [Tunisie] ; Mohamed Graiet [Tunisie, France]Transformation exogène de Wright vers Ada
002567 (2011) Anne-Cécile Orgerie [France] ; Laurent Lefèvre [France] ; Jean-Patrick Gelas [France]Étudier l’usage pour économiser l’énergie dans les systèmes distribués à grande échelle
002586 (2011) Malika Benammar [Algérie] ; Faiza Belala [Algérie] ; Kamel Barkaoui [France]Implémentation orientée objet d’ABAReL en Maude
002595 (2011) Aurélie Hurault [France] ; Marc Pantel [France] ; Michel Daydé [France]Composition dynamique de services de calcul
002E69 (2010) Claude Godart [France] ; Karim Baïna [Maroc] ; Walid Gaaloul [France]Fouille de workflow Découverte de patrons de workflows par l'analyse des traces d'exécution
002F58 (2010) Benjamin Nguyen [France] ; Antoine Vion [France] ; François-Xavier Dudouet [France] ; Dario Colazzo [France] ; Ioana Manolescu [France]WebStand, une plateforme de gestion de données web pour applications sociologiques
002F79 (2010) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]Fouille de workflow
002F88 (2010) Jérôme Simonin [France] ; Noëlle Carbonell [France]Conception et évaluation ergonomique d’une aide en ligne multimodale incarnée par une tête parlante 3D
002F94 (2010) Ivan Morel [Australie, France] ; Damien Stehlé [Australie] ; Gilles Villard [France]Analyse numérique et réduction de réseaux
003644 (2009-04) Frédéric Dadeau [France] ; Amal Haddad [France] ; Thierry Moutet [France]Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès
003739 (2009) Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France]Caractéristiques des délais dans les applications de supervision de réseaux et de services
003839 (2009) Sami Bhiri [Irlande (pays)] ; Claude Godart [France] ; Olivier Perrin [France]Patrons transactionnels pour assurer des compositions fiables de services web
003851 (2009) Tchimou N Akpé [France]Heuristiques d’ordonnancement en deux étapes de graphes de tâches parallèles
003862 (2009) Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France]Caractérisation des délais dans les applications de supervision de réseaux et de services
003863 (2009) Jérôme François [France] ; Radu State [France] ; Olivier Festor [France]Botnets IRC et P2P pour une supervision à large échelle
003B53 (2009) Tchimou N'Takpe [France]Heuristiques d'ordonnancement en deux étapes de graphes de tâches parallèles
004262 (2008) Jérémie Detrey [France] ; Florent De Dinechin [France]Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables
004266 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France]Développement formel par composants
004B04 (2007) Houda Anoun [France]Une bibliothèque Coq pour le traitement des langues naturelles
004B06 (2007) Rim Bentebibel [France]Un système de RàPC pour l’aménagement routier
004B09 (2007) Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique]Synthèse de diagrammes d’états par classe à partir de diagrammes de séquence
004B11 (2007) Damien Magoni [France] ; Pascal Lorenz [France]Répartition d’états multipoints par utilisation des plus courts chemins multiples
004B33 (2007) Jeanine Souquières [France]Editorial
004B42 (2007) Elise Garrot [France]Assistance au tuteur
004B43 (2007) Grégory Batt [France] ; Hidde De Jong [France] ; Johannes Geiselmann [France] ; Jean-Luc Gouzé [France] ; Michel Page [France] ; Delphine Ropers [France] ; Tewfik Sari [France] ; Dominique Schneider [France]Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux
004D38 (2007) Approches formelles pour le développement de logiciels : AFADL 2006
004D39 (2007) Jean-Marc Mota [France] ; Catherine Dubois [France]Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
004D40 (2007) Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique]Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala
004D44 (2007) Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France]Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
005320 (2006) Fabrice Jumel [France] ; Nicolas Navet [France] ; Françoise Simonot-Lion [France]Impact de choix d’implantation sur les performances d’une application de contrôle-commande
005328 (2006) Jacques Julliand [France] ; Jeanine Souquières [France]Editorial
005567 (2006) Approches formelles dans l'assistance au développement de logiciels
006121 (2005) Véronique Cortier [France]Vérifier les protocoles cryptographiques
006123 (2005) Julien Cohen [France]Typage des collections topologiques hétérogènes et des transformations
006124 (2005) Engelbert Mephu Nguifo [France] ; Patrick NjiwouaTreillis de concepts et classification supervisée
006149 (2005) Joël Goossens [Belgique] ; Nicolas Navet [France]Editorial
006159 (2005) Anis Koubâa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France](m,k)-WFQ, intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti
006337 (2005) Ordonnancement pour les systèmes temps réel
006341 (2005) Christine Rochange [France] ; Pascal Sainrat [France]Régulation du flot d'instructions pour des processeurs orientés temps réel
006343 (2005) Joël Goossens [Belgique] ; Pascal Richard [France]Optimisation de performance pour des systèmes temps réel stricts à priorité fixe
006352 (2005) Shelby Funk [États-Unis] ; Sanjoy K. BaruahRestricting EDF migration on uniform heterogeneous multiprocessors
006353 (2005) Dieter Zöbel [Allemagne] ; David Polock [Allemagne]Priority inheritance revisited : Towards the conformance of real-time protocols
006682 (2004) Claude Kirchner [France]L'Action Concerté Incitative Sécurité et Informatique
006A73 (2004) Vincent Lecuire [France] ; Toufik Ahmed [France] ; Ahmed Mehaoua [France]Protection des flux audiovisuels MPEG-4 transportés sur internet
006A79 (2004) Claude Kirchner [France]L’action concertée incitative Sécurité et informatique

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/ISSN.i -k "0752-4072" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i  \
                -Sk "0752-4072" \
         | 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=    ISSN.i
   |clé=    0752-4072
}}

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