12 search results - page 3 / 3 » qest 2005 |
QEST
2005
IEEE
13 years 10 months ago
2005
IEEE
Internet servers are developing into complex but central components in the information infrastructure and are accessed by an ever-increasing and diversified user population. As s...
QEST
2005
IEEE
13 years 10 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...