Sciweavers

15372 search results - page 252 / 3075
» The Semantics of Semantic Annotation
Sort
View
GPCE
2007
Springer
16 years 23 days ago
Constructing language processors with algebra combinators
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Per...
ACSD
2006
IEEE
106views Hardware» more  ACSD 2006»
16 years 21 days ago
Synchronous + Concurrent + Sequential = Earlier than + Not later than
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
SKG
2006
IEEE
16 years 19 days ago
Semantic-driven Management and Search for Resources in Research Community
In recent years, semantic search has become one hot motivation of the semantic web. In this paper, we propose a semantic-based resource management and search architecture and its ...
Junsheng Zhang, Zhixian Yan
FM
2005
Springer
114views Formal Methods» more  FM 2005»
16 years 4 days ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
ICTAC
2004
Springer
15 years 12 months ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li