1215 search results - page 121 / 243 » Testing in the Distributed Test Architecture: An Extended Ab... |
CAV
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
ADBIS
2004
Springer
14 years 20 days ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
CMSB
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
CEC
2003
IEEE
14 years 17 days ago
2003
IEEE
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract--For two decades, feature diagrams have been intensively studied as a means to specify variability and pilot configuration in software product line engineering. Surprising...