488 search results - page 58 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
100
Voted
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
CSFW
2005
IEEE
15 years 4 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
111
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
RAS
2010
14 years 9 months ago
2010
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. We describe a novel BDI exe...
KDD
2004
ACM
15 years 11 months ago
2004
ACM
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...