7796 search results - page 1274 / 1560 » On Generalized Schur Numbers |
116
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
113
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
175
click to vote
ICDT
2009
ACM
15 years 11 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
WWW
2009
ACM
15 years 11 months ago
2009
ACM
Given a terabyte click log, can we build an efficient and effective click model? It is commonly believed that web search click logs are a gold mine for search business, because th...