Sciweavers

    2079 search results - page 22 / 416
    » Quantifying Information Flow
    Sort
    View
    OOPSLA
    2005
    Springer
    140views Security Privacy» more  OOPSLA 2005»
    Quantifying the performance of garbage collection vs. explicit memory management
    14 years 1 months ago
    Quantifying the performance of garbage collection vs. explicit memory management
    Download  www.cs.umass.edu
    Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
    Matthew Hertz, Emery D. Berger
    claim paper
    Read More »
    BMCBI
    2010
    131views more  BMCBI 2010»
    Dynamics based alignment of proteins: an alternative approach to quantify dynamic similarity
    13 years 2 months ago
    Dynamics based alignment of proteins: an alternative approach to quantify dynamic similarity
    Download  www.biomedcentral.com
    Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
    Márton Münz, Rune B. Lyngsø, Jo...
    claim paper
    Read More »
    BMCBI
    2007
    138views more  BMCBI 2007»
    A novel Bayesian approach to quantify clinical variables and to determine their spectroscopic counterparts in 1H NMR metabonomic
    13 years 7 months ago
    A novel Bayesian approach to quantify clinical variables and to determine their spectroscopic counterparts in 1H NMR metabonomic
    Download  www.biomedcentral.com
    Background: A key challenge in metabonomics is to uncover quantitative associations between multidimensional spectroscopic data and biochemical measures used for disease risk asse...
    Aki Vehtari, Ville-Petteri Mäkinen, Pasi Soin...
    claim paper
    Read More »
    ACMSE
    2006
    ACM
    162views Theoretical Computer Science» more  ACMSE 2006»
    Type inference and informative error reporting for secure information flow
    14 years 1 months ago
    Type inference and informative error reporting for secure information flow
    Download  users.cs.fiu.edu
    If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
    Zhenyue Deng, Geoffrey Smith
    claim paper
    Read More »
    SFM
    2010
    Springer
    202views Formal Methods» more  SFM 2010»
    Information Theory and Security: Quantitative Information Flow
    13 years 11 months ago
    Information Theory and Security: Quantitative Information Flow
    Download  www.sti.uniurb.it
    Pasquale Malacaria, Jonathan Heusser
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.