Sciweavers

1954 search results - page 209 / 391
» A requirements analysis for videogame design support tools
Sort
View
BMCBI
2007
88views more  BMCBI 2007»
13 years 9 months ago
Use of DNA melting simulation software for in silico diagnostic assay design: targeting regions with complex melting curves and
Background: DNA melting curve analysis using double-stranded DNA-specific dyes such as SYTO9 produce complex and reproducible melting profiles, resulting in the detection of multi...
John P. Rasmussen, Christopher P. Saint, Paul T. M...
RE
2010
Springer
13 years 7 months ago
Assessing traceability of software engineering artifacts
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
Senthil Karthikeyan Sundaram, Jane Huffman Hayes, ...
ICIAP
1999
ACM
14 years 1 months ago
SAR Image Processing Using Artificial Intelligence Planning
—In recent times, improvements in imaging technology have made available an incredible array of information in image format. While powerful and sophisticated image processing sof...
Forest Fisher, Steve A. Chien, Edisanter Lo, Ronal...
ASAP
2004
IEEE
124views Hardware» more  ASAP 2004»
14 years 1 months ago
Biosequence Similarity Search on the Mercury System
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
Praveen Krishnamurthy, Jeremy Buhler, Roger D. Cha...
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 1 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...