Sciweavers

    5525 search results - page 97 / 1105
    » Verification of Model Transformations
    Sort
    View
    ATVA
    2007
    Springer
    112views Hardware» more  ATVA 2007»
    Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
    16 years 17 days ago
    Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
    Download  www.async.ece.utah.edu
    Scott Little, David Walter, Kevin Jones, Chris J. ...
    claim paper
    Read More »
    ICWE
    2007
    Springer
    92views Internet Technology» more  ICWE 2007»
    A Survey of Analysis Models and Methods in Website Verification and Testing
    16 years 16 days ago
    A Survey of Analysis Models and Methods in Website Verification and Testing
    Download  research.cs.queensu.ca
    Manar H. Alalfi, James R. Cordy, Thomas R. Dean
    claim paper
    Read More »
    PCM
    2007
    Springer
    100views Multimedia» more  PCM 2007»
    A New Adaptation Method for Speaker-Model Creation in High-Level Speaker Verification
    16 years 15 days ago
    A New Adaptation Method for Speaker-Model Creation in High-Level Speaker Verification
    Download  www.eie.polyu.edu.hk
    Shi-Xiong Zhang, Man-Wai Mak
    claim paper
    Read More »
    APSEC
    2005
    IEEE
    95views Software Engineering» more  APSEC 2005»
    A Lightweight Integration of Theorem Proving and Model Checking for System Verification
    16 years 7 hour ago
    A Lightweight Integration of Theorem Proving and Model Checking for System Verification
    Download  www.jaist.ac.jp
    Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
    claim paper
    Read More »
    COMPSAC
    2005
    IEEE
    120views Software Engineering» more  COMPSAC 2005»
    Model-Based Software Testing and Verification
    16 years 3 hour ago
    Model-Based Software Testing and Verification
    Download  conferences.computer.org
    tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
    Aditya P. Mathur
    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.