Sciweavers

852 search results - page 5 / 171

» entcs 2010

38

ENTCS
2006

100views more ENTCS 2006»

Adding Recursion to Dpi: (Extended Abstract)

14 years 10 months ago

Adding Recursion to Dpi: (Extended Abstract)

Download www.scss.tcd.ie

Samuel Hym, Matthew Hennessy

claim paper

Read More »

50

ENTCS
2006

123views more ENTCS 2006»

Foundations for Designing Secure Architectures

14 years 10 months ago

Foundations for Designing Secure Architectures

Download www4.in.tum.de

Jan Jürjens

claim paper

Read More »

48

ENTCS
2006

121views more ENTCS 2006»

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism

14 years 10 months ago

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism

Download www.mathematik.tu-darmstadt.de

Klaus Keimel

claim paper

Read More »

38

ENTCS
2006

100views more ENTCS 2006»

Quantitative Analysis With the Probabilistic Model Checker PRISM

14 years 10 months ago

Quantitative Analysis With the Probabilistic Model Checker PRISM

Download www.prismmodelchecker.org

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

45

ENTCS
2006

122views more ENTCS 2006»

Algorithmic Algebraic Model Checking III: Approximate Methods

14 years 10 months ago

Algorithmic Algebraic Model Checking III: Approximate Methods

Download cs.nyu.edu

Venkatesh Mysore, Bud Mishra

claim paper

Read More »

« Prev « First page 5 / 171 Last » Next »