7536 search results - page 396 / 1508 » Localized Components Analysis |
171
click to vote
IJSN
2008
15 years 6 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
167
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
157
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
161
click to vote
JCC
2006
15 years 6 months ago
2006
: A computer program has been developed to aid the analysis of molecular dynamics trajectories. The program is tuned for macromolecular large-scale problems and supports features s...
177
click to vote
BPSC
2010
15 years 4 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...