2079 search results - page 316 / 416 » Quantifying Information Flow |
CHI
2008
ACM
14 years 10 months ago
2008
ACM
This paper presents a new study of the role, importance and meaning of sound in the home. Drawing on interview data and sound recordings gathered from seven households, this study...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
Fashion signals are displayed to indicate access to information. Consistent, timely, and meaningful signal displays are only made possible if one is well-connected. While fashion ...
VLSID
2008
IEEE
14 years 10 months ago
2008
IEEE
In the automatic design of custom instruction set processors, there can be a very large set of potential custom instructions, from which a few instructions are required to be chos...
POPL
2004
ACM
14 years 10 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 ...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...