Sciweavers

1527 search results - page 14 / 306
» Demographic information flows
Sort
View
INFORMS
2007
50views more  INFORMS 2007»
13 years 7 months ago
Solving the Bi-Objective Maximum-Flow Network-Interdiction Problem
Johannes O. Royset, R. Kevin Wood
APVIS
2006
13 years 8 months ago
FindFlow: visual interface for information search based on intermediate results
FindFlow is a search interface that enables users to construct queries visually on the screen. Because the constructed queries show the process of the search, the user can take a ...
Tomoyuki Hansaki, Buntarou Shizuki, Kazuo Misue, J...
ACTA
2005
92views more  ACTA 2005»
13 years 7 months ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
DAC
2010
ACM
13 years 11 months ago
Theoretical analysis of gate level information flow tracking
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Tim...
CSFW
2007
IEEE
13 years 11 months ago
Secure information flow and program logics
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
Lennart Beringer, Martin Hofmann