5722 search results - page 323 / 1145 » Security Function Interactions |
121
Voted
CA
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a method for animating and rendering an interactive natural scenery in real-time. It improves the prairie model of [11] by enabling the on-the-fly generation ...
129
Voted
CHI
1999
ACM
15 years 7 months ago
1999
ACM
The VisMap system provides for “visual manipulation” of arbitrary off-the-shelf applications, through an application’s graphical user interface. VisMap’s API-independent c...
112
click to vote
ICDAR
1995
IEEE
15 years 7 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
118
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
125
click to vote
IANDC
2006
15 years 3 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...