466 search results - page 4 / 94 » Markovian Models for Performance and Dependability Evaluatio... |
PERVASIVE
2011
Springer
12 years 10 months ago
2011
Springer
As location-sensing smart phones and location-based services gain mainstream popularity, there is increased interest in developing techniques that can detect anomalous activities. ...
PE
2010
Springer
13 years 5 months ago
2010
Springer
We present the KPC-Toolbox, a library of MATLAB scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way based on the recently proposed Kro...
PDP
1996
IEEE
13 years 11 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We consider a general modelling strategy to handle in a unified way a number of tasks essential to MR brain scan analysis. Our approach is based on the explicit definitio...
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...