Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Pascal Molli »
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.
Pascal Koiran < Pascal Molli < Pascal Nicolas  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000181 (2010) Gérald Oster [France] ; Rubén Mondejar [Espagne] ; Pascal Molli [France] ; Sergiu Dumitriu [France]Building a collaborative peer-to-peer wiki system on a structured overlay
000198 (2009) Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France]SWooki, un wiki sémantique sur réseau pair-à-pair
000382 (2006) Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France]Formal design and verification of operational transformation algorithms for copies convergence
000445 (2005) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Towards synchronizing linear collaborative objects with operational transformation
000616 (2004) Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]Deductive verification of distributed groupware systems
000652 (2003) Jalel Ben-Othman ; Guy Bernard ; Luc Bouganim ; Gérome Canals ; Bruno Defude ; Jean Ferrie ; Stéphane Gancarski ; Rachid Guerraoui ; Pascal Molli ; Philippe Pucheral ; Claudia Roncancio ; Patricia Serrano-Alvarado ; Patrick ValduriezMobilité et bases de données : État de l'art et perspectives - 2e partie Action spécifique CNRS « Mobilité/Accès aux données »

List of associated FC03.fr.i

Nombre de
documents		Descripteur
4Réplication
4Système réparti
3Disponibilité
3Texte
2Poste à poste
2Spécification algébrique
2Synchronisation
1.
1Adaptabilité
1Algèbre
1Annotation
1Base donnée
1Calculateur embarqué
1Capacité stockage
1Collecticiel
1Comportement rendez vous
1Conception algorithme
1Confidentialité donnée
1Dialogue homme machine
1Développement logiciel
1Evaluation performance
1Extensibilité
1Fourniture information
1Gestion contenu
1Hachage
1Implémentation
1Information numérique
1Informatique mobile
1Informatique théorique
1Interception
1Interface utilisateur
1Intergiciel
1Langage XML
1Localisation
1Mise à jour
1Mobilité
1Mémoire partagée
1Méthode formelle
1Navigation
1Partage des ressources
1Présentation document
1Réseau ordinateur
1Réseau sémantique
1Structure donnée
1Système information
1Système informatique
1Sémantique
1Théorie quasi statique
1Transformation Hartley discrète
1Transformation opérationnelle
1Type donnée
1Vérification formelle
1Vérification programme
1Web sémantique

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/Author.i -k "Pascal Molli" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Pascal Molli" \
         | 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=    Author.i
   |clé=    Pascal Molli
}}
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