13383 search results - page 374 / 2677 » Abstractions from proofs |
135
click to vote
CRYPTO
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
155
click to vote
ESOP
1990
Springer
15 years 11 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
171
click to vote
AAECC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
151
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
controls often required for gameplay hinder the potential for social interaction, especially in domestic settings. Purple Crayon, an interactive electronic entertainment environme...
180
click to vote
DPPI
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Shareability is a design principle that refers to how a system, interface, or device engages a group of collocated, co-present users in shared interactions around the sam...