5777 search results - page 36 / 1156 » The palladio component model |
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
TOOLS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
EUROMICRO
2009
IEEE
15 years 1 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
JCST
2010
14 years 8 months ago
2010
In the Bayesian mixture modeling framework it is possible to infer the necessary number of components to model the data and therefore it is unnecessary to explicitly restrict the n...
ICNS
2007
IEEE
15 years 4 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...