Sciweavers

    14190 search results - page 132 / 2838
    » Abstractions for hybrid systems
    Sort
    View
    LOGCOM
    2010
    75views more  LOGCOM 2010»
    A Proof System for Abstract Non-interference
    15 years 4 months ago
    A Proof System for Abstract Non-interference
    Download  profs.sci.univr.it
    Roberto Giacobazzi, Isabella Mastroeni
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    108views Computer Networks» more  PERCOM 2010»
    Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
    15 years 4 months ago
    Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
    Download  adrianclear.com
    Adrian K. Clear, Thomas Holland, Simon Dobson, Aar...
    claim paper
    Read More »
    EUROSSC
    2010
    Springer
    137views Information Technology» more  EUROSSC 2010»
    Sensor Abstractions for Opportunistic Activity and Context Recognition Systems
    15 years 4 months ago
    Sensor Abstractions for Opportunistic Activity and Context Recognition Systems
    Download  www.soft.uni-linz.ac.at
    Marc Kurz, Alois Ferscha
    claim paper
    Read More »
    ANCS
    2009
    ACM
    102views Computer Networks» more  ANCS 2009»
    Designing high-speed packet processing tasks at arbitrary levels of abstraction: implementation and evaluation of a MIXMAP syste
    15 years 4 months ago
    Designing high-speed packet processing tasks at arbitrary levels of abstraction: implementation and evaluation of a MIXMAP syste
    Download  www.ikr.uni-stuttgart.de
    Simon Hauger
    claim paper
    Read More »
    CORR
    2009
    Springer
    85views Education» more  CORR 2009»
    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
    15 years 4 months ago
    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
    Download  www.irisa.fr
    Benoît Boyer, Thomas Genet
    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.