817 search results - page 144 / 164 » Malware behaviour analysis |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
114
click to vote
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
This paper summarizes the task design for iCLEF 2006 (the CLEF interactive track). Compared to previous years, we have proposed a radically new task: searching images in a natural...
APLAS
2003
ACM
15 years 3 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
92
Voted
COORDINATION
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...