327 search results - page 61 / 66 » Model Checking and Evidence Exploration |
BMCBI
2007
13 years 10 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
SDM
2008
SIAM
13 years 11 months ago
2008
SIAM
Sample selection bias is a common problem in many real world applications, where training data are obtained under realistic constraints that make them follow a different distribut...
CCR
2010
13 years 10 months ago
2010
As data centers become more and more central in Internet communications, both research and operations communities have begun to explore how to better design and manage them. In th...