4460 search results - page 294 / 892 » Formal methods for interactive systems |
155
click to vote
CASSIS
2004
Springer
16 years 1 days ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
211
click to vote
SG
2005
Springer
16 years 4 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
166
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Large information spaces are often difficult to access efficiently and intuitively. We are exploring Pad++, a graphical interface system based on zooming, as an alternative to tra...
174
Voted
MM
2006
ACM
16 years 18 days ago
2006
ACM
Navigation through large multimedia collections that include videos and images still remains a hard problem. In this paper, we introduce a novel method to visualize and navigate t...
177
click to vote
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...