306 search results - page 2 / 62 » Modeling Botnet Propagation Using Time Zones |
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
PAM
2010
Springer
13 years 6 months ago
2010
Springer
We estimate the number of active machines per hour infected with the Conficker-C worm, using a probability model of Conficker-C's UDP P2P scanning behavior. For an observer wi...
EPEW
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...
PTS
2008
13 years 6 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
FSEN
2007
Springer
13 years 11 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...