6978 search results - page 396 / 1396 » On Proofs in System P |
187
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
170
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We study the k-wise independent relaxation of the usual model G(N, p) of random graphs where, as in this model, N labeled vertices are fixed and each edge is drawn with probabili...
185
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
138
click to vote
ECIS
2001
15 years 8 months ago
2001
Based on the analysis of four case vignettes the architecture and design principles of international information systems are explored. A two-dimensional topology