Sciweavers

    13913 search results - page 110 / 2783
    » models 2007
    Sort
    View
    DDECS
    2007
    IEEE
    103views Hardware» more  DDECS 2007»
    On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
    15 years 11 months ago
    On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
    Download  ira.informatik.uni-freiburg.de
    Marc Herbstritt, Bernd Becker, Erika Ábrah&...
    claim paper
    Read More »
    DEXAW
    2007
    IEEE
    86views Database» more  DEXAW 2007»
    A UML 2 Profile for Variability Models and their Dependency to Business Processes
    15 years 11 months ago
    A UML 2 Profile for Variability Models and their Dependency to Business Processes
    Download  www.wit.at
    Birgit Korherr, Beate List
    claim paper
    Read More »
    ECBS
    2007
    IEEE
    97views Hardware» more  ECBS 2007»
    Visualisation of Domain-Specific Modelling Languages Using UML
    15 years 11 months ago
    Visualisation of Domain-Specific Modelling Languages Using UML
    Download  swerl.tudelft.nl
    Bas Graaf, Arie van Deursen
    claim paper
    Read More »
    86
    Voted
    GLOBECOM
    2007
    IEEE
    85views Communications» more  GLOBECOM 2007»
    Modelling Throughput and Starvation in 802.11 Wireless Networks with Multiple Flows
    15 years 11 months ago
    Modelling Throughput and Starvation in 802.11 Wireless Networks with Multiple Flows
    Download  www.ee.washington.edu
    Anna Margolis, Rajiv Vijayakumar, Sumit Roy
    claim paper
    Read More »
    98
    Voted
    GLVLSI
    2007
    IEEE
    154views VLSI» more  GLVLSI 2007»
    Analyzing and modeling process balance for sub-threshold circuit design
    15 years 11 months ago
    Analyzing and modeling process balance for sub-threshold circuit design
    Download  people.virginia.edu
    Joseph F. Ryan, Jiajing Wang, Benton H. Calhoun
    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.