Sciweavers

    17789 search results - page 8 / 3558
    » Exceptional Use Cases
    Sort
    View
    EUROCAST
    2009
    Springer
    132views Hardware» more  EUROCAST 2009»
    Separation of Transitions, Actions, and Exceptions in Model-Based Testing
    14 years 2 months ago
    Separation of Transitions, Actions, and Exceptions in Model-Based Testing
    Download  staff.aist.go.jp
    Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
    Cyrille Artho
    claim paper
    Read More »
    AAAI
    2008
    162views Intelligent Agents» more  AAAI 2008»
    Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
    13 years 10 months ago
    Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
    Download  www.public.asu.edu
    One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
    Chitta Baral, Juraj Dzifcak, Tran Cao Son
    claim paper
    Read More »
    DBSEC
    2008
    107views Database» more  DBSEC 2008»
    Regulating Exceptions in Healthcare Using Policy Spaces
    13 years 9 months ago
    Regulating Exceptions in Healthcare Using Policy Spaces
    Download  www.almaden.ibm.com
    One truth holds for the healthcare industry - nothing should interfere with the delivery of care. Given this fact, the access control mechanisms used in healthcare to regulate and ...
    Claudio Agostino Ardagna, Sabrina De Capitani di V...
    claim paper
    Read More »
    AOSD
    2007
    ACM
    141views Software Engineering» more  AOSD 2007»
    An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type
    13 years 11 months ago
    An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type
    Download  llvm.org
    The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
    Bram Adams, Kris De Schutter
    claim paper
    Read More »
    COMMA
    2006
    149views Applied Computing» more  COMMA 2006»
    The Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions
    13 years 9 months ago
    The Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions
    Download  www.csc.liv.ac.uk
    Abstract. In 2005, Gordon and Walton presented initial ideas for a computational model of defeasible argument [12, 26], which builds on and elaborates Walton's theory of argum...
    Thomas F. Gordon, Douglas Walton
    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.