Sciweavers

IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 10 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ECSCW
2003
14 years 1 months ago
Customizable Collaborative Editor Relying on treeOPT Algorithm
Research in collaborative editing tends to have been undertaken in isolation rather than as part of a general information or application infrastructure. Our goal is to develop a un...
Claudia-Lavinia Ignat, Moira C. Norrie
ACSC
2007
IEEE
14 years 6 months ago
Conflict Management For Real-Time Collaborative Editing in Mobile Replicated Architectures
Mobile technology is particularly suited to a fully distributed (replicated) architecture for collaborative work. Users can maintain their own document copies, and can continue to...
Sandy Citro, Jim McGovern, Caspar Ryan