2502 search results - page 305 / 501 » Using probabilistic model checking in systems biology |
223
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
277
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
We propose to demonstrate Fa, an automated tool for timely and accurate prediction of Service-Level-Agreement (SLA) violations caused by performance problems in database systems. ...
176
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Systematic, high-throughput studies of mouse phenotypes have been hampered by the inability to analyze individual animal data from a multitude of sources in an integra...
176
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
168
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate the biologically inspired features (BIF) for human age estimation from faces. As in previous bioinspired models, a pyramid of Gabor filters are used at all positio...