335 search results - page 15 / 67 » Analyzing Conversations of Web Services |
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
PODS
2006
ACM
14 years 8 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
ICWS
2010
IEEE
13 years 6 months ago
2010
IEEE
A service-oriented application is composed of multiple web services to fulfill complex functionality that cannot be provided by individual web service. The combination of services ...
AISS
2010
13 years 6 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...
FLAIRS
2011
13 years 2 days ago
2011
With an explosion in the proliferation of user-generated content in communities, information overload is increasing and quality of readily available online content is deterioratin...