Results 11 to 20 of about 4,616 (278)
Analysis of a Multimedia Stream using Stochastic Process Algebra [PDF]
The Computer Journal, 2001 Summary: It is now well recognized that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non functional requirements on the system. In this paper we investigate how stochastic process algebra can be used in order to determine the quality of service ...
Howard Bowman +2 more
core +5 more sources
Stochastic Process Algebra Models of a Circadian Clock [PDF]
, 2006 We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic $pi$-calculus.
Bradley, Jeremy T., Thorne, Thomas
openaire +5 more sources
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language [PDF]
, 2002 The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description ...
Bernardo, Marco +2 more
openaire +3 more sources
A semi-quantitative equivalence for abstracting from fast reactions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algebra developed for biological modelling.
Vashti Galpin +2 more
doaj +1 more source
Flux Analysis in Process Models via Causality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an established correspondence between event structures, a broadly recognised model
Ozan Kahramanoğulları
doaj +1 more source
Stochastic Process Algebras [PDF]
, 2007 In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice.
Clark, Allan +3 more
openaire +2 more sources
Investigating modularity in the analysis of process algebra models of biochemical systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as in many other systems, model construction is made easier in a formalism ...
Federica Ciocchetta +2 more
doaj +1 more source
BlenX-based compositional modeling of complex reaction mechanisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dynamics and the function of such networks. The complexity of the biological
Judit Zámborszky, Corrado Priami
doaj +1 more source
HYPE with stochastic events [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of ...
Luca Bortolussi +2 more
doaj +1 more source
Implementation of stochastic signal processing algorithms in radar CAD
Российский технологический журнал, 2022 Objectives. In 2020, development work on the creation of a Russian computer-assisted design system for radars (radar CAD) was completed. Radar CAD provides extensive opportunities for creating simulation models for developing the hardware-software ...
M. Yu. Konopel'kin +2 more
doaj +1 more source