ISSN
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

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.
0747-7171 < 0752-4072 < 0755-9208  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 59.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000001 (2014) Jean-Christophe Bach [France]Une approche hybride GPL-DSL pour transformer des modèles
000155 (2010) Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France]Fouille de workflow
000163 (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: Conception et évaluation d'un ACA d'aide en ligne
000200 (2009) Sami Bhiri [Irlande (pays)] ; Claude Godart [France] ; Olivier Perrin [France]Patrons transactionnels pour assurer des compositions fiables de services web
000208 (2009) Tchimou N'Takpe [France]Heuristiques d'ordonnancement en deux étapes de graphes de tâches parallèles
000215 (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 : Supervision et sécurité dans les grands réseaux
000217 (2009) Jérome Francois [France] ; Radu State [France] ; Olivier Festor [France]Botnets IRC et P2P pour une supervision à large échelle : Supervision et sécurité dans les grands réseaux
000263 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France]Développement formel par composants : Assemblage et vérification à l'aide de B
000286 (2007) Approches formelles pour le développement de logiciels : AFADL 2006
000287 (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
000288 (2007) Jean-Marc Mota [France] ; Catherine Dubois [France]Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
000289 (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
000294 (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
000308 (2006) Approches formelles dans l'assistance au développement de logiciels
000321 (2006) Fabrice Jumel [France] ; Nicolas Navet [France] ; Francoise Simonot-Lion [France]Impact de choix d'implantation sur les performances d'une application de contrôle-commande
000425 (2005) Ordonnancement pour les systèmes temps réel
000426 (2005) Véronique Cortier [France]Vérifier les protocoles cryptographiques
000430 (2005) Christine Rochange [France] ; Pascal Sainrat [France]Régulation du flot d'instructions pour des processeurs orientés temps réel
000432 (2005) Joël Goossens [Belgique] ; Pascal Richard [France]Optimisation de performance pour des systèmes temps réel stricts à priorité fixe
000440 (2005) Anis Koubaa [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
000457 (2005) Shelby Funk [États-Unis] ; Sanjoy K. BaruahRestricting EDF migration on uniform heterogeneous multiprocessors

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i -k "0752-4072" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i  \
                -Sk "0752-4072" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |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