621 search results - page 125 / 125 » Model Checking Probabilistic Distributed Systems |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
The problem of optimal allocation of monitoring resources for tracking transactions progressing through a distributed system, modeled as a queueing network, is considered. Two for...