913 search results - page 53 / 183 » Full Abstraction for Linda |
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
ICMT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
ICTIR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
IMA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we present a theoretical framework to quantify the information brought by several linear approximations of a blockcipher without putting any restriction on ...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...