Sciweavers

122 search results - page 17 / 25
» Designing Groupware for Congruency in Use
Sort
View
CHI
2001
ACM
15 years 10 months ago
Folk computing: revisiting oral tradition as a scaffold for co-present communities
In this paper, we introduce Folk Computing: an approach for using technology to support co-present community building inspired by the concept of folklore. We also introduce a new ...
Richard Borovoy, Brian Silverman, Tim Gorton, Matt...
DSVIS
1998
Springer
15 years 2 months ago
An Ontology for Task World Models
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
Martijn van Welie, Gerrit C. van der Veer, Anton E...
MFCS
1997
Springer
15 years 1 months ago
Dependency-Based Action Refinement
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
Arend Rensink, Heike Wehrheim
ENTCS
2006
114views more  ENTCS 2006»
14 years 10 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
CRIWG
2006
14 years 11 months ago
On Supporting Users' Reflection During Small Groups Synchronous Collaboration
During computer-mediated synchronous collaboration there is need for supporting reflection of the partners involved. In this paper we study techniques for determining the state of ...
Meletis Margaritis, Nikolaos M. Avouris, Georgios ...