404 search results - page 57 / 81 » Application of Linear Logic to Web Service Composition |
100
click to vote
WWW
2005
ACM
16 years 12 days ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
186
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
104
click to vote
AIM
2005
14 years 11 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
101
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...