Sciweavers

6187 search results - page 313 / 1238
» Practical Software Measurement
Sort
View
BMCBI
2010
142views more  BMCBI 2010»
15 years 5 months ago
pplacer: linear time maximum-likelihood and Bayesian phylogenetic placement of sequences onto a fixed reference tree
Background: Likelihood-based phylogenetic inference is generally considered to be the most reliable classification method for unknown sequences. However, traditional likelihood-ba...
Frederick A. Matsen III, Robin B. Kodner, E. Virgi...
BMCBI
2006
131views more  BMCBI 2006»
15 years 4 months ago
The statistics of identifying differentially expressed genes in Expresso and TM4: a comparison
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
Allan A. Sioson, Shrinivasrao P. Mane, Pinghua Li,...
ICFEM
2004
Springer
15 years 10 months ago
Formal Proof from UML Models
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
Nuno Amálio, Susan Stepney, Fiona Polack
ISSRE
2003
IEEE
15 years 10 months ago
Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems
-- This paper presents three principles for alarm analysis to develop early warnings of failure. The concepts are illustrated with real data and experience drawn from Comverse Voic...
Dorron Levy, Ram Chillarege
IFIP
1992
Springer
15 years 9 months ago
Structuring the Space of Interactive System Properties
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
Gregory D. Abowd, Joëlle Coutaz, Laurence Nig...