2441 search results - page 151 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
ESEC
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
101
click to vote
ISSTA
2012
ACM
13 years 1 months ago
2012
ACM
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...
106
click to vote
WCRE
2008
IEEE
15 years 5 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
KDD
2007
ACM
15 years 11 months ago
2007
ACM
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...