2935 search results - page 115 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
131
Voted
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
Data management and analysis has become an integral component in the area of reservoir engineering. An important metric that determines the overall effectiveness of data analysis i...
125
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
Identifying protein secondary structures is a difficult task. Recently, a lot of software tools for protein secondary structures prediction have been produced and made available ...
143
click to vote
MEDINFO
2007
15 years 6 months ago
2007
Entrez Gene (EG), Online Mendelian Inheritance in Man (OMIM) and the Gene Ontology (GO) are three complementary knowledge resources that can be used to correlate genomic data with...
129
click to vote
INFSOF
2000
15 years 4 months ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...