2123 search results - page 301 / 425 » Composition of Cyber-Physical Systems |
147
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
106
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
140
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
128
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
124
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...