Sciweavers

4307 search results - page 100 / 862
» Dynamic Spyware Analysis
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 2 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
DAGM
1999
Springer
14 years 1 months ago
A Total Least Squares Framework for Low-Level Analysis of Dynamic Scenes and Processes
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...
Horst W. Haussecker, Christoph S. Garbe, Hagen Spi...
CVGIP
2006
96views more  CVGIP 2006»
13 years 9 months ago
Video motion analysis for the synthesis of dynamic cues and Futurist art
This paper presents new methods for stylising video to produce cartoon motion emphasis cues and modern art. Specifically, we introduce "dynamic cues" as a class of motio...
John P. Collomosse, Peter M. Hall
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 9 months ago
Finite Volume Analysis of Nonlinear Thermo-mechanical Dynamics of Shape Memory Alloys
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
Linxiang X. Wang, Roderick V. N. Melnik
ICS
1993
Tsinghua U.
14 years 1 months ago
Static and Dynamic Evaluation of Data Dependence Analysis
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
Paul Petersen, David A. Padua