Sciweavers

    5457 search results - page 39 / 1092
    » Software Component Independence
    Sort
    View
    141
    Voted
    SOCO
    2009
    Springer
    97views Software Engineering» more  SOCO 2009»
    Language-Independent Quantification and Weaving for Feature Composition
    16 years 1 months ago
    Language-Independent Quantification and Weaving for Feature Composition
    Download  www.infosun.fim.uni-passau.de
    Stefan Boxleitner, Sven Apel, Christian Kästn...
    claim paper
    Read More »
    206
    Voted
    FASE
    2003
    Springer
    273views Software Engineering» more  FASE 2003»
    Monad-Independent Hoare Logic in HASCASL
    16 years 19 days ago
    Monad-Independent Hoare Logic in HASCASL
    Download  www.informatik.uni-bremen.de
    Lutz Schröder, Till Mossakowski
    claim paper
    Read More »
    172
    Voted
    LCPC
    1999
    Springer
    112views System Software» more  LCPC 1999»
    The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion
    15 years 11 months ago
    The Data Mover: A Machine-Independent Abstraction for Managing Customized Data Motion
    Download  cseweb.ucsd.edu
    Scott B. Baden, Stephen J. Fink
    claim paper
    Read More »
    CC
    2007
    Springer
    85views System Software» more  CC 2007»
    The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs
    15 years 7 months ago
    The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs
    Download  www.cs.washington.edu
    Paul Beame, Russell Impagliazzo, Ashish Sabharwal
    claim paper
    Read More »
    CC
    2000
    Springer
    90views System Software» more  CC 2000»
    The complexity of counting colourings and independent sets in sparse graphs and hypergraphs
    15 years 7 months ago
    The complexity of counting colourings and independent sets in sparse graphs and hypergraphs
    Download  web.maths.unsw.edu.au
    Catherine S. Greenhill
    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.