2123 search results - page 144 / 425 » Composition of Cyber-Physical Systems |
115
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
146
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
143
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
139
Voted
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...