2468 search results - page 43 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
174
click to vote
CLUSTER
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a data management solution which allows fast Virtual Machine (VM) instantiation and efficient run-time execution to support VMs as execution environments in Gri...
116
click to vote
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
137
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
— Random access protocols, such as Aloha, are commonly modeled in wireless ad-hoc networks by using the protocol model. However, it is well-known that the protocol model is not a...
109
click to vote
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
105
click to vote
WSC
2007
15 years 5 months ago
2007
We consider the problem of efficient estimation of first passage time probabilities for a multidimensional random walk with t distributed increments, via simulation. In addition...