Results 131 to 140 of about 276,000 (165)

Exploiting Symmetries in Stochastic Process Algebras.

1998
Stochastic Process Algebras have been introduced to enable compositional performance analysis of parallel and distributed systems. As with other high level modelling formalisms, state space explosion is a frequently observed problem, especially if the system consists of many cooperating components.
H. Hermanns, RIBAUDO, MARINA
openaire   +1 more source

Algebra of Generalized Stochastic Processes and the Stochastic Dirichlet Problem

Stochastic Analysis and Applications, 2008
Abstract Following the embedding idea of generalized functions into the Colombeau algebra of generalized functions, we construct a new algebra of generalized stochastic processes and denote it (W 2,2;(S)−1). This is done by using the chaos expansion form of generalized stochastic processes regarded as linear continuous mappings from the Sobolev space ...
openaire   +1 more source

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, 2020
Amin Soltanieh, Markus Siegle
semanticscholar   +1 more source

A Process Algebra for (Delimited) Persistent Stochastic Non-Interference

2019
In this paper, we consider the information flow security properties named Persistent Stochastic Non-Interference (PSNI) and Delimited Persistent Stochastic Non-Interference (D_PSNI) for stochastic cooperating processes described as terms of the Performance Evaluation Process Algebra (PEPA).
Marin A., Piazza C., Rossi S.
openaire   +2 more sources

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

2001
In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any
Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort   +2 more
openaire   +1 more source

Towards Robust Resource Allocations via Performance Modeling with Stochastic Process Algebra

IEEE International Conference on Computational Science and Engineering, 2015
Srishti Srivastava, I. Banicescu
semanticscholar   +1 more source

Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras

2010
We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of ...
openaire   +2 more sources

Symbolic semantics and verification of stochastic process algebras.

2006
Im Bereich der Leistungs- und Zuverlässigkeitsanalyse haben sich abstrakte Spezifikationssprachen wie stochastische Prozessalgebren (SPA) oder verallgemeinerte stochastische Petrinetze (engl. generalised stochastic Petri nets, GSPN) als sehr hilfreich erwiesen.
openaire   +3 more sources

Performance evaluation of dynamic resource allocation in cloud computing platforms using Stochastic Process Algebra

International Conference on Communication and Electronics Systems, 2013
D. Shawky
semanticscholar   +1 more source

Higher Moment Analysis of a Spatial Stochastic Process Algebra

European Performance Engineering Workshop, 2011
Marcel C. Guenther, J. Bradley
semanticscholar   +1 more source