368 search results - page 23 / 74 » The Role of Verification in Interactive Systems Design |
ICHIM
1997
13 years 8 months ago
1997
This paper discusses the issues related to the application of wireless communication and positioning technologies to the development of hand-held electronic tour guides. These iss...
SSS
2010
Springer
13 years 5 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
CHI
2010
ACM
14 years 25 days ago
2010
ACM
Designing for a supple interaction, involving users bodily and emotionally into a ‘dance’ with a system is a challenging task. Any break-ups in interaction become fatal to the...
TIDSE
2004
Springer
14 years 26 days ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...