Sciweavers

    396 search results - page 41 / 80
    » Using Refinement Checking as System Testing
    Sort
    View
    VLDB
    2002
    ACM
    198views Database» more  VLDB 2002»
    A New Passenger Support System for Public Transport using Mobile Database Access
    14 years 9 months ago
    A New Passenger Support System for Public Transport using Mobile Database Access
    Download  www.vldb.org
    We have been developing a mobile passenger support system for public transport. Passengers can make their travel plans and purchase necessary tickets by accessing databases via th...
    Koichi Goto, Yahiko Kambayashi
    claim paper
    Read More »
    RTAS
    2009
    IEEE
    217views Embedded Systems» more  RTAS 2009»
    The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
    15 years 4 months ago
    The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
    Download  pertsserver.cs.uiuc.edu
    Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
    Stanley Bak, Deepti K. Chivukula, Olugbemiga Adeku...
    claim paper
    Read More »
    ICSE
    1998
    IEEE-ACM
    149views Software Engineering» more  ICSE 1998»
    An Approach to Large-Scale Collection of Application Usage Data Over the Internet
    15 years 2 months ago
    An Approach to Large-Scale Collection of Application Usage Data Over the Internet
    Download  www.ics.uci.edu
    Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
    David M. Hilbert, David F. Redmiles
    claim paper
    Read More »
    COLING
    1996
    88views Computational Linguistics» more  COLING 1996»
    GRICE INCORPORATED Cooperativity in Spoken Dialogue
    14 years 11 months ago
    GRICE INCORPORATED Cooperativity in Spoken Dialogue
    Download  acl.ldc.upenn.edu
    The paper presents a consolidated set of principles of cooperative spoken human-machine dialogue which have the potential tor being turned into practically applicable design guide...
    Laila Dybkjær, Niels Ole Bernsen, Hans Dybkj...
    claim paper
    Read More »
    FLAIRS
    2004
    95views Artificial Intelligence» more  FLAIRS 2004»
    The Power of Experience: On the Usefulness of Validation Knowledge
    14 years 11 months ago
    The Power of Experience: On the Usefulness of Validation Knowledge
    Download  www.aaai.org
    TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
    Rainer Knauf, Setsuo Tsuruta, Kenichi Uehara, Taka...
    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.