197 search results - page 4 / 40 » Undecidability Results for Distributed Probabilistic Systems |
SPIN
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
WILF
2009
Springer
14 years 5 months ago
2009
Springer
With the wide diffusion of digital image acquisition devices,
the cost of managing hundreds of digital images is quickly increasing.
Currently, the main way to search digital ima...
PE
2000
Springer
13 years 6 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
NOSSDAV
1993
Springer
13 years 10 months ago
1993
Springer
–A video-on-demand server must satisfy a large customer base and a diverse archive of movies under changing movie popularity and daily load peaks. These requirements must be sati...
FORMATS
2007
Springer
14 years 12 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...