Sciweavers

4307 search results - page 39 / 862
» Dynamic Spyware Analysis
Sort
View
COMPSAC
2009
IEEE
14 years 2 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
DATAMINE
2008
95views more  DATAMINE 2008»
13 years 6 months ago
A dynamic bibliometric model for identifying online communities
Predictive modelling of online dynamic user-interaction recordings and community identifi cation from such data b ecomes more and more imp ortant w ith th e w idesp read use of on...
Xin Wang, Ata Kabán
IEPOL
2000
74views more  IEPOL 2000»
13 years 7 months ago
Forecasting the success of telecommunication services in the presence of network effects
Historical examples (ISDN, Teletex, telefax, telex) show us that forecasting efforts in the telecommunication sector can go awry
Detlef Schoder
INFOCOM
2011
IEEE
12 years 11 months ago
A dynamic game solution to malware attack
—Given the flexibility that software-based operation provides, it is unreasonable to expect that new malware will demonstrate a fixed behavior over time. Instead, malware can d...
M. H. R. Khouzani, Saswati Sarkar, Eitan Altman