446 search results - page 6 / 90 » A proof markup language for Semantic Web services |
IC
2004
13 years 10 months ago
2004
Individuals are interested in the semantic and not necessarily in the presentation of services. The service interaction has to support the quality of the human senses, and since q...
JCP
2008
13 years 8 months ago
2008
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
GCC
2003
Springer
14 years 1 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
SAINT
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
IS
2006
13 years 8 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...