428 search results - page 22 / 86 » A Rule Based Approach to the Service Composition Life-Cycle |
124
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
AH
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we introduce an approach to the adaptive composition of video documentaries. The adaptation is based on templates that encode rules for the dynamic selection, sequen...
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input para...
111
click to vote
ICDCSW
2009
IEEE
14 years 9 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...