929 search results - page 2 / 186 » Performance analysis of stochastic process algebra models us... |
EPEW
2008
Springer
13 years 6 months ago
2008
Springer
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
FORTE
2004
13 years 6 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
JCSS
2008
13 years 4 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
QEST
2005
IEEE
13 years 10 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 ...