2468 search results - page 147 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
169
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
167
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
123
Voted
AAIM
2007
Springer
15 years 7 months ago
2007
Springer
BitTorrent (BT) in practice is a very efficient method to share data over a network of clients. In this paper we extend the recent work of Arthur and Panigrahy [1] on modelling the...
132
Voted
TCOM
2008
15 years 3 months ago
2008
We investigate the use of distributed measurements for estimating and updating the performance of a cellular system. Specifically, we discuss the number and placement of sensors in...
125
Voted
FSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The need of true random number generators for many purposes (ranging from applications in cryptography and stochastic simulation, to search heuristics and game playing) i...