111 search results - page 13 / 23 » Proactive Detection of Computer Worms Using Model Checking |
ENTCS
2006
13 years 8 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
DIMVA
2008
13 years 10 months ago
2008
Malicious software in form of Internet worms, computer viruses, and Trojan horses poses a major threat to the security of networked systems. The diversity and amount of its variant...
ISMAR
2007
IEEE
14 years 3 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...
SMA
1995
ACM
14 years 8 days ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...