659 search results - page 73 / 132 » Using formal models to design user interfaces: a case study |
PUC
2008
13 years 8 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
In-vehicle navigation has changed substantially in recent years, due to the advent of computer generated maps and directions. However, these maps are still problematic, due to a m...
ENTCS
2006
13 years 8 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...