Sciweavers

    1398 search results - page 225 / 280
    » Ensuring Properties of Interaction Systems
    Sort
    View
    TSE
    1998
    129views more  TSE 1998»
    Inferring Declarative Requirements Specifications from Operational Scenarios
    14 years 9 months ago
    Inferring Declarative Requirements Specifications from Operational Scenarios
    Download  www.ics.uci.edu
    —Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
    Axel van Lamsweerde, Laurent Willemet
    claim paper
    Read More »
    GPCE
    2009
    Springer
    152views Programming Languages» more  GPCE 2009»
    Algorithms for user interfaces
    15 years 2 months ago
    Algorithms for user interfaces
    Download  parasol.cs.tamu.edu
    User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
    Jaakko Järvi, Mat Marcus, Sean Parent, John F...
    claim paper
    Read More »
    HPDC
    2010
    IEEE
    198views Distributed And Parallel Com...» more  HPDC 2010»
    Browsing large scale cheminformatics data with dimension reduction
    14 years 11 months ago
    Browsing large scale cheminformatics data with dimension reduction
    Download  grids.ucs.indiana.edu
    Visualization of large-scale high dimensional data tool is highly valuable for scientific discovery in many fields. We present PubChemBrowse, a customized visualization tool for c...
    Jong Youl Choi, Seung-Hee Bae, Judy Qiu, Geoffrey ...
    claim paper
    Read More »
    WSC
    2004
    104views Modeling And Simulation» more  WSC 2004»
    Factors Affecting the Expectation of Casualties in the Virtual Range Toxicity Model
    14 years 11 months ago
    Factors Affecting the Expectation of Casualties in the Virtual Range Toxicity Model
    Download  www.informs-sim.org
    The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...
    José A. Sepúlveda, Luis C. Rabelo, J...
    claim paper
    Read More »
    WSC
    2004
    178views Modeling And Simulation» more  WSC 2004»
    Implementing the High Level Architecture in the Virtual Test Bed
    14 years 11 months ago
    Implementing the High Level Architecture in the Virtual Test Bed
    Download  www.informs-sim.org
    The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
    José A. Sepúlveda, Luis C. Rabelo, J...
    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.