Sciweavers

1791 search results - page 47 / 359
» Semantics and Complexity of SPARQL
Sort
View
ECOWS
2007
Springer
15 years 10 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara
115
Voted
SUM
2009
Springer
15 years 10 months ago
Query Answering in Belief Logic Programming
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
Hui Wan, Michael Kifer
WWW
2004
ACM
16 years 4 months ago
Web Agent's Enclaves - A New Opportunity for the Semantic Web Services
The paper presents an idea about joint use some of new technologies such as the Semantic Web, Web services and Web agents together with an already existing concept. It is a concep...
Violeta Damjanovic, Dragan Gasevic, Vladan Devedzi...
ENTCS
2008
87views more  ENTCS 2008»
15 years 4 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
CSL
2008
Springer
15 years 5 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent