250 search results - page 44 / 50 » Towards Formal Verification of Web Service Composition |
JSS
2006
13 years 8 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
SOCASE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
ACMICEC
2005
ACM
14 years 2 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
AAAI
2007
13 years 11 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The union of Interactive Digital TV (IDTV) and Web promotes the development of new interactive multimedia services, enjoyable while watching TV even on the new handheld digital TV...