99 search results - page 16 / 20 » On the Foundations of Quantitative Information Flow |
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Recent advances in imaging technologies, such as Magnetic Resonance Imaging (MRI), Positron Emission Tomography (PET) and Diffusion Tensor Imaging (DTI) have accelerated brain res...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
This paper presents a quantitative human performance model of making single-stroke pen gestures within certain error constraints in terms of production time. Computed from the pro...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Extremists’ exploitation of computer-mediated communications such as online forums has recently gained much attention from academia and the government. However, due to the cover...