Sciweavers

    964 search results - page 135 / 193
    » Scenario-driven modeling and validation of requirements mode...
    Sort
    View
    HYBRID
    2007
    Springer
    95views Control Systems» more  HYBRID 2007»
    Robust Test Generation and Coverage for Hybrid Systems
    14 years 3 months ago
    Robust Test Generation and Coverage for Hybrid Systems
    Download  www.ecse.rpi.edu
    Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
    A. Agung Julius, Georgios E. Fainekos, Madhukar An...
    claim paper
    Read More »
    ICRA
    2009
    IEEE
    185views Robotics» more  ICRA 2009»
    Ad-hoc wireless network coverage with networked robots that cannot localize
    14 years 3 months ago
    Ad-hoc wireless network coverage with networked robots that cannot localize
    Download  people.csail.mit.edu
    — We study a fully distributed, reactive algorithm for deployment and maintenance of a mobile communication backbone that provides an area around a network gateway with wireless ...
    Nikolaus Correll, Jonathan Bachrach, Daniel Vicker...
    claim paper
    Read More »
    SOFSEM
    2007
    Springer
    148views Theoretical Computer Science» more  SOFSEM 2007»
    Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
    14 years 3 months ago
    Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
    Download  embsys.technikum-wien.at
    Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
    Dietmar Schreiner, Karl M. Göschka
    claim paper
    Read More »
    SIMUTOOLS
    2008
    193views Communications» more  SIMUTOOLS 2008»
    Simulation of ad hoc networks: ns-2 compared to JiST/SWANS
    13 years 10 months ago
    Simulation of ad hoc networks: ns-2 compared to JiST/SWANS
    Download  www.uni-ulm.de
    For the evaluation of ad hoc network protocols, researchers traditionally use simulations because they easily allow for a large number of nodes and reproducible environment condit...
    Elmar Schoch, Michael Feiri, Frank Kargl, Michael ...
    claim paper
    Read More »
    BMCBI
    2006
    128views more  BMCBI 2006»
    Model-driven user interfaces for bioinformatics data resources: regenerating the wheel as an alternative to reinventing it
    13 years 9 months ago
    Model-driven user interfaces for bioinformatics data resources: regenerating the wheel as an alternative to reinventing it
    Download  www.biomedcentral.com
    Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
    Kevin L. Garwood, Christopher Garwood, Cornelia He...
    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-2024, USA.