532 search results - page 2 / 107 » Process Algebras for Quantitative Analysis |
QEST
2008
IEEE
13 years 12 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...
JLP
2007
13 years 5 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
FMICS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
QEST
2008
IEEE
13 years 12 months ago
2008
IEEE
ICSOC
2010
Springer
13 years 4 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...