BibSonomy :: user  :: momo54 ::

bookmarks

publications

(9)   

• Divergence Awareness for Virtual Team through the Web
  Pascal Molli and Hala Skaf-Molli and Gérald Oster Integrated Design and Process Technology, IDPT 2002, Pasadena, CA, USA, Society for Desing and Process Science, June2002.
  to awareness transformation operational by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX 
• Proving Correctness of Transformation Functions in Real-Time Groupware
  Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch Proceedings of the 8th European Conference on Computer-Supported Cooperative Work (ECSCW 2003), Helsinki, Finland, ACM, September2003.
  to CSCW transformation operational OT by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX 
• VOTE: Group Editors Analyzing Tool
  Abdessamad Imine and Pascal Molli and Gérald Oster and Pascal Urso International Workshop on First-Order Theorem Proving (FTP 2003), Valencia, Spain, June2003.
  to OT CSCW operational transformation by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX 
• Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
  Pascal Molli and Gérald Oster and Hala Skaf-Molli and Abdessamad Imine Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2003, page212--220. Sanibel Island, Florida, USA, ACM Press, November2003.
  to operational OT transformation by momo54 and 1 other person on Jun 21, 2007, 4:20 PM
  BibTeX 
• Safe Generic Data Synchronizer
  Pascal Molli and Gérald Oster and Hala Skaf-Molli and Abdessamad Imine Research Report, A03-R-062. LORIA -- INRIA Lorraine, May2003.
  to SCM operational OT transformation SO6 by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX 
• Deductive Verification of Distributed Groupware Systems
  Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, Stirling, Scotland, United Kingdom, volume3116ofLecture Notes in Computer Science, Springer, July2004.
  to distributed specification, systems, operational verification, algebraic transformation formal by momo54 and 1 other person on Jun 21, 2007, 4:20 PM
  BibTeX 
• Achieving Convergence with Operational Transformation in Distributed Groupware Systems
  Abdessamad Imine and Pascal Molli and Gérald Oster and Michaël Rusinowitch Rapport de recherche, RR-5188. INRIA, May2004.
  to operational distributed systems, transformation optimistic replication, convergence, by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX 
• Un modèle sûr et générique pour la synchronisation de données divergentes
  Gérald Oster and Pascal Molli and Hala Skaf-Molli and Abdessamad Imine Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Nice, France, June2004.
  to distributed operational systems divergence, transformation, synchronization, by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX 
• Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
  Gérald Oster and Pascal Urso and Pascal Molli and Abdessamad Imine The Second International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006), Atlanta, Georgia, USA, IEEE Press, November2006.
  to operational OT real-time transformation editor TTF by momo54 on Jun 21, 2007, 4:20 PM
  BibTeX