430 search results - page 11 / 86 » Statistical Certification of Software Systems |
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
QSIC
2007
IEEE
14 years 1 months ago
2007
IEEE
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
IJCCBS
2010
13 years 5 months ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
BMCBI
2006
13 years 7 months ago
2006
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...