Results 141 to 150 of about 11,828,886 (169)
Some of the next articles are maybe not open access.
Numerically Representing Stochastic Process Algebra Models
The Computer Journal, 2012Stochastic process algebras combine a high-level system description in terms of interacting components, with a rigorous low-level mathematical model in terms of a stochastic process. These have proved to be valuable modelling formalisms, particularly in the areas of performance modelling and systems biology.
Jie Ding, Jane Hillston
openaire +1 more source
Stochastically Timed Process Algebra
2009Timing aspects of concurrent and distributed systems can be expressed not only deterministically, but also probabilistically, which is particularly appropriate for shared-resource systems. When these aspects are modeled by using only exponentially distributed random variables, the stochastic process governing the system evolution over time turns out to
Alessandro Aldini +2 more
openaire +1 more source
Stochastic Petri net semantics for stochastic process algebras
Proceedings 6th International Workshop on Petri Nets and Performance Models, 2002We define a stochastic Petri net (SPN) semantics for stochastic process algebras (SPAs), a recently introduced formalism that offers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: concurrency and retrievability, as defined by Olderog (1987, 1991) for untimed net semantics, and Markov ...
openaire +2 more sources
Visual representation of stochastic process algebra models
Proceedings of the 2nd international workshop on Software and performance, 2000ABSTRACT Performance models are of increasing interest to professionals whodo not have a background in mathematical analysis, it is importantto provide additional mechanisms by developers may improve theirconfidence in the models they evaluate accurately reflect thesystems they are studying.
Nigel Thomas +3 more
openaire +1 more source
Structural Analysis for Stochastic Process Algebra Models
2011Stochastic process algebra models have been successfully used in the area of performance modelling for the last twenty years, and more recently have been adopted for modelling biochemical processes in systems biology. Most research on these modelling formalisms has been on quantitative analysis, particularly the derivation of quantified dynamic ...
Jie Ding, Jane Hillston
openaire +2 more sources
Mapping Coloured Stochastic Petrinets to stochastic process algebras
, 2003 BRODO, Linda +3 more
openaire +2 more sources
Exploiting Symmetries in Stochastic Process Algebras.
1998Stochastic 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 +2 more sources
Stochastic Process Algebra Based Software Process Simulation Modeling
2009In recent years, simulation techniques that have been widely used in many other disciplines are being increasingly used in analyzing software processes. However, researchers from software process simulation community tend to build a separate new model with various technologies from traditional software models.
Jian Zhai +5 more
openaire +2 more sources
Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra
2014Time Parallel Simulation (TPS) is the construction of the time-slices of a sample-path on a set of parallel processors (see [11] chap. 6 and references therein). TPS has a potential to massive parallelism as the number of logical processes is only limited by the number of time intervals which is a direct consequence of the time granularity and the ...
Thu-Ha Dao-Thi +2 more
openaire +1 more source
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras
2010We 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