780 search results - page 91 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
INFSOF
2006
13 years 7 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
CW
2004
IEEE
13 years 11 months ago
2004
IEEE
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
MASCOTS
2003
13 years 9 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...