269 search results - page 27 / 54 » Computational soundness of observational equivalence |
CCS
2005
ACM
14 years 2 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
IANDC
2008
13 years 8 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper investigates the interaction between cultural evolution and biological evolution in the emergence of phonemic coding in speech. It is observed that our nearest relatives...
LAWEB
2003
IEEE
14 years 1 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. In this paper, we address the problem of estimating the motion of fluid flows that are visualized through a Schlieren system. Such a system is well known in fluid mechani...