Sciweavers

5451 search results - page 213 / 1091
» Typed Operational Semantics
Sort
View
132
Voted
JCDL
2003
ACM
129views Education» more  JCDL 2003»
15 years 9 months ago
XML Semantics and Digital Libraries
The lack of a standard formalism for expressing the semantics of an XML vocabulary is a major obstacle to the development of high-function interoperable digital libraries. XML doc...
Allen Renear, David Dubin, C. M. Sperberg-McQueen,...
CAISE
2006
Springer
15 years 7 months ago
Towards an Architecture of Ontological Components for the Semantic Web
This paper presents an architecture of ontological components for the Semantic Web. Many methods and methodologies can be found in the literature. Generally, they are dedicated to ...
Nesrine Ben Mustapha, Marie-Aude Aufaure, Hajer Ba...
ROOM
2000
15 years 5 months ago
SDL-2000: A Language with a Formal Semantics
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
Joachim Fischer, Eckhardt Holz, Martin von Lö...
TKDE
2002
74views more  TKDE 2002»
15 years 3 months ago
Specifying and Enforcing Association Semantics via ORN in the Presence of Association Cycles
Object Relationship Notation (ORN) is a declarative scheme that allows a variety of common relationship types to be conveniently specified to a Database Management System (DBMS), t...
Bryon K. Ehlmann, Gregory A. Riccardi, Naphtali Ri...
132
Voted
IFM
2000
Springer
15 years 7 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira