Results 31 to 40 of about 11,242,864 (292)
Journal of Computer and System Sciences, 1987 The paper aims at developing a concept of distributed processes and operations which cover existing approaches, possibly avoiding their shortcomings. The concept of process is similar to that proposed by Brock and Ackerman and Staples and Nguyen. A process is characterized by the set of scenarios it can realize.
Józef Winkowski +1 more
openaire +3 more sources
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA [PDF]
, 2006 This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11].
Calder, M. +8 more
core +1 more source
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour
IEEE Access, 2019 Distributive real-time autonomous systems like cyber-physical systems (CPS) and biology systems have become a hot topic nowadays. The high-level design of these systems shares a common characteristic that the behavior of agents is always space-related: i.
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
doaj +1 more source
, 1999 The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the verification system PVS. One approach declares process terms as an uninterpreted type and specifies equality on terms by axioms.
Basten, T., Hooman, J.J.M.
openaire +3 more sources
Linear Algebra and Smarandache Linear Algebra [PDF]
, 2003 The present book, on Smarandache linear algebra, not only studies the Smarandache analogues of linear algebra and its applications, it also aims to bridge the need for new research topics pertaining to linear algebra, purely in the algebraic sense.
Vasantha, Kandasamy
core +1 more source
DMA:an algebra for multicriteria spatial modeling [PDF]
, 2006 The objective of this paper is to propose a new algebra, called decision map algebra (DMA), especially devoted to multicriteria spatial modeling. DMA is a generic and context-independent modeling language inspired from map algebra and other similar ...
Chakhar, Salem, Mousseau, Vincent
core +1 more source
A Partial-differential Approximation for Spatial Stochastic Process Algebra [PDF]
EAI Endorsed Transactions on Internet of Things, 2015 We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other ...
Max Tschaikowski, Mirco Tribastone
doaj +1 more source
Integrated Information in Process-Algebraic Compositions
Entropy, 2019 Integrated Information Theory (IIT) is most typically applied to Boolean Nets, a state transition model in which system parts cooperate by sharing state variables.
Tommaso Bolognesi
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe three classical process algebra CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operators, but also to the terminology and “way of thinking” of the community which has been (and still is) working with them.
Baeten, J.C.M. +3 more
openaire +3 more sources
Risk Measurement Method for Privilege Escalation Attacks on Android Apps Based on Process Algebra
Information, 2020 On the Android platform, information leakage can use an application-layer privilege escalation attack composed of multi-app collusion. However, the detection effect of a single app that can construct privilege escalation attacks is not good. Furthermore,
Limin Shen +5 more
doaj +1 more source