5843 search results - page 1116 / 1169 » Software Security in Practice |
VMCAI
2012
Springer
12 years 4 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
PAMI
2012
11 years 11 months ago
2012
— Context is critical for reducing the uncertainty in object detection. However, context modelling is challenging because there are often many different types of contextual infor...
CCS
2006
ACM
14 years 21 days ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
NETGAMES
2006
ACM
14 years 2 months ago
2006
ACM
In recent years, MMORPG has become popular. In order to improve scalability of game system, several P2P-based architectures have been proposed. However, in P2P-based gaming archit...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Email spam is a much studied topic, but even though current email spam detecting software has been gaining a competitive edge against text based email spam, new advances in spam g...