19003 search results - page 209 / 3801 » We Need Assurance! |
ICFP
2010
ACM
13 years 12 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
JUCS
2008
13 years 10 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
The advent of general purpose graphics processing units (GPGPU's) brings about a whole new platform for running numerically intensive applications at high speeds. Their multi-...
PROMISE
2010
13 years 5 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
AP2PC
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In this paper, we propose a Bayesian network-based trust model in peerto-peer networks. Since trust is multi-faceted, even in the same context, peers still need to develo...