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...
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...
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
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 ...