252 search results - page 6 / 51 » Toward user interface virtualization: legacy applications an... |
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
107
click to vote
CAINE
2010
14 years 7 months ago
2010
Virtual reality (VR) technology has the potential to provide unique perspectives of data that are not possible with standard desktop hardware. The tracking devices often found wit...
71
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
101
click to vote
ISMAR
2005
IEEE
15 years 3 months ago
2005
IEEE
Unlike most existing work on traversable interfaces, we focus on the use of synthetic characters to accompany the user in Mixed Reality (MR) applications. We examine virtual compa...
105
click to vote
VR
1999
IEEE
15 years 1 months ago
1999
IEEE
The study of human-computer interaction within immersive virtual environments requires us to balance what we have learned from the design and use of desktop interfaces with novel ...