Learn More
Motivated by previous work of separating coordination and computation, we propose COCA as a generic &amew’ork for developing co~aborative systems and modeling the coordination poficies. Participants expficidy adopt roles, and coordination poficies are sptid in terms of roIes in a logic-based specification language. Po5cies me interpret at runtime at each(More)
Consistency maintenance is a critical and challenging issue in many interactive groupware applications that can be modeled as group editors. This paper addresses two open consistency problems: divergence and operation effects relation violation. While the former has been partly solved, the latter has never been addressed in any published work. We propose a(More)
Small talk is an important social lubricant that helps people, especially strangers, initiate conversations and make friends with each other in physical proximity. However, due to difficulties in quickly identifying significant topics of common interest, real-world small talk tends to be superficial. The mass popularity of mobile phones can help improve the(More)
  • Rui Li, Du Li
  • IEEE Transactions on Parallel and Distributed…
  • 2007
Group editors allow a group of distributed human users to edit a shared multimedia document at the same time over a computer network. Consistency control in this environment must not only guarantee convergence of replicated data, but also attempt to preserve intentions of operations. Operational transformation (OT) is a well-established method for(More)
  • Rui Li, Du Li
  • 2005 International Conference on Collaborative…
  • 2005
Commutativity of operations is often exploited in concurrent systems to attain high levels of concurrency. A commutativity-based concurrency control method, called operational transformation (OT), has been actively researched in groupware over the past 15 years. However, much progress can still be made on more practicable approaches to developing and(More)
Traditional concurrency control methods such as locking and serialization are not suitable for distributed interactive applications that demand fast local response. Operational transformation (OT) is the standard solution to concurrency control and consistency maintenance in group editors, an important class of interactive groupware applications. It(More)
Operational transformation (OT) is a responsive and nonblocking concurrency control method widely-accepted in group editors. Correctness and performance are the basis of usefulness and usability of OT-based group editors. However, the correctness of previous OT algorithms depends on conditions that are very difficult to verify. In this paper we propose a(More)
As a promising approach to end-user computing, programming by demonstration (PBD) techniques have been explored by many researchers in single-user applications. This paper investigates how PBD techniques can be used to support end-user customization of groupware tools. In collaborative applications, complex semantic relationships can emerge unanticipatedly(More)
Consistency control is critical for the correct functioning of distributed collaboration support systems. A large number of consistency control methods have appeared in the literature with different design tradeoffs and usability implications. However, there has been relatively little work on how to accommodate different protocols and variations in one(More)