946 search results - page 24 / 190 » Process Algebra and Non-Interference |
119
Voted
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
128
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
130
click to vote
JCSS
2008
15 years 2 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
122
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
In [1], we presented the algebraic signal processing theory, an axiomatic and general framework for linear signal processing. The basic concept in this theory is the signal model d...
95
Voted
ICCSA
2005
Springer
15 years 8 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...