817 search results - page 64 / 164 » Malware behaviour analysis |
105
click to vote
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
114
click to vote
CSMR
2009
IEEE
15 years 4 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
105
click to vote
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
101
click to vote
ENTCS
2006
14 years 12 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...