4962 search results - page 297 / 993 » Stochastic Model Checking |
145
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
133
Voted
MOBIS
2008
15 years 4 months ago
2008
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
220
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
169
click to vote
ICLA
2011
Springer
14 years 6 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
111
click to vote
ECCV
1994
Springer
16 years 5 months ago
1994
Springer
We analyse a class of tandem fields invariant by stochastic synchronous updating of all sites, subject to a generaJlzed reversibility assumption. We give a formal definition and pr...