1888 search results - page 131 / 378 » Proof theory and computational analysis |
114
click to vote
IEEEARES
2009
IEEE
14 years 10 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
90
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
A new way to determine the exact layer-wise SINR distribution for V-BLAST with successive interference cancellation at the receiver is presented. In contrast to previous publicati...
76
Voted
ORL
2007
15 years 3 days ago
2007
We establish the existence results for the Allaz–Vila [B. Allaz, J.-L. Vila, Cournot competition, forward markets and efficiency, J. Econ. Theory 59 (1993) 1–16] forward mark...
SODA
2010
ACM
15 years 10 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
116
Voted
CRYPTO
2009
Springer
15 years 7 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...