4307 search results - page 304 / 862 » Dynamic Spyware Analysis |
159
click to vote
VISSOFT
2002
IEEE
15 years 8 months ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
132
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
109
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis depend...
104
click to vote
IPL
2007
15 years 3 months ago
2007
The MIN algorithm is an offline strategy for deciding which item to replace when writing a new item to a cache. Its optimality was first established by Mattson, Gecsei, Slutz, a...
123
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...