4211 search results - page 242 / 843 » Types as Abstract Interpretations |
132
Voted
ESORICS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...
144
Voted
IWSEC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
123
click to vote
MFCS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We examine computational problems on quaternion matrix and rotation semigroups. It is shown that in the ultimate case of quaternion matrices, in which multiplication is s...
149
Voted
SEMWEB
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...
137
click to vote
TBILLC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...