2167 search results - page 117 / 434 » Stochastic Process Algebras |
158
click to vote
BC
2002
15 years 6 months ago
2002
We consider a spatial neuron model in which the membrane potential satisfies a linear cable equation with an input current which is a dynamical random process of the Ornstein
144
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
179
click to vote
JLP
2006
15 years 6 months ago
2006
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
166
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
166
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...