3742 search results - page 562 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Cluster analysis is an integral part of high dimensional data analysis. In the context of large scale gene expression data, a filtered set of genes are grouped togethe...
169
click to vote
CCE
2005
15 years 6 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
180
click to vote
MIAR
2010
IEEE
15 years 4 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
202
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
211
click to vote
INFSOF
2010
15 years 3 months ago
2010
Context. Strategic release planning (sometimes referred to as road-mapping) is an important phase of the requirements engineering process performed at product level. It is concern...