4307 search results - page 60 / 862 » Dynamic Spyware Analysis |
ESANN
2006
13 years 9 months ago
2006
Abstract. The paper presents an algorithm for identifying the independent subspace analysis model based on source dynamics. We propose to separate subspaces by decoupling their dyn...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
ICCCI
2011
Springer
12 years 7 months ago
2011
Springer
This paper presents an exploration of the differences between agent-based and population-based models for trust dynamics. This exploration is based on both a large variety of simu...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—We present a comparative analysis of the behavioral dynamics of rural and urban societies using four years
WCET
2007
13 years 8 months ago
2007
Tracing the flow of control in code generated from switchcase statements is difficult for static program analysis tools when the code contains ...