5210 search results - page 420 / 1042 » Tools for Distributed Facilitation |
190
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Device Locks are mechanisms used in distributed environments to facilitate mutual exclusion of shared resources. They can further be used to maintain coherence of data that is cac...
188
click to vote
IDMS
1999
Springer
15 years 11 months ago
1999
Springer
Interactive media streams with real-time characteristics, such as those produced by shared whiteboards, distributed Java applets or shared VRML viewers, are rapidly gaining importa...
200
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
The components of the World Wide Web, which we call the World Wide Web Shell, provide a framework for collaborative application development in much the same way as an expert syste...
167
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
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...
201
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...