Sciweavers

    12981 search results - page 290 / 2597
    » Model Checking and Abstraction
    Sort
    View
    IJCM
    2011
    53views more  IJCM 2011»
    An abstract interpretation-based model for safety semantics
    15 years 1 months ago
    An abstract interpretation-based model for safety semantics
    Download  profs.scienze.univr.it
    Isabella Mastroeni, Roberto Giacobazzi
    claim paper
    Read More »
    SYNTHESE
    2011
    82views more  SYNTHESE 2011»
    Living with the abstract: realism and models
    15 years 1 months ago
    Living with the abstract: realism and models
    Download  www.romanfrigg.org
    Stathis Psillos
    claim paper
    Read More »
    IEAAIE
    2011
    Springer
    201views Artificial Intelligence» more  IEAAIE 2011»
    Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions
    14 years 10 months ago
    Specification of Interlevel Relations for Agent Models in Multiple Abstraction Dimensions
    Download  www.few.vu.nl
    Jan Treur
    claim paper
    Read More »
    PLDI
    2011
    ACM
    163views Programming Languages» more  PLDI 2011»
    Partial-coherence abstractions for relaxed memory models
    14 years 9 months ago
    Partial-coherence abstractions for relaxed memory models
    Download  www.cs.technion.ac.il
    Michael Kuperstein, Martin T. Vechev, Eran Yahav
    claim paper
    Read More »
    SBP
    2011
    Springer
    158views Applied Computing» more  SBP 2011»
    Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains
    14 years 9 months ago
    Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains
    Download  www.few.vu.nl
    Alexei Sharpanskykh, Jan Treur
    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.