Sciweavers

    10575 search results - page 358 / 2115
    » T2Script Programming Language
    Sort
    View
    CAINE
    2004
    94views Computer Science» more  CAINE 2004»
    Automated Error-Prevention and Error-Detection Tools for Assembly Language
    15 years 8 months ago
    Automated Error-Prevention and Error-Detection Tools for Assembly Language
    Download  fie-conference.org
    - Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
    Lance G. Johnson, David C. Pheanis
    claim paper
    Read More »
    178
    Voted
    SWSTE
    2003
    IEEE
    102views Software Engineering» more  SWSTE 2003»
    Towards a Standard Family of Languages for Matching Patterns in Source Code
    16 years 2 days ago
    Towards a Standard Family of Languages for Matching Patterns in Source Code
    Download  tal.forum2.org
    This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
    Uri Dekel, Tal Cohen, Sara Porat
    claim paper
    Read More »
    IFIP
    2010
    Springer
    109views Programming Languages» more  IFIP 2010»
    AnBx - Security Protocols Design and Verification
    15 years 1 months ago
    AnBx - Security Protocols Design and Verification
    Download  www.dsi.unive.it
    Michele Bugliesi, Paolo Modesti
    claim paper
    Read More »
    IFIP
    2010
    Springer
    80views Programming Languages» more  IFIP 2010»
    Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction
    15 years 1 months ago
    Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction
    Download  www-sop.inria.fr
    Clément Hurlin, Hélène Kirchn...
    claim paper
    Read More »
    IFIP
    2010
    Springer
    107views Programming Languages» more  IFIP 2010»
    Reasoning with Past to Prove PKCS#11 Keys Secure
    15 years 1 months ago
    Reasoning with Past to Prove PKCS#11 Keys Secure
    Download  csd.informatik.uni-oldenburg.de
    Sibylle B. Fröschle, Nils Sommer
    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.