1356 search results - page 20 / 272 » A variable-free dynamic semantics |
ECMDAFA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
AISADM
2005
Springer
14 years 3 months ago
2005
Springer
RDF (core Semantic Web standard) is not originally appropriate for context representation, because of its initial focus on the ordinary Web resources, such as web pages, files, dat...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
IV
2006
IEEE
14 years 3 months ago
2006
IEEE
Although Information Visualization claims to provide the means to induce mental models of any kind of data, the visualization of semantic information is still an open field of re...
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....