430 search results - page 4 / 86 » Statistical Certification of Software Systems |
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
CC
2010
Springer
13 years 4 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
AGENTS
1998
Springer
13 years 11 months ago
1998
Springer
Certificate management infrastructure, a.k.a. PKI (Public Key Infrastructure), which issues and provides access to public key certificates to preserve the integrity of a public ke...
SBACPAD
2004
IEEE
13 years 8 months ago
2004
IEEE
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem o...
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...