Sciweavers

    449 search results - page 74 / 90
    » Model Checking Large Software Specifications
    Sort
    View
    ICOODB
    2009
    246views Database» more  ICOODB 2009»
    Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
    13 years 7 months ago
    Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
    Download  www.sts.tu-harburg.de
    The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
    Miguel Garcia
    claim paper
    Read More »
    AVI
    2006
    173views Software Engineering» more  AVI 2006»
    Task-at-hand interface for change detection in stock market data
    13 years 11 months ago
    Task-at-hand interface for change detection in stock market data
    Download  infovis.uni-konstanz.de
    Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...
    Carmen Sanz Merino, Mike Sips, Daniel A. Keim, Chr...
    claim paper
    Read More »
    WCRE
    2003
    IEEE
    181views Software Engineering» more  WCRE 2003»
    GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
    14 years 2 months ago
    GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing
    Download  www.cse.yorku.ca
    Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
    Atif M. Memon, Ishan Banerjee, Adithya Nagarajan
    claim paper
    Read More »
    NGITS
    1999
    Springer
    199views Information Technology» more  NGITS 1999»
    From Object-Process Diagrams to a Natural Object-Process Language
    14 years 1 months ago
    From Object-Process Diagrams to a Natural Object-Process Language
    Download  mis.hevra.haifa.ac.il
    As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
    Mor Peleg, Dov Dori
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    165views Software Engineering» more  EMSOFT 2008»
    Randomized directed testing (REDIRECT) for Simulink/Stateflow models
    13 years 11 months ago
    Randomized directed testing (REDIRECT) for Simulink/Stateflow models
    Download  www.cecs.uci.edu
    The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
    Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
    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.