4 search results - page 1 / 1 » The redocumentation process of computer mediated activity tr... |
HT
2009
ACM
13 years 12 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
CCS
2009
ACM
14 years 7 days ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
ACMICEC
2004
ACM
13 years 11 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
CHI
2004
ACM
14 years 5 months ago
2004
ACM
This paper traces the development of RAW, a system combining a tool and a process for capturing and conveying audiovisual impressions of everyday life. The project aims to enable ...