5188 search results - page 81 / 1038 » Information Flow in Interactive Systems |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
116
click to vote
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
107
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
Query length in best-match information retrieval (IR) systems is well known to be positively related to effectiveness in the IR task, when measured in experimental, non-interactiv...