Sciweavers

    6527 search results - page 77 / 1306
    » On Typing Information Flow
    Sort
    View
    POPL
    2010
    ACM
    206views Programming Languages» more  POPL 2010»
    Paralocks : Role-Based Information Flow Control and Beyond
    15 years 11 months ago
    Paralocks : Role-Based Information Flow Control and Beyond
    Download  www.cse.chalmers.se
    Niklas Broberg, David Sands
    claim paper
    Read More »
    IFIP
    2009
    Springer
    97views Programming Languages» more  IFIP 2009»
    Information Flow Control for Cooperation Support in Virtual Enterprises
    15 years 11 months ago
    Information Flow Control for Cooperation Support in Virtual Enterprises
    Download  www.uninova.pt
    Peter Bertók, Abdelkamel Tari, Saadia Kedja...
    claim paper
    Read More »
    PSIVT
    2009
    Springer
    252views Multimedia» more  PSIVT 2009»
    Moving Object Segmentation Using Optical Flow and Depth Information
    15 years 11 months ago
    Moving Object Segmentation Using Optical Flow and Depth Information
    Download  www.mi.auckland.ac.nz
    This paper discusses the detection of moving objects (being a crucial part of driver assistance systems) using monocular or stereoscopic computer vision. In both cases, object dete...
    Jens Klappstein, Tobi Vaudrey, Clemens Rabe, Andre...
    claim paper
    Read More »
    FM
    2001
    Springer
    84views Formal Methods» more  FM 2001»
    Information Flow Control and Applications - Bridging a Gap
    15 years 11 months ago
    Information Flow Control and Applications - Bridging a Gap
    Download  www.mais.informatik.tu-darmstadt.de
    Heiko Mantel
    claim paper
    Read More »
    ICFP
    2000
    ACM
    107views Programming Languages» more  ICFP 2000»
    Information flow inference for free
    15 years 10 months ago
    Information flow inference for free
    Download  www.cs.ucla.edu
    François Pottier, Sylvain Conchon
    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.