Sciweavers

    4341 search results - page 16 / 869
    » Quantitative Model checking
    Sort
    View
    QEST
    2009
    IEEE
    93views Modeling and Simulation» more  QEST 2009»
    An Introduction to Monte Carlo Methods and Rare Event Simulation
    16 years 20 days ago
    An Introduction to Monte Carlo Methods and Rare Event Simulation
    Download  www.qest.org
    Gerardo Rubino, Bruno Tuffin
    claim paper
    Read More »
    QEST
    2009
    IEEE
    104views Modeling and Simulation» more  QEST 2009»
    Petri Net Analysis Using Decision Diagrams
    16 years 20 days ago
    Petri Net Analysis Using Decision Diagrams
    Download  www.qest.org
    Gianfranco Ciardo
    claim paper
    Read More »
    QEST
    2008
    IEEE
    81views Modeling and Simulation» more  QEST 2008»
    Randomness in Wireless Networks: How to Deal with It
    16 years 10 days ago
    Randomness in Wireless Networks: How to Deal with It
    Download  aep9.imag.fr
    Mérouane Debbah
    claim paper
    Read More »
    QEST
    2006
    IEEE
    80views Modeling and Simulation» more  QEST 2006»
    Lumping Markov Chains with Silent Steps
    15 years 12 months ago
    Lumping Markov Chains with Silent Steps
    Download  www.win.tue.nl
    Jasen Markovski, Nikola Trcka
    claim paper
    Read More »
    QEST
    2006
    IEEE
    71views Modeling and Simulation» more  QEST 2006»
    Long-Range Dependence at the Disk Drive Level
    15 years 12 months ago
    Long-Range Dependence at the Disk Drive Level
    Download  www.cs.wm.edu
    Alma Riska, Erik Riedel
    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.