Sciweavers

    6527 search results - page 75 / 1306
    » On Typing Information Flow
    Sort
    View
    WISTP
    2007
    Springer
    87views Security Privacy» more  WISTP 2007»
    An Information Flow Verifier for Small Embedded Systems
    15 years 10 months ago
    An Information Flow Verifier for Small Embedded Systems
    Download  wistp2007.wistp.org
    Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...
    claim paper
    Read More »
    CSFW
    2006
    IEEE
    119views Security Privacy» more  CSFW 2006»
    Encoding Information Flow in Haskell
    15 years 10 months ago
    Encoding Information Flow in Haskell
    Download  www.cis.upenn.edu
    This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
    Peng Li, Steve Zdancewic
    claim paper
    Read More »
    INFOCOM
    2005
    IEEE
    89views Communications» more  INFOCOM 2005»
    Flow control as stochastic optimal control problem with incomplete information
    15 years 10 months ago
    Flow control as stochastic optimal control problem with incomplete information
    Download  www.cmss.monash.edu.au
    B. Miller, Konstantin Avrachenkov, K. Stepanyan, G...
    claim paper
    Read More »
    SAC
    2005
    ACM
    138views Applied Computing» more  SAC 2005»
    Towards the prioritization of regression test suites with data flow information
    15 years 10 months ago
    Towards the prioritization of regression test suites with data flow information
    Download  cs.allegheny.edu
    Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
    Matthew J. Rummel, Gregory M. Kapfhammer, Andrew T...
    claim paper
    Read More »
    ICTAC
    2005
    Springer
    90views Applied Computing» more  ICTAC 2005»
    Information Flow Is Linear Refinement of Constancy
    15 years 10 months ago
    Information Flow Is Linear Refinement of Constancy
    Download  profs.sci.univr.it
    Fausto Spoto
    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.