Skip to search formSkip to main contentSkip to account menu

Data consistency for P2P collaborative editing

This paper proposes a new model for building a collaborative editing system that is fully decentralised and does not depend on the number of sites.
View on ACM (opens in a new tab)

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems

This paper addresses the correctness issue by proposing a new way to model shared state by retaining tombstones when elements are removed and an instantiation of the proposed model for a linear data structure and the related transformation functions are provided.
View on IEEE (opens in a new tab)

Using the transformational approach to build a safe and generic data synchronizer

This paper proposes an algorithm and specific transformation functions that realize a file system synchronisation that ensures properties of convergence, causality and intention preservation and is extensible to new data types.
View on ACM (opens in a new tab)

Proving Correctness of Transformation Functions in Real-Time Groupware

This paper shows how a theorem prover can address this serious bottleneck of operational transformation, and verified the correctness of state-of-art transformation functions defined on Strings with surprising results.
View via Publisher (opens in a new tab)

Formal design and verification of operational transformation algorithms for copies convergence

View via Publisher (opens in a new tab)

Detecting Communities under Differential Privacy

This paper chooses Louvain method as the back-end community detection for input perturbation schemes and designs ModDivisive using exponential mechanism with the modularity as the score, which steadily gives the best modularity and avg.F1Score on large graphs whileLouvainDP outperforms the remaining input perturbedation competitors in certain settings.
View on ACM (opens in a new tab)

Real time group editors without Operational transformation

The WOOT (WithOut Operational Transformation) framework that ensures intention consistency without following the OT approach is described, which is drastically simpler, more efficient and does not require vector clocks or central sites.

Coordination Model for Real-Time Collaborative Editors

  • Abdessamad Imine
  • Computer Science
    International Conference on Coordination Models…
  • 11 June 2009
This paper presents a novel coordination model for managing collaborative editing work in a scalable and decentralized fashion that may be deployed easily on P2P networks as it supports dynamic groups where users can leave and join at any time.
View via Publisher (opens in a new tab)

Conception Formelle d'Algorithmes de Réplication Optimiste Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair. (Formal Design of Optimistic Replication Algorithms Towards Collaborative Edition…

Dans un premier temps, nous avons propose une methodologie formelle pour specifier et verifier des objets collaboratifs synchronises par une transformation operationnelle en vue of garantir the convergence des donnees.
View Paper (opens in a new tab)

Proving correctness of transformation functions in collaborative editing systems

This paper shows how a theorem prover can address this serious bottleneck of operational transformation and designs the tombstone transformation functions, which verify TP1 and TP2, preserve intentions and ensure multi-effect relationships.
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)