6527 search results - page 36 / 1306 » On Typing Information Flow |
SIGIR
2006
ACM
15 years 4 months ago
2006
ACM
We propose that the information access behavior of a group of people can be modeled as an information flow issue, in which people intentionally or unintentionally influence and in...
97
Voted
LANMR
2004
14 years 11 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
163
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
ERSHOV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
87
Voted
TSP
2010
14 years 4 months ago
2010
The problem of detecting multi-hop information flows subject to communication constraints is considered. In a distributed detection scheme, eavesdroppers are deployed near nodes in...