456 search results - page 18 / 92 » Semantic Foundations of Jade |
ICDE
2002
IEEE
14 years 1 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
FM
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
IRI
2007
IEEE
14 years 3 months ago
2007
IEEE
Ontology integration, alignment, and reuse are at the heart of Semantic Web vision. The alignment between two ontologies can be achieved easily provided both share the same axioma...
IS
2006
13 years 8 months ago
2006
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
ESCIENCE
2007
IEEE
14 years 18 days 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...