2123 search results - page 55 / 425 » Composition of Cyber-Physical Systems |
127
click to vote
ENTCS
2008
15 years 4 months ago
2008
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...
128
click to vote
DEDS
1998
15 years 3 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
1748
click to vote
ICECCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
196
click to vote
CSAC
2006
15 years 5 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
128
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...