6293 search results - page 29 / 1259 » Information Flow Testing |
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 7 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...
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...
ICNP
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper introduces a scalable maxmin flow control protocol which guarantees the minimum rate for each connection-oriented flow without requiring per-flow information. The proto...
MICCAI
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. Obtaining high quality patient-specific flow velocity information is not an easy task. Available clinical data are usually poorly resolved and contain a significant amoun...