692 search results - page 97 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
114
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
The social sciences strive to understand the political, social, and cultural world around us, but have been impaired by limited access to the quantitative data sources enjoyed by ...
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
RAID
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Rogue antivirus software has recently received extensive attention, justified by the diffusion and efficacy of its propagation. We present a longitudinal analysis of th...
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
Newsgroup participants interact with their communities through conversation threads. They may respond to a message to answer a question, debate a topic, support or disagree with a...