1806 search results - page 277 / 362 » Randomness and halting probabilities |
119
click to vote
HYBRID
2007
Springer
15 years 10 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...
157
click to vote
WAW
2007
Springer
15 years 10 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...
103
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
We describe and analyze a 3-state one-way population protocol to compute approximate majority in the model in which pairs of agents are drawn uniformly at random to interact. Given...
142
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...
149
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
The simplicity and robustness of unstructured P2P system make it a preferable architecture for constructing real large scale file sharing system. Most of the existing paradigms re...