Sciweavers

    619 search results - page 5 / 124
    » IFIP
    Sort
    View
    106
    Voted
    IFIP
    2009
    Springer
    102views Programming Languages» more  IFIP 2009»
    Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
    16 years 29 days ago
    Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
    Download  www.lsv.ens-cachan.fr
    Sibylle B. Fröschle, Graham Steel
    claim paper
    Read More »
    IFIP
    2009
    Springer
    92views Programming Languages» more  IFIP 2009»
    Integrating Automated and Interactive Protocol Verification
    16 years 29 days ago
    Integrating Automated and Interactive Protocol Verification
    Download  www.brucker.ch
    Achim D. Brucker, Sebastian Mödersheim
    claim paper
    Read More »
    IFIP
    2007
    Springer
    73views Programming Languages» more  IFIP 2007»
    Formal Modeling and Analysis of the Modbus Protocol
    16 years 17 days ago
    Formal Modeling and Analysis of the Modbus Protocol
    Download  www.csl.sri.com
    Bruno Dutertre
    claim paper
    Read More »
    IFIP
    2007
    Springer
    98views Programming Languages» more  IFIP 2007»
    Agile Software Development at Scale
    16 years 17 days ago
    Agile Software Development at Scale
    Download  www.internetevolution.com
    Scott W. Ambler
    claim paper
    Read More »
    IFIP
    2007
    Springer
    91views Programming Languages» more  IFIP 2007»
    A Tool for Supporting Feature-Driven Development
    16 years 17 days ago
    A Tool for Supporting Feature-Driven Development
    Download  www.fit.vutbr.cz
    Marek Rychlý, Pavlína Tichá
    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.