3108 search results - page 59 / 622 » The Elements of Computer Credibility |
CIA
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
CIE
2010
Springer
14 years 8 months ago
2010
Springer
We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor-Bendixson rank one contain only eventually periodic elements. Any ...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Presented here is a computational system which uses free−space optical interconnect (FSOI) communication between processing elements to perform distributed calculations. Technolo...
IMCSIT
2010
14 years 4 months ago
2010
A key element for outsourcing critical parts of a business process in Service Oriented Architectures are Service Level Agreements (SLAs). They build the key element to move from so...
SIAMNUM
2011
14 years 4 months ago
2011
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...