305 search results - page 16 / 61 » Proof as Composition: An approach for the Large-granularity ... |
EPEW
2006
Springer
14 years 7 days 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...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of...
IEEESCC
2006
IEEE
14 years 2 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
CSSE
2008
IEEE
14 years 3 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...