35 search results - page 4 / 7 » Simulation-based test adequacy criteria for distributed syst... |
SAM
2000
13 years 9 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
AMKM
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
CF
2009
ACM
13 years 5 months ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
CHARME
2003
Springer
14 years 27 days ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
ICDCS
2003
IEEE
14 years 29 days ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...