496 search results - page 11 / 100 » Model Checking Expressive Web Service Descriptions |
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
We present a Semantic Optimized Service Discovery (SemOSD) approach capable of handling Web service search requests on a fine-grained level of detail where we augment semantic ser...
SIGMOD
2002
ACM
14 years 7 months ago
2002
ACM
Current Web services standards enable publishing service descriptions and finding services on a match based on criteria such as method signatures or service category. However, cur...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
VVEIS
2007
13 years 8 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...
ER
2004
Springer
14 years 1 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...