250 search results - page 47 / 50 » Towards Formal Verification of Web Service Composition |
207
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Basic message processing tasks, such as wellformedness checking and grammar validation, can be off-loaded from the service providers' own infrastructures. To enable effective...
104
click to vote
CCS
2010
ACM
15 years 8 months ago
2010
ACM
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...
107
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
130
Voted
ODR
2008
15 years 3 months ago
2008
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...
131
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...