1115 search results - page 24 / 223 » An Abstract Look at Realizability |
ISW
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Canetti and Rabin recently proposed a universally composable ideal functionality FSIG for digital signatures. We show that this functionality cannot be securely realized ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract— The “water-filling” solution for the quadratic ratedistortion function of a stationary Gaussian source is given in terms of its power spectrum. This formula natura...
JUCS
2008
13 years 7 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Presteering of broadband antenna arrays is required to compensate the effect of misalignment between the look direction and the array geometry and is achieved by insert...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...