3031 search results - page 492 / 607 » Virtual development center |
211
click to vote
ASIACRYPT
2011
Springer
14 years 6 months ago
2011
Springer
We present a generic method to secure various widely-used cryptosystems against arbitrary side-channel leakage, as long as the leakage adheres three restrictions: first, it is bou...
205
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
216
click to vote
BPM
2005
Springer
15 years 12 months ago
2005
Springer
Business Process Management is considered an essential strategy to create and maintain competitive advantage by streamlining and monitoring corporate processes. While the identific...
187
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
201
click to vote
SI3D
1999
ACM
15 years 10 months ago
1999
ACM
We present a novel approach to controlling a virtual 3D camera with a 2D mouse or stylus input device that is based on gestural interaction. Our approach to 3D camera manipulation...