Sciweavers

    15644 search results - page 211 / 3129
    » Brittle System Analysis
    Sort
    View
    IFM
    2007
    Springer
    98views Formal Methods» more  IFM 2007»
    Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
    16 years 1 months ago
    Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
    Download  www.jaist.ac.jp
    Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    claim paper
    Read More »
    SAS
    2007
    Springer
    82views Formal Methods» more  SAS 2007»
    Static Analysis of Dynamic Communication Systems by Partner Abstraction
    16 years 1 months ago
    Static Analysis of Dynamic Communication Systems by Partner Abstraction
    Download  www.model.in.tum.de
    Jörg Bauer, Reinhard Wilhelm
    claim paper
    Read More »
    WEBI
    2007
    Springer
    80views Internet Technology» more  WEBI 2007»
    A Semantically Enriched Competency Management System to Support the Analysis of a Web-based Research Network
    16 years 1 months ago
    A Semantically Enriched Competency Management System to Support the Analysis of a Web-based Research Network
    Download  www.dsi.uniroma1.it
    Paola Velardi, Alessandro Cucchiarelli, Michaë...
    claim paper
    Read More »
    WISTP
    2007
    Springer
    112views Security Privacy» more  WISTP 2007»
    An Embedded System for Practical Security Analysis of Contactless Smartcards
    16 years 1 months ago
    An Embedded System for Practical Security Analysis of Contactless Smartcards
    Download  www.crypto.ruhr-uni-bochum.de
    ISO 14443 compliant smartcards are widely-used in privacy and security sensitive applications. Due to the contactless interface, they can be activated and read out from a distance....
    Timo Kasper, Dario Carluccio, Christof Paar
    claim paper
    Read More »
    ACSD
    2006
    IEEE
    75views Hardware» more  ACSD 2006»
    New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
    16 years 1 months ago
    New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
    Download  pagesperso-systeme.lip6.fr
    Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban...
    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.