8621 search results - page 175 / 1725 » Interaction Design |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a technique to improve the efficiency of hardware-software cosimulation, using design information known at simulator compile-time. The generic term for such optimizatio...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we reflect on the design and deployment process of MAGICBoard, a public display deployed in a university setting that solicits the electronic votes and opinions of ...
ACMDIS
2006
ACM
14 years 3 months ago
2006
ACM
Human-Computer Interaction (HCI) often focuses on how designers can develop systems that convey a single, specific, clear interpretation of what they are for and how they should b...
ISEMANTICS
2010
13 years 4 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...