6014 search results - page 941 / 1203 » Structural Testing with Use Cases |
161
Voted
ISSTA
2010
ACM
15 years 8 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...
133
click to vote
EVOW
2006
Springer
15 years 8 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...
127
click to vote
WCE
2007
15 years 5 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...
143
click to vote
BMCBI
2008
15 years 4 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,...
161
click to vote
CORR
2008
Springer
15 years 4 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...