524 search results - page 6 / 105 » ProbFAST: Probabilistic Functional Analysis System Tool |
ICICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
AIME
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...
ENGL
2007
13 years 7 months ago
2007
— In this paper, a new method is proposed to evaluate the reliability of stochastic mechanical systems. This technique is based on the combination of the probabilistic transforma...