532 search results - page 5 / 107 » Process Algebras for Quantitative Analysis |
WOSP
2000
ACM
13 years 12 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
LICS
2002
IEEE
14 years 16 days ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
SFM
2009
Springer
14 years 2 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
APSEC
2010
IEEE
13 years 2 months ago
2010
IEEE
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...