Sciweavers

1611 search results - page 3 / 323
» Stochastic Analysis of Dynamic Processes
Sort
View
136
Voted
IPPS
2006
IEEE
15 years 9 months ago
Performance analysis of stochastic process algebra models using stochastic simulation
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
140
Voted
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 1 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
148
Voted
SIAMCO
2008
113views more  SIAMCO 2008»
15 years 3 months ago
Singularly Perturbed Piecewise Deterministic Games
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
Alain Haurie, Francesco Moresino
124
Voted
TSD
2000
Springer
15 years 7 months ago
Extending Bidirectional Chart Parsing with a Stochastic Model
A method for stochastically modeling bidirectionality in chart parsing is presented. A bidirectional parser, which starts analysis from certain dynamically determined positions of ...
Alicia Ageno, Horacio Rodríguez
CMSB
2008
Springer
15 years 5 months ago
Integrated Analysis from Abstract Stochastic Process Algebra Models
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
Jane Hillston, Federica Ciocchetta, Adam Duguid, S...