2935 search results - page 250 / 587 » An Integrated Approach to High Integrity Software Verificati... |
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: There are a number of different methods for generation of trees and algorithms for phylogenetic analysis in the study of bacterial taxonomy. Genotypic information, suc...
165
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Detection of Loss of Heterozygosity (LOH) is one of the most common molecular applications in the study of human diseases, in particular cancer. The technique is commo...
217
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
167
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Active involvement of end users in the development of interactive systems is both highly recommended and highly challenging. This is particularly true in settings where the require...
170
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...