473 search results - page 27 / 95 » Behavioural Models for Hierarchical Components |
SAFECOMP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
110
click to vote
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
FUIN
2008
14 years 11 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
MCS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...