264 search results - page 11 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
TSMC
2008
13 years 10 months ago
2008
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
CDC
2008
IEEE
14 years 5 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...
JCS
2006
13 years 10 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
JSW
2007
13 years 10 months ago
2007
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
DEBS
2010
ACM
14 years 2 months ago
2010
ACM
Publish/subscribe systems are used increasingly often as a communication mechanism in loosely-coupled distributed applications. With their gradual adoption in mission critical are...