621 search results - page 76 / 125 » Model Checking Probabilistic Distributed Systems |
158
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
137
Voted
DFG
2009
Springer
15 years 11 months ago
2009
Springer
In this chapter we present recent contributions in the field of sequential job scheduling on network machines which work in parallel; these are subject to temporary unavailability...
132
click to vote
HIPC
2005
Springer
15 years 10 months ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
138
Voted
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
132
click to vote
ESANN
2006
15 years 6 months ago
2006
A probabilistic, ``neural'' approach to sensor modelling and classification is described, performing local data fusion in a wireless system for embedded sensors using a ...