Sciweavers

8621 search results - page 181 / 1725
» Design for interaction
Sort
View
HF
2002
95views more  HF 2002»
15 years 3 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
94
Voted
CHI
2002
ACM
16 years 4 months ago
The philosophy and design of socially adept technologies
Context-aware artifacts can be seen as an important class of socially adept technologies. In this paper, we focus on the fact that disregarding trivial notions of context, context...
Stephen Marsh, Lucy T. Nowell, John F. Meech, Kers...
EUROITV
2008
Springer
15 years 5 months ago
An Experimental Platform Based on MCE for Interactive TV
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...
Ping-Yi Liu, Hung-Wei Lee, Tsai-Yen Li, Shwu-Lih H...
BCS
2008
15 years 5 months ago
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...
Peter Van Roy
106
Voted
CHI
2003
ACM
16 years 4 months ago
Mr.Web: an automated interactive webmaster
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
Andrea Lockerd, Huy Pham, Taly Sharon, Ted Selker