76 search results - page 1 / 16 » Partial Evaluation of PEPA Models for Fluid-Flow Analysis |
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
QEST
2005
IEEE
14 years 2 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 ...
TAMODIA
2008
13 years 10 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
ENTCS
2010
13 years 9 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...