Search Sciweavers | Sciweavers

2610 search results - page 63 / 522

» Computational Probabilistic Non-interference

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

14 years 3 months ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

click to vote

JSSPP
2007
Springer

118views Distributed And Parallel Com...» more JSSPP 2007»

Probabilistic Backfilling

14 years 3 months ago

Download www.cs.huji.ac.il

Avi Nissimov, Dror G. Feitelson

claim paper

Read More »

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

14 years 2 months ago

Download www.fi.muni.cz

Javier Esparza, Antonín Kucera, Richard May...

claim paper

Read More »

click to vote

CONCUR
2005
Springer

108views Distributed And Parallel Com...» more CONCUR 2005»

Probabilistic Anonymity

14 years 2 months ago

Download i.stanford.edu

Mohit Bhargava, Catuscia Palamidessi

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers