Sciweavers

470 search results - page 19 / 94
» An adaptive probabilistic trust model and its evaluation
Sort
View
IEEEARES
2006
IEEE
14 years 2 months ago
Towards a Stochastic Model for Integrated Security and Dependability Evaluation
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
Karin Sallhammar, Bjarne E. Helvik, Svein J. Knaps...
QEST
2010
IEEE
13 years 6 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
QEST
2007
IEEE
14 years 2 months ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
TOG
2012
255views Communications» more  TOG 2012»
11 years 11 months ago
A probabilistic model for component-based shape synthesis
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
Evangelos Kalogerakis, Siddhartha Chaudhuri, Daphn...
ICPR
2010
IEEE
13 years 6 months ago
Adaptive Motion Model for Human Tracking Using Particle Filter
This paper presents a novel approach to model the complex motion of human using a probabilistic autoregressive moving average model. The parameters of the model are adaptively tun...
Mohammad Hossein Ghaeminia, Amir Hossein Shabani, ...