Sciweavers

    12981 search results - page 285 / 2597
    » Model Checking and Abstraction
    Sort
    View
    CORR
    2010
    Springer
    54views Education» more  CORR 2010»
    A Simple Abstraction for Data Modeling
    15 years 6 months ago
    A Simple Abstraction for Data Modeling
    Download  www.renci.org
    Nassib Nassar
    claim paper
    Read More »
    ENTCS
    2006
    122views more  ENTCS 2006»
    Abstract Effective Models
    15 years 6 months ago
    Abstract Effective Models
    Download  www.cs.tau.ac.il
    Udi Boker, Nachum Dershowitz
    claim paper
    Read More »
    IJCIS
    2006
    75views more  IJCIS 2006»
    Model-Driven Design, Refinement and Transformation of Abstract Interactions
    15 years 6 months ago
    Model-Driven Design, Refinement and Transformation of Abstract Interactions
    Download  www.inf.ufes.br
    João Paulo A. Almeida, Remco M. Dijkman, Lu...
    claim paper
    Read More »
    IGPL
    2007
    73views more  IGPL 2007»
    Fibred and Indexed Categories for Abstract Model Theory
    15 years 6 months ago
    Fibred and Indexed Categories for Abstract Model Theory
    Download  www.inf.pucrs.br
    Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
    claim paper
    Read More »
    TAP
    2008
    Springer
    110views Hardware» more  TAP 2008»
    Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
    15 years 6 months ago
    Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
    Download  www.pietro.ferrara.name
    Pietro Ferrara
    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.