1989 search results - page 396 / 398 » A framework for testing database applications |
118
Voted
CCE
2004
15 years 2 months ago
2004
This work focuses on the basic stochastic decomposition (SD) algorithm of Higle and Sen [J.L. Higle, S. Sen, Stochastic Decomposition, Kluwer Academic Publishers, 1996] for two-st...
113
Voted
CSUR
2000
15 years 2 months ago
2000
to extract information at a level of abstraction that is useful to investigators interested in analyzing application usage or evaluating usability. This survey examines computer-ai...
170
Voted
AMAI
1999
Springer
15 years 2 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
146
click to vote
KBSE
2010
IEEE
15 years 29 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
139
Voted
ICTAI
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...