Sciweavers

    4617 search results - page 917 / 924
    » Automation of Diagrammatic Reasoning
    Sort
    View
    88
    Voted
    ASM
    2008
    ASM
    157views Computational Biology» more  ASM 2008»
    A First Attempt to Express KAOS Refinement Patterns with Event B
    14 years 11 months ago
    A First Attempt to Express KAOS Refinement Patterns with Event B
    Download  pages.usherbrooke.ca
    anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
    Abderrahman Matoussi, Frédéric Gerva...
    claim paper
    Read More »
    ECLIPSE
    2005
    ACM
    138views Software Engineering» more  ECLIPSE 2005»
    Bridging the gap between technical and social dependencies with Ariadne
    14 years 11 months ago
    Bridging the gap between technical and social dependencies with Ariadne
    Download  www.ics.uci.edu
    One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
    Erik Trainer, Stephen Quirk, Cleidson R. B. de Sou...
    claim paper
    Read More »
    MKWI
    2008
    246views Business» more  MKWI 2008»
    Assessing the effects of IT changes on IT risk - A business process-oriented view
    14 years 11 months ago
    Assessing the effects of IT changes on IT risk - A business process-oriented view
    Download  ibis.in.tum.de
    Abstract: The economic relevance of IT risk is increasing due to various operational, technical as well as regulatory reasons. Increasing flexibility of business processes and risi...
    Stefan Sackmann
    claim paper
    Read More »
    ICAI
    2004
    138views Artificial Intelligence» more  ICAI 2004»
    Automatic Generation of English-language Steps in Puzzle Solving
    14 years 11 months ago
    Automatic Generation of English-language Steps in Puzzle Solving
    Download  www.cs.uky.edu
    This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
    Hemantha Ponnuru, Raphael A. Finkel, Victor W. Mar...
    claim paper
    Read More »
    SBBD
    2004
    119views Database» more  SBBD 2004»
    Computing the Dependency Basis for Nested List Attributes
    14 years 11 months ago
    Computing the Dependency Basis for Nested List Attributes
    Download  www.lbd.dcc.ufmg.br
    Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
    Sven Hartmann, Sebastian Link
    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.