Sciweavers

2840 search results - page 316 / 568
» Distributed cooperative caching
Sort
View
CHI
1996
ACM
15 years 10 months ago
The Zephyr Help Instance: Promoting Ongoing Activity in a CSCW System
If Computer-Supported Cooperative Work (CSCW) systems are to be successful over time, it will be necessary to promote ongoing and continuing activity, not just initial adoption. I...
Mark S. Ackerman, Leysia Palen
VCHCI
1993
15 years 10 months ago
From Undo to Multi-User Applications
The interaction history of a document can be modelled as a tree of command objects. This model does not only support recovery (undo/redo), but is also suitable for cooperation betw...
Thomas Berlage, Andreas Genau
CAISE
2006
Springer
15 years 10 months ago
Capability Management and Discovery in Description Logic
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
Dong Cheng, Nacer Boudjlida
157
Voted
WDAG
1995
Springer
109views Algorithms» more  WDAG 1995»
15 years 10 months ago
Faster Possibility Detection by Combining Two Approaches
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
Scott D. Stoller, Fred B. Schneider
DALT
2008
Springer
15 years 8 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima