10289 search results - page 1862 / 2058 » Standard bases in K |
156
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe preliminary work that examines whether statistical properties of the structure of websites can be an informative measure of their quality. We aim to deve...
178
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
For most Web-based applications, contents are created dynamically based on the current state of a business, such as product prices and inventory, stored in database systems. These...
296
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...
301
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
294
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...