1699 search results - page 72 / 340 » A timed semantics of Orc |
CSL
2009
Springer
14 years 1 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
KI
2001
Springer
14 years 1 months ago
2001
Springer
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assi...
ADBIS
2010
Springer
13 years 10 months ago
2010
Springer
This paper presents a new method for image retrieval using a graph object oriented database for processing the information extracted from the image through the segmentation process...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...