319 search results - page 28 / 64 » Adaptive User Interfaces through Dynamic Design Automation |
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
HCI
2007
14 years 11 months ago
2007
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
Fieldbus networks have significantly improved flexibility and management in classic building automation domains. However, the costs of such installations are still greatly affec...
NORDICHI
2006
ACM
15 years 3 months ago
2006
ACM
Downstream utility is a critical success factor for usability evaluation methods, in terms of the extent to which they can deliver value. In this paper we argue that field methods...