37 search results - page 2 / 8 » Reasoning about the Behavior of Semantic Web Services with C... |
IEEEHPCS
2010
13 years 3 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
SWAP
2008
13 years 6 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
TCS
2008
13 years 4 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
AGP
2003
IEEE
13 years 10 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...