642 search results - page 65 / 129 » corr 2006 |
76
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the bestknown attempt to construct a framework for expressing various security properties. We examine th...
101
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
95
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two pol...
102
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
90
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...