368 search results - page 10 / 74 » The Role of Verification in Interactive Systems Design |
JUCS
2008
13 years 7 months ago
2008
: Many methods in the area of Human-Computer Interaction have been developed for deriving user interfaces considering individual users. However, nowadays information systems includ...
INTERACT
2003
13 years 8 months ago
2003
: Question answering systems have proven to be helpful to users because they can provide succinct answers that do not require users to wade through a large number of documents. How...
DAC
1990
ACM
13 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
Fairground: Thrill Laboratory was a series of live events that augmented the experience of amusement rides. A wearable telemetry system captured video, audio, heart-rate and accel...
MM
2004
ACM
14 years 27 days ago
2004
ACM
In this paper, we present the Range Multicast protocol and the implemented prototype. We propose to demonstrate the system at the 2004 ACM Multimedia Conference. Categories and Su...