748 search results - page 72 / 150 » Time and Probability in Process Algebra |
82
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
115
click to vote
SAC
2003
ACM
15 years 5 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...
90
Voted
DEBS
2007
ACM
15 years 4 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...
89
Voted
NIPS
2000
15 years 1 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...
110
Voted
ENTCS
2006
15 years 15 days 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...