4434 search results - page 50 / 887 » On the Composition of Hybrid Systems |
173
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
193
click to vote
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
244
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
168
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider architectural properties required for supporting automatic service composition. After defining composable service architecture, we proceed to examine the role of trus...
176
click to vote
ICDCSW
2009
IEEE
15 years 3 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...