264 search results - page 1 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
COLCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
ECBS
2009
IEEE
13 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
MASCOTS
2004
13 years 6 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
WOSP
2004
ACM
13 years 10 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
ISOLA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...