Sciweavers

1192 search results - page 179 / 239
» Variation-Aware Fault Modeling
Sort
View
ASIACRYPT
2000
Springer
15 years 7 months ago
Round-Efficient Conference Key Agreement Protocols with Provable Security
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
Wen-Guey Tzeng, Zhi-Jia Tzeng
131
Voted
CSCWD
2008
Springer
15 years 5 months ago
A method of task allocation for collaborative diagnosis
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
JianHui Liu, XianSheng Qin
AAAI
1993
15 years 5 months ago
Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
Michel P. Féret, Janice I. Glasgow
ENTCS
2000
70views more  ENTCS 2000»
15 years 3 months ago
A Space Semantics for Core Haskell
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
Adam Bakewell, Colin Runciman
ISCAS
2007
IEEE
106views Hardware» more  ISCAS 2007»
15 years 10 months ago
Ensemble Dependent Matrix Methodology for Probabilistic-Based Fault-tolerant Nanoscale Circuit Design
—Two probabilistic-based models, namely the Ensemble-Dependent Matrix model [1][3] and the Markov Random Field model [2], have been proposed to deal with faults in nanoscale syst...
Huifei Rao, Jie Chen, Changhong Yu, Woon Tiong Ang...