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 6 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 6 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 6 months ago
    Visualisation of Domain-Specific Modelling Languages Using UML
    Download  swerl.tudelft.nl
    Bas Graaf, Arie van Deursen
    claim paper
    Read More »
    GLOBECOM
    2007
    IEEE
    85views Communications» more  GLOBECOM 2007»
    Modelling Throughput and Starvation in 802.11 Wireless Networks with Multiple Flows
    15 years 6 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 »
    GLVLSI
    2007
    IEEE
    154views VLSI» more  GLVLSI 2007»
    Analyzing and modeling process balance for sub-threshold circuit design
    15 years 6 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
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.