Sciweavers

    2488 search results - page 72 / 498
    » An improvement in formal verification
    Sort
    View
    ESORICS
    2002
    Springer
    198views Security Privacy» more  ESORICS 2002»
    Formal Security Analysis with Interacting State Machines
    16 years 5 months ago
    Formal Security Analysis with Interacting State Machines
    Download  david.von-oheimb.de
    We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
    David von Oheimb, Volkmar Lotz
    claim paper
    Read More »
    CAIP
    2009
    Springer
    122views Image Analysis» more  CAIP 2009»
    Regression Based Non-frontal Face Synthesis for Improved Identity Verification
    16 years 23 days ago
    Regression Based Non-frontal Face Synthesis for Improved Identity Verification
    Download  www.itee.uq.edu.au
    Yongkang Wong, Conrad Sanderson, Brian C. Lovell
    claim paper
    Read More »
    GLVLSI
    2007
    IEEE
    177views VLSI» more  GLVLSI 2007»
    Improvements for constraint solving in the systemc verification library
    16 years 16 days ago
    Improvements for constraint solving in the systemc verification library
    Download  www.informatik.uni-bremen.de
    Daniel Große, Rüdiger Ebendt, Rolf Drec...
    claim paper
    Read More »
    MOBICOM
    2006
    ACM
    110views Communications» more  MOBICOM 2006»
    Improved security in geographic ad hoc routing through autonomous position verification
    16 years 4 days ago
    Improved security in geographic ad hoc routing through autonomous position verification
    Download  medien.informatik.uni-ulm.de
    Tim Leinmüller, Christian Maihöfer, Elma...
    claim paper
    Read More »
    ICFEM
    2005
    Springer
    87views Software Engineering» more  ICFEM 2005»
    An Improved Rule for While Loops in Deductive Program Verification
    15 years 11 months ago
    An Improved Rule for While Loops in Deductive Program Verification
    Download  i12www.ira.uka.de
    Bernhard Beckert, Steffen Schlager, Peter H. Schmi...
    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.