6014 search results - page 941 / 1203 » Structural Testing with Use Cases |
210
click to vote
ISSTA
2010
ACM
15 years 11 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
195
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we introduce a novel objective function for the hierarchical clustering of data from distance matrices, a very relevant task in Bioinformatics. To test the robustnes...
188
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper presents one of the outcomes of a research project concerned with the development of a method for synthesizing, under controlled conditions in the laboratory, the ran...
212
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: In DNA microarray gene expression profiling studies, a fundamental task is to extract statistically significant genes that meet certain research hypothesis. Currently,...
208
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...