367 search results - page 17 / 74 » On Underspecified Processing of Dynamic Semantics |
DEEC
2006
IEEE
14 years 1 months ago
2006
IEEE
The use of Semantic Web Service (SWS) technologies have been suggested to enable more dynamic B2B integration of heterogeneous systems and partners. We present our approach to acco...
EDBT
2010
ACM
14 years 2 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
CONCUR
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
FPL
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents the design and implementation of BORPH's kernel file system layer that provides FPGA processes direct access to the general file system. Using a semantics...