2123 search results - page 25 / 425 » Composition of Cyber-Physical Systems |
GCC
2003
Springer
14 years 2 months ago
2003
Springer
Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is wheth...
ASE
1999
13 years 9 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
EPEW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
TACAS
1997
Springer
14 years 1 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
VVEIS
2007
13 years 10 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...