Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Abdessamad Imine »
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.
Abderrahmane Aggoun < Abdessamad Imine < Abhishek Pandey  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000097 (2005) Gérald Oster ; Pascal Urso ; Pascal Molli ; Abdessamad ImineEdition collaborative sur réseau pair-à-pair à large échelle
000160 (2005) Abdessamad Imine ; Michaël Rusinowitch ; Gérald Oster ; Pascal MolliFormal Design and Verification of Operational Transformation Algorithms for Copies Convergence
000176 (2005) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchTowards Synchronizing Linear Collaborative Objects with Operation Transformation
000296 (2005) Gérald Oster ; Pascal Urso ; Pascal Molli ; Hala Molli-Skaf ; Abdessamad ImineOptimistic Replication for Massive Collaborative Editing
000313 (2005) Gérald Oster ; Pascal Urso ; Pascal Molli ; Abdessamad ImineReal time group editors without Operational transformation
000602 (2004) Gérald Oster ; Pascal Molli ; Hala Skaf-Molli ; Abdessamad ImineUn modèle sûr et générique pour la synchronisation de données divergentes
000605 (2004) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchDeductive Verification of Distributed Groupware Systems
000683 (2004) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchAchieving Convergence with Operational Transformation in Distributed Groupware Systems
000B36 (2003) Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad ImineUsing the Transformational Approach to Build a Safe and Generic Data Synchronizer
000B79 (2003) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël RusinowitchProving Correctness of Transformation Functions in Real-Time Groupware
000D16 (2003) Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Pascal UrsoVOTE : Group Editors Analyzing Tool
000D69 (2003) Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad ImineSafe Generic Data Synchronizer

List of associated KwdEn.i

Nombre de
documents		Descripteur
6operational transformation
3distributed systems
2optimistic replication
2synchronization
1algebraic specification
1convergence
1divergence
1first order logique
1formal verification
1real time groupware
1replicated data consistency
1rewriting
1synchronization reconciliating
1theorem prover
1therorem prover
1transformation functions
1transformational approach

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Abdessamad Imine" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Abdessamad Imine" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Abdessamad Imine
}}
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