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...
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...
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...
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...
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 ...