Sciweavers

    2741 search results - page 58 / 549
    » Designing Law-Compliant Software Requirements
    Sort
    View
    WSR
    2008
    117views Software Engineering» more  WSR 2008»
    Towards Querying of Traceability Information in the Context of Software Evolution
    14 years 11 months ago
    Towards Querying of Traceability Information in the Context of Software Evolution
    Download  www.uni-koblenz.de
    : Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
    Hannes Schwarz, Jürgen Ebert, Volker Riediger...
    claim paper
    Read More »
    ICMCS
    2007
    IEEE
    144views Multimedia» more  ICMCS 2007»
    A Framework for Modular Signal Processing Systems with High-Performance Requirements
    15 years 4 months ago
    A Framework for Modular Signal Processing Systems with High-Performance Requirements
    Download  www.nist.gov
    This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
    Lukas Diduch, Ronald Müller, Gerhard Rigoll
    claim paper
    Read More »
    AUTOMOTIVEUI
    2009
    ACM
    217views Human Computer Interaction» more  AUTOMOTIVEUI 2009»
    In-vehicle technology functional requirements for older drivers
    15 years 2 months ago
    In-vehicle technology functional requirements for older drivers
    Download  www.auto-ui.org
    Older drivers represent the fastest growing segment of the road user population. Cognitive and physiological capabilities diminishes with ages. The design of future in-vehicle int...
    Andry Rakotonirainy, Dale Steinhardt
    claim paper
    Read More »
    BELL
    2000
    107views more  BELL 2000»
    Automating software feature verification
    14 years 9 months ago
    Automating software feature verification
    Download  spinroot.com
    A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
    Gerard J. Holzmann, Margaret H. Smith
    claim paper
    Read More »
    TPHOL
    1998
    IEEE
    159views Automated Reasoning» more  TPHOL 1998»
    The Village Telephone System: A Case Study in Formal Software Engineering
    15 years 2 months ago
    The Village Telephone System: A Case Study in Formal Software Engineering
    Download  seclab.uiuc.edu
    In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
    Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
    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.