Sciweavers

805 search results - page 77 / 161
» Formal Analysis of Human-computer Interaction using Model-ch...
Sort
View
CHI
2011
ACM
14 years 6 months ago
Developmentally situated design (DSD): making theoretical knowledge accessible to designers of children's technology
There is a wealth of theoretical knowledge about the developmental abilities and skills of children. However, this knowledge is not readily accessible to designers of interactive ...
Tilde Bekker, Alissa Nicole Antle
EMSOFT
2004
Springer
15 years 8 months ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter
CHI
2005
ACM
16 years 3 months ago
Gait phase effects in mobile interaction
One problem evaluating mobile and wearable devices is that they are used in mobile settings, making it hard to collect usability data. We present a study of tap-based selection of...
Andrew Crossan, Roderick Murray-Smith, Stephen A. ...
HRI
2006
ACM
15 years 9 months ago
Empirical results from using a comfort level device in human-robot interaction studies
This paper describes an extensive analysis of the comfort level data of 7 subjects with respect to 12 robot behaviours as part of a human-robot interaction trial. This includes ro...
Kheng Lee Koay, Kerstin Dautenhahn, Sarah Woods, M...
CHI
1992
ACM
15 years 7 months ago
Gardeners and Gurus: Patterns of Cooperation Among CAD Users
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...
Michelle Gantt, Bonnie A. Nardi