Search Sciweavers | Sciweavers

2610 search results - page 63 / 522

» Computational Probabilistic Non-interference

137

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

16 years 1 months ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

131

click to vote

JSSPP
2007
Springer

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

Probabilistic Backfilling

16 years 20 days 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

16 years 3 days 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

16 years 2 days ago

Download i.stanford.edu

Mohit Bhargava, Catuscia Palamidessi

claim paper

Read More »

158

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers