Search Sciweavers | Sciweavers

1403 search results - page 34 / 281

» Quantitative Interprocedural Analysis

click to vote

ENTCS
2006

100views more ENTCS 2006»

Quantitative Analysis With the Probabilistic Model Checker PRISM

14 years 11 months ago

Download www.prismmodelchecker.org

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

click to vote

ENTCS
2006

89views more ENTCS 2006»

Towards a Quantitative Analysis of Security Protocols

14 years 11 months ago

Download www.math.ist.utl.pt

Pedro Adão, Paulo Mateus, Tiago Reis, Luca ...

claim paper

Read More »

Voted

JASIS
2006

91views more JASIS 2006»

Written versus spoken queries: A qualitative and quantitative comparative analysis

14 years 11 months ago

Download doc.rero.ch

This paper reports on an experimental study on the differences between spoken and written queries. A set of written and spontaneous spoken queries are generated by users from writ...

Fabio Crestani, Heather Du

claim paper

Read More »

Voted

RE
2006
Springer

81views Software Engineering» more RE 2006»

Fusing Quantitative Requirements Analysis with Model-based Systems Engineering

14 years 11 months ago

Download crisys.cs.umn.edu

Steven L. Cornford, Martin S. Feather, Vance A. He...

claim paper

Read More »

Voted

ARTMED
2004

78views more ARTMED 2004»

A quantitative comparison of functional MRI cluster analysis

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers