631 search results - page 92 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
117
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
104
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Private Information Retrieval (PIR) protocols allow users to learn data items stored at a server which is not fully trusted, without disclosing to the server the particular data e...
173
click to vote
PLDI
1999
ACM
15 years 5 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
124
click to vote
ICDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
—The increasing deployment of wireless access technology, along with the emergence of high speed integrated service networks, such as ATM, promises to provide mobile users with u...
146
click to vote
SPATIALCOGNITION
1998
Springer
15 years 5 months ago
1998
Springer
Spatial orientation strongly relies on visual and whole-body information available while moving through space. As virtual environments allow to isolate the contribution of visual i...