QEST
2005
IEEE
14 years 6 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
14 years 6 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
Quality of service (QoS) in streaming of continuous media over the Internet is poor, which is partly due to variations in delays, bandwidth limitations, and packet losses. Althoug...
QEST
2005
IEEE
14 years 6 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...