659 search results - page 59 / 132 » Using formal models to design user interfaces: a case study |
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
One challenge for ubiquitous computing is providing appropriate tools for professional designers, thus leading to stronger user-valued applications. Unlike many previous tool-buil...
GRAPHICSINTERFACE
2008
13 years 10 months ago
2008
Effective mode-switching techniques provide users of tablet interfaces with access to a rich set of behaviors. While many researchers have studied the relative performance of mode...
EC
2010
13 years 8 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...
COORDINATION
2006
Springer
14 years 14 days ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
SI3D
2003
ACM
14 years 2 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...