Sciweavers

    2687 search results - page 7 / 538
    » Formal Analysis of PKCS
    Sort
    View
    IFL
    2000
    Springer
    103views Formal Methods» more  IFL 2000»
    A Usage Analysis with Bounded Usage Polymorphism and Subtyping
    15 years 9 months ago
    A Usage Analysis with Bounded Usage Polymorphism and Subtyping
    Download  www.cs.ucla.edu
    Jörgen Gustavsson, Josef Svenningsson
    claim paper
    Read More »
    FMCAD
    2008
    Springer
    77views Formal Methods» more  FMCAD 2008»
    Symbolic Program Analysis Using Term Rewriting and Generalization
    15 years 6 months ago
    Symbolic Program Analysis Using Term Rewriting and Generalization
    Download  www.nec-labs.com
    Nishant Sinha
    claim paper
    Read More »
    SAS
    2010
    Springer
    148views Formal Methods» more  SAS 2010»
    Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
    15 years 3 months ago
    Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
    Download  www.stanford.edu
    Isil Dillig, Thomas Dillig, Alex Aiken
    claim paper
    Read More »
    ICST
    2009
    IEEE
    139views Software Engineering» more  ICST 2009»
    Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
    15 years 3 months ago
    Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
    Download  alloy.mit.edu
    A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
    Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
    claim paper
    Read More »
    IEEEICCI
    2005
    IEEE
    125views Artificial Intelligence» more  IEEEICCI 2005»
    Formal concept analysis based on hierarchical class analysis
    15 years 11 months ago
    Formal concept analysis based on hierarchical class analysis
    Download  www2.cs.uregina.ca
    The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
    Yaohua Chen, Yiyu Yao
    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.