1548 search results - page 148 / 310 » Estimating Software Vulnerabilities |
95
Voted
BMCBI
2005
14 years 11 months ago
2005
Background: Quantitative knowledge of intracellular fluxes is important for a comprehensive characterization of metabolic networks and their functional operation. In contrast to d...
127
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
84
Voted
ASM
2000
ASM
15 years 4 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
BMCBI
2008
14 years 11 months ago
2008
Background: Advances in automated DNA sequencing technology have accelerated the generation of metagenomic DNA sequences, especially environmental ribosomal RNA gene (rDNA) sequen...
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...