3951 search results - page 329 / 791 » Automatic amortized analysis |
179
click to vote
ACMSE
2006
ACM
16 years 20 days ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
171
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
229
click to vote
PPOPP
2005
ACM
16 years 7 days ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
142
click to vote
FSMNLP
2005
Springer
16 years 6 days ago
2005
Springer
Compounding is a very productive process in German to form complex nouns and adjectives which represent about 7% of the words of a newspaper text. Unlike English, German compounds ...
152
click to vote
MMMACNS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...