748 search results - page 12 / 150 » Time and Probability in Process Algebra |
IWIA
2005
IEEE
14 years 29 days ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
ACSD
2008
IEEE
13 years 9 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...
TSP
2008
13 years 6 months ago
2008
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
DMSN
2005
ACM
13 years 9 months ago
2005
ACM
In this paper, we introduce a rotating interrogation technique for sensor networks called Whirlpool. Whirlpool provides opportunities to optimize data delivery in time-critical mo...
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...