6812 search results - page 28 / 1363 » Detection of Information Flows |
102
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
ENTCS
2008
14 years 9 months ago
2008
The ability to enforce usage policies attached to data in a fine grained manner requires that the system be able to trace and control the flow of information within it. This paper...
BILDMED
2009
14 years 11 months ago
2009
We present an approach based on self organizing maps to segment renal arteries from 2D PC Cine MR images to measure blood velocity and flow. Such information are important in gradi...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Learning typical motion patterns or activities from videos of crowded scenes is an important visual surveillance problem. To detect typical motion patterns in crowded scenarios, w...
USS
2008
15 years 3 days ago
2008
We analyze several recent schemes for watermarking network flows based on splitting the flow into intervals. We show that this approach creates time dependent correlations that en...