305 search results - page 26 / 61 » Proof as Composition: An approach for the Large-granularity ... |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
This paper provides initial analysis in identifying possible Web services composition using context-based semantic matching. Context-based semantic matching allows service composi...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
This paper introduces a novel method for composing Web services in the presence of external volatile information. Our approach, which we call the informed-presumptive, is compared...
EEE
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
DGO
2003
13 years 10 months ago
2003
We propose a novel approach for organizing and describing e-government services on the envisioned Semantic Web. We combine the emerging concepts of Web services and ontologies to ...