Sciweavers

    4731 search results - page 52 / 947
    » Securing Interactive Programs
    Sort
    View
    BIOSURVEILLANCE
    2007
    Springer
    102views Security Privacy» more  BIOSURVEILLANCE 2007»
    Global Foot-and-Mouth Disease Surveillance Using BioPortal
    15 years 10 months ago
    Global Foot-and-Mouth Disease Surveillance Using BioPortal
    Download  biocomputingcorp.com
    Abstract. The paper presents a description of the FMD BioPortal biosurveillance system (http://fmd.ucdavis.edu/bioportal/) that is currently operating to capture, analyze, and diss...
    Mark Thurmond, Andrés Perez, Chunju Tseng, ...
    claim paper
    Read More »
    SOSP
    2001
    ACM
    93views Operating System» more  SOSP 2001»
    Untrusted Hosts and Confidentiality: Secure Program Partitioning
    16 years 1 months ago
    Untrusted Hosts and Confidentiality: Secure Program Partitioning
    Download  tianyuan.org
    Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...
    claim paper
    Read More »
    PASTE
    2005
    ACM
    107views Software Engineering» more  PASTE 2005»
    Making distributed systems secure with program analysis and transformation
    15 years 9 months ago
    Making distributed systems secure with program analysis and transformation
    Download  groups.csail.mit.edu
    Andrew C. Myers
    claim paper
    Read More »
    ICTCS
    2003
    Springer
    71views Theoretical Computer Science» more  ICTCS 2003»
    Security-Aware Program Transformations
    15 years 9 months ago
    Security-Aware Program Transformations
    Download  www.di.unipi.it
    Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
    claim paper
    Read More »
    LICS
    1999
    IEEE
    82views Automated Reasoning» more  LICS 1999»
    Non-Deterministic Games and Program Analysis: An Application to Security
    15 years 8 months ago
    Non-Deterministic Games and Program Analysis: An Application to Security
    Download  www.eecs.qmul.ac.uk
    Pasquale Malacaria, Chris Hankin
    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.