428 search results - page 58 / 86 » A Rule Based Approach to the Service Composition Life-Cycle |
141
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
216
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
An event correlation is becoming an important service in event-based middleware allowing subscribers in publish/subscribe paradigm to consume patterns of events (composite events)...
183
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
203
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
158
click to vote
KBS
2008
15 years 5 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...