446 search results - page 41 / 90 » A proof markup language for Semantic Web services |
168
click to vote
SEMWEB
2009
Springer
16 years 22 days ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
173
click to vote
GRID
2003
Springer
15 years 11 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
143
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
184
click to vote
AICT
2006
IEEE
16 years 8 days 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...
168
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...