252 search results - page 27 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
151
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
288
click to vote
CSMR
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
196
click to vote
QEST
2005
IEEE
15 years 11 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 ...
164
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
179
click to vote
RTAS
2008
IEEE
16 years 1 days ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...