817 search results - page 88 / 164 » Malware behaviour analysis |
EICS
2009
ACM
15 years 6 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
ACSC
2008
IEEE
15 years 6 months ago
2008
IEEE
The movement of items through a product distribution network is a complex dynamic process which depends not only on the network’s static topology but also on a knowledge of how ...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
In large-scale distributed systems, asynchronous communication and future objects are becoming wide spread mechanisms to tolerate high latencies and to improve global performances...
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
105
click to vote
CEEMAS
2003
Springer
15 years 5 months ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the diï¬...