195 search results - page 32 / 39 » Process Algebra with Nonstandard Timing |
IWIA
2005
IEEE
15 years 3 months 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...
SAC
2003
ACM
15 years 2 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
DEBS
2007
ACM
15 years 1 months ago
2007
ACM
Queries for composite events typically involve the four complementary dimensions of event data, event composition, relationships between events (esp. temporal and causal), and acc...
72
Voted
NIPS
2000
14 years 10 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
87
Voted
ENTCS
2006
14 years 9 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...