1830 search results - page 31 / 366 » Centering in Dynamic Semantics |
AISADM
2005
Springer
15 years 4 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
15 years 5 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 ...
101
click to vote
IV
2006
IEEE
15 years 5 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
15 years 5 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....
100
click to vote
PLDI
2009
ACM
15 years 3 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...