1806 search results - page 323 / 362 » Randomness and halting probabilities |
105
click to vote
CRYPTO
2007
Springer
15 years 3 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
106
click to vote
IPPS
1997
IEEE
15 years 3 months ago
1997
IEEE
In this paper we show the power of sampling techniques in designing efficient distributed algorithms. In particular, we show that using sampling techniques, on some networks, sele...
104
click to vote
FOCS
1991
IEEE
15 years 3 months ago
1991
IEEE
We wish to increase the power of an arbitrary algorithm designed for non-degenerate input, by allowing it to execute on all inputs. We concentrate on in nitesimal symbolic perturba...
113
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Many multiagent domains where cooperation among agents is crucial to achieving a common goal can be modeled as coalitional games. However, in many of these domains, agents are une...