2079 search results - page 316 / 416 » Quantifying Information Flow |
108
click to vote
CHI
2008
ACM
16 years 3 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...
119
Voted
CHI
2006
ACM
16 years 3 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 ...
128
Voted
VLSID
2008
IEEE
16 years 3 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...
213
Voted
POPL
2004
ACM
16 years 2 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 ...
108
Voted
CADE
2008
Springer
16 years 2 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...