1541 search results - page 210 / 309 » Tools and Techniques for Model Checking Networked Programs |
136
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
253
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
134
click to vote
ISW
2007
Springer
15 years 10 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
143
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Network lifetime is a critical issue in Wireless Sensor Networks. It is possible to extend network lifetime by organizing the sensors into a number of sensor covers. However, wi...
120
click to vote
COR
2007
15 years 4 months ago
2007
This work is concerned with the efficient design of a reverse logistics network using an extended version of models currently found in the literature. Those traditional, basic mo...