Sciweavers

    1403 search results - page 34 / 281
    » Quantitative Interprocedural Analysis
    Sort
    View
    67
    Voted
    ENTCS
    2006
    100views more  ENTCS 2006»
    Quantitative Analysis With the Probabilistic Model Checker PRISM
    15 years 3 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 »
    79
    Voted
    ENTCS
    2006
    89views more  ENTCS 2006»
    Towards a Quantitative Analysis of Security Protocols
    15 years 3 months ago
    Towards a Quantitative Analysis of Security Protocols
    Download  www.math.ist.utl.pt
    Pedro Adão, Paulo Mateus, Tiago Reis, Luca ...
    claim paper
    Read More »
    120
    Voted
    JASIS
    2006
    91views more  JASIS 2006»
    Written versus spoken queries: A qualitative and quantitative comparative analysis
    15 years 3 months ago
    Written versus spoken queries: A qualitative and quantitative comparative analysis
    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 »
    90
    Voted
    RE
    2006
    Springer
    81views Software Engineering» more  RE 2006»
    Fusing Quantitative Requirements Analysis with Model-based Systems Engineering
    15 years 3 months ago
    Fusing Quantitative Requirements Analysis with Model-based Systems Engineering
    Download  crisys.cs.umn.edu
    Steven L. Cornford, Martin S. Feather, Vance A. He...
    claim paper
    Read More »
    79
    Voted
    ARTMED
    2004
    78views more  ARTMED 2004»
    A quantitative comparison of functional MRI cluster analysis
    15 years 3 months ago
    A quantitative comparison of functional MRI cluster analysis
    Download  www.ci.tuwien.ac.at
    Evgenia Dimitriadou, Markus Barth, Christian Windi...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.