4307 search results - page 421 / 862 » Dynamic Spyware Analysis |
132
Voted
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
149
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
121
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
156
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Lyapunov methods and density functions provide dual characterizations of the solutions of a nonlinear dynamic system. This work exploits the idea of combining both techniques, ...
125
click to vote
EDM
2008
15 years 6 months ago
2008
We compare the purposes, inputs, representations, and assumptions of three methods to evaluate the fine-grained interactions of intelligent tutors with their students. One method i...