Sciweavers

    3914 search results - page 260 / 783
    » Automating SLA modeling
    Sort
    View
    ECBS
    2006
    IEEE
    153views Hardware» more  ECBS 2006»
    A Unified Approach for Verification and Validation of Systems and Software Engineering Models
    13 years 12 months ago
    A Unified Approach for Verification and Validation of Systems and Software Engineering Models
    Download  users.encs.concordia.ca
    We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
    Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
    claim paper
    Read More »
    SC
    1995
    ACM
    90views Applied Computing» more  SC 1995»
    Relative Debugging and its Application to the Development of Large Numerical Models
    13 years 11 months ago
    Relative Debugging and its Application to the Development of Large Numerical Models
    Download  www.csse.monash.edu.au
    Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
    David Abramson, Ian T. Foster, John Michalakes, Ro...
    claim paper
    Read More »
    BILDMED
    2008
    138views Algorithms» more  BILDMED 2008»
    Level Set Segmentation of Lumbar Vertebrae Using Appearance Models
    13 years 9 months ago
    Level Set Segmentation of Lumbar Vertebrae Using Appearance Models
    Download  sunsite.informatik.rwth-aachen.de
    For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
    Karl D. Fritscher, Stefan Leber, Werner Schmö...
    claim paper
    Read More »
    FECS
    2008
    123views Education» more  FECS 2008»
    Transition from a Waterfall-Based Capstone Course to an Agile Model
    13 years 9 months ago
    Transition from a Waterfall-Based Capstone Course to an Agile Model
    Download  www.cs.bsu.edu
    We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
    Chris Lüer
    claim paper
    Read More »
    IJCAI
    2007
    195views Artificial Intelligence» more  IJCAI 2007»
    Fault-Model-Based Test Generation for Embedded Software
    13 years 9 months ago
    Fault-Model-Based Test Generation for Embedded Software
    Download  mqm.in.tum.de
    Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
    Michael Esser, Peter Struss
    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.