384 search results - page 44 / 77 » Eliciting properties of probability distributions |
172
click to vote
EUROPAR
2007
Springer
16 years 8 days 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...
184
click to vote
WAW
2007
Springer
16 years 6 days 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...
184
Voted
TCC
2004
Springer
15 years 11 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...
157
Voted
GLOBECOM
2009
IEEE
16 years 25 days 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...
148
click to vote
HYBRID
2007
Springer
16 years 7 days 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...