5451 search results - page 329 / 1091 » Typed Operational Semantics |
129
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Managing uncertainty on the Semantic Web can potentially improve the ontology mapping precision which can lead to better acceptance of systems that operate in this environment. Fur...
124
Voted
FM
2005
Springer
15 years 10 months ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
129
click to vote
AGP
1993
IEEE
15 years 9 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
147
Voted
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
133
click to vote
AMAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...