Sciweavers

    31387 search results - page 305 / 6278
    » Abstracts
    Sort
    View
    CORR
    2010
    Springer
    46views Education» more  CORR 2010»
    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
    15 years 6 months ago
    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
    Download  react.cs.uni-sb.de
    Markus Rabe, Sven Schewe
    claim paper
    Read More »
    CLEIEJ
    2008
    64views more  CLEIEJ 2008»
    A Theory for Abstract Reduction Systems in PVS
    15 years 6 months ago
    A Theory for Abstract Reduction Systems in PVS
    Download  www.clei.cl
    André Luiz Galdino, Mauricio Ayala-Rinc&oac...
    claim paper
    Read More »
    CORR
    2010
    Springer
    47views Education» more  CORR 2010»
    Tuple-based abstract data types: full parallelism
    15 years 6 months ago
    Tuple-based abstract data types: full parallelism
    Download  hal.archives-ouvertes.fr
    José Martinez, Carmelo Malta
    claim paper
    Read More »
    CORR
    2010
    Springer
    50views Education» more  CORR 2010»
    Relating Nominal and Higher-order Abstract Syntax Specifications
    15 years 6 months ago
    Relating Nominal and Higher-order Abstract Syntax Specifications
    Download  www-users.cs.umn.edu
    Andrew Gacek
    claim paper
    Read More »
    CORR
    2010
    Springer
    52views Education» more  CORR 2010»
    Syntactic Abstraction of B Models to Generate Tests
    15 years 6 months ago
    Syntactic Abstraction of B Models to Generate Tests
    Download  hal.archives-ouvertes.fr
    Jacques Julliand, Nicolas Stouls, Pierre-Christoph...
    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.