184 search results - page 13 / 37 » Testing Distributed Systems Through Symbolic Model Checking |
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...
MSS
1999
IEEE
14 years 22 min ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
HICSS
1996
IEEE
13 years 12 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
CF
2005
ACM
13 years 9 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...