817 search results - page 40 / 164 » Malware behaviour analysis |
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
116
click to vote
MABS
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the question to what extent a process involving multiple agents that shows some form of collective intelligence can be interpreted as a single agent. The quest...
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
JSS
2002
14 years 11 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
AIME
2003
Springer
15 years 5 months ago
2003
Springer
Health promotion is a complex activity that requires both explanation and persuasion skills. This paper proposes a three-layered model of dialogue coding, based on a rhetorical arg...