11051 search results - page 2024 / 2211 » An Investigation of Generalized Cases |
217
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...
203
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
187
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
221
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
226
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...