Sciweavers

    3951 search results - page 38 / 791
    » Automatic amortized analysis
    Sort
    View
    ATVA
    2005
    Springer
    118views Hardware» more  ATVA 2005»
    Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
    15 years 11 months ago
    Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
    Download  w3.isis.vanderbilt.edu
    A. Dubey, X. Wu, H. Su, T. J. Koo
    claim paper
    Read More »
    FSKD
    2005
    Springer
    77views Fuzzy Logic» more  FSKD 2005»
    Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines
    15 years 11 months ago
    Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines
    Download  www.phy.mtu.edu
    Lior Shamir, Robert J. Nemiroff
    claim paper
    Read More »
    MIR
    2004
    ACM
    94views Multimedia» more  MIR 2004»
    Latent semantic analysis of facial action codes for automatic facial expression recognition
    15 years 11 months ago
    Latent semantic analysis of facial action codes for automatic facial expression recognition
    Download  www.idiap.ch
    Beat Fasel, Florent Monay, Daniel Gatica-Perez
    claim paper
    Read More »
    CCS
    2004
    ACM
    87views Security Privacy» more  CCS 2004»
    Automatic analysis of firewall and network intrusion detection system configurations
    15 years 11 months ago
    Automatic analysis of firewall and network intrusion detection system configurations
    Download  www.ai.sri.com
    Tomás E. Uribe, Steven Cheung
    claim paper
    Read More »
    ICICS
    2004
    Springer
    140views Communications» more  ICICS 2004»
    Automatic Covert Channel Analysis of a Multilevel Secure Component
    15 years 11 months ago
    Automatic Covert Channel Analysis of a Multilevel Secure Component
    Download  www.di.unipi.it
    Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
    Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone...
    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.