4772 search results - page 265 / 955 » An approach to interface synthesis |
146
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a menu interface designed primarily for headworn displays that have a small field-of-view. To support interaction with a hierarchical menu, we logically divide an absol...
171
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Due to the rapid evolution of graphics hardware, interactive 3D graphics is becoming popular on desktop personal computers. However, it remains a challenging task for a novice use...
163
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
considered simply, but a more complex evaluation of the effects of performing the tasks. For example, an educational activity that learners complete quickly and accurately is of no...
187
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
175
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...