Sciweavers

    11215 search results - page 406 / 2243
    » Skeleton - Easy Simulation System
    Sort
    View
    115
    Voted
    QEST
    2008
    IEEE
    100views Modeling and Simulation» more  QEST 2008»
    A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues
    16 years 1 months ago
    A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues
    Download  webspn.hit.bme.hu
    András Horváth, Gábor Horv&aa...
    claim paper
    Read More »
    QEST
    2008
    IEEE
    70views Modeling and Simulation» more  QEST 2008»
    Regular Expressions for PCTL Counterexamples
    16 years 1 months ago
    Regular Expressions for PCTL Counterexamples
    Download  www.mimuw.edu.pl
    Berteun Damman, Tingting Han, Joost-Pieter Katoen
    claim paper
    Read More »
    QEST
    2008
    IEEE
    113views Modeling and Simulation» more  QEST 2008»
    Recent Extensions to the Stochastic Process Algebra Tool CASPA
    16 years 1 months ago
    Recent Extensions to the Stochastic Process Algebra Tool CASPA
    Download  www.unibw.de
    Martin Riedl, Johann Schuster, Markus Siegle
    claim paper
    Read More »
    QEST
    2008
    IEEE
    111views Modeling and Simulation» more  QEST 2008»
    A Tool Supporting Evaluation of Non-markovian Fault Trees
    16 years 1 months ago
    A Tool Supporting Evaluation of Non-markovian Fault Trees
    Download  www.stlab.dsi.unifi.it
    Giacomo Bucci, Laura Carnevali, Enrico Vicario
    claim paper
    Read More »
    QEST
    2007
    IEEE
    123views Modeling and Simulation» more  QEST 2007»
    Model checking the probabilistic pi-calculus
    16 years 1 months ago
    Model checking the probabilistic pi-calculus
    Download  qav.comlab.ox.ac.uk
    Gethin Norman, Catuscia Palamidessi, David Parker,...
    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.