3527 search results - page 231 / 706 » Test Automation in Practice |
141
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: There are currently a number of competing techniques for low-level processing of oligonucleotide array data. The choice of technique has a profound effect on subsequen...
267
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
173
click to vote
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
131
click to vote
ACSD
2001
IEEE
15 years 9 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
165
click to vote
JAR
2008
15 years 5 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...