17789 search results - page 3348 / 3558 » Exceptional Use Cases |
120
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
134
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
228
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
The inclusion of Regular Expressions (REs) is the kernel of any type-checking algorithm for XML manipulation languages. XML applications would benefit from the extension of REs wi...
147
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Web archives preserve the history of Web sites and have high long-term value for media and business analysts. Such archives are maintained by periodically re-crawling entire Web s...
134
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...