7167 search results - page 155 / 1434 » A Technique for Invariant Generation |
175
Voted
SIAMNUM
2010
15 years 1 months ago
2010
Two algorithms based upon a tree-cotree decomposition, called in this paper spanning tree technique (STT) and generalized spanning tree technique (GSTT), have been shown to be usef...
185
Voted
KDD
2004
ACM
16 years 7 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...
275
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
219
click to vote
NDSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The custom, ad hoc nature of web applications makes learning-based anomaly detection systems a suitable approach to provide early warning about the exploitation of novel vulnerabi...
203
click to vote
ICSM
2005
IEEE
16 years 20 days ago
2005
IEEE
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...