5398 search results - page 772 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
187
click to vote
JODL
2008
15 years 6 months ago
2008
DelosDLMS is a prototype of a next-generation Digital Library (DL) management system. It is the result of integrating various specialized DL services provided by partners of the D...
176
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Probing the complex fusion of genetic and environmental interactions, metabolic profiling (or metabolomics/metabonomics), the study of small molecules involved in meta...
207
click to vote
FORMATS
2004
Springer
16 years 6 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
213
click to vote
CAD
2010
Springer
15 years 7 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
225
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...