2123 search results - page 66 / 425 » Composition of Cyber-Physical Systems |
139
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
152
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
180
Voted
GRID
2008
Springer
15 years 4 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
137
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
137
Voted
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present our approach of facilitator that allows automatic service composition in distributed systems. We propose a facilitator based on ontologies and knowledge ...