Sciweavers

1548 search results - page 148 / 310
» Estimating Software Vulnerabilities
Sort
View
BMCBI
2005
250views more  BMCBI 2005»
15 years 6 months ago
FiatFlux - a software for metabolic flux analysis from 13C-glucose experiments
Background: Quantitative knowledge of intracellular fluxes is important for a comprehensive characterization of metabolic networks and their functional operation. In contrast to d...
Nicola Zamboni, Eliane Fischer, Uwe Sauer
210
Voted
BMCBI
2008
214views more  BMCBI 2008»
15 years 4 months ago
Enhanced Bayesian modelling in BAPS software for learning genetic structures of populations
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...
Jukka Corander, Pekka Marttinen, Jukka Siré...
139
Voted
ASM
2000
ASM
15 years 10 months ago
Report on a Practical Application of ASMs in Software Design
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...
Egon Börger, Peter Päppinghaus, Joachim ...
178
Voted
BMCBI
2008
125views more  BMCBI 2008»
15 years 6 months ago
XplorSeq: A software environment for integrated management and phylogenetic analysis of metagenomic sequence data
Background: Advances in automated DNA sequencing technology have accelerated the generation of metagenomic DNA sequences, especially environmental ribosomal RNA gene (rDNA) sequen...
Daniel N. Frank
166
Voted
SPIN
2010
Springer
15 years 4 months ago
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
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...
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric