368 search results - page 43 / 74 » The Role of Verification in Interactive Systems Design |
ACMSE
2005
ACM
14 years 1 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
DOCENG
2003
ACM
14 years 24 days ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
ACOM
2004
Springer
13 years 11 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
NORDICHI
2004
ACM
14 years 1 months ago
2004
ACM
Previous research has sought to utilize everyday messaging metaphors, such as the notice board, in location-based messaging systems. Unfortunately, many of the restrictions associ...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...