384 search results - page 44 / 77 » Eliciting properties of probability distributions |
EUROPAR
2007
Springer
14 years 4 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
WAW
2007
Springer
14 years 4 months ago
2007
Springer
A random graph model based on Kronecker products of probability matrices has been recently proposed as a generative model for large-scale real-world networks such as the web. This...
TCC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—With increasing spatial reuse of the radio spectrum, co-channel interference is becoming the dominant noise source and may severely degrade the communication performance of wire...
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...