54 search results - page 10 / 11 » hf 2006 |
ESWA
2007
13 years 7 months ago
2007
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
13 years 7 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
HF
2007
13 years 7 months ago
2007
When people do an easy task, and another person is nearby, they tend to do that task better than when they are alone. Conversely, when people do a hard task, and another person is...
HF
2002
13 years 7 months ago
2002
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...