Sciweavers

241 search results - page 13 / 49
» The Effectiveness of Flow Analysis for Inlining
Sort
View
96
Voted
APVIS
2010
14 years 11 months ago
A sketch-based interface for classifying and visualizing vector fields
In flow visualization, field lines are often used to convey both global and local structure and movement of the flow. One challenge is to find and classify the representative fiel...
Jishang Wei, Chaoli Wang, Hongfeng Yu, Kwan-Liu Ma
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
14 years 7 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer
101
Voted
ACSAC
2007
IEEE
15 years 3 months ago
Improving Signature Testing through Dynamic Data Flow Analysis
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
Christopher Kruegel, Davide Balzarotti, William K....
CGF
2008
81views more  CGF 2008»
14 years 9 months ago
Lagrangian Visualization of Flow-Embedded Surface Structures
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
Christoph Garth, Alexander Wiebel, Xavier Tricoche...
ERSHOV
2009
Springer
14 years 7 months ago
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
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...
Andrei Sabelfeld, Alejandro Russo