5326 search results - page 175 / 1066 » On what we can ensure |
184
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
178
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
168
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
The paper is devoted to fault diagnosis problems using fuzzy decision making. We investigate dynamic diagnostic systems which can be represented by symptom-fault rule bases. The m...
182
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
The main results of this work are new public-key encryption schemes that, under the quadratic residuosity (QR) assumption (or Paillier's decisional composite residuosity (DCR...
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. Thi...