Sciweavers

2696 search results - page 64 / 540
» Semantic Abstraction and Anaphora
Sort
View
ICWE
2003
Springer
15 years 3 months ago
Partitioning the Navigational Model: A Component-Driven Approach
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...
Stephen Kerr, Daniel M. Germán
ERSHOV
2001
Springer
15 years 2 months ago
Reexecution-Based Analysis of Logic Programs with Delay Declarations
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
Agostino Cortesi, Baudouin Le Charlier, Sabina Ros...
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
15 years 4 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
ESWS
2007
Springer
15 years 4 months ago
Process Mediation in Semantic Web Services
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
Emilia Cimpian
SEMWEB
2007
Springer
15 years 3 months ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen