4690 search results - page 813 / 938 » An operational semantics for Scheme |
189
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
155
Voted
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, we present several compiler optimizations to reduce the overhead due to software protection. We first propose an aggressive rematerialization algorithm which attempt...
223
Voted
CISC
2006
Springer
15 years 10 months ago
2006
Springer
Intrusion-resilient signatures are key-evolving protocols that extend the concepts of forward-secure and key-insulated signatures. As in the latter schemes, time is divided into di...
169
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
In stochastic thresholding, the threshold for quantization of a signal is randomized. An estimator based on quantized signal data can be optimized through stochastic thresholding. ...
211
Voted
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Diversity and memory are two major mechanisms used in biology to keep the adaptability of organisms in the everchanging environment in nature. These mechanisms can be integrated i...