Sciweavers

    4166 search results - page 106 / 834
    » Automating the constraining process
    Sort
    View
    QOSA
    2009
    Springer
    146views Software Engineering» more  QOSA 2009»
    Automated Architecture Consistency Checking for Model Driven Software Development
    15 years 2 months ago
    Automated Architecture Consistency Checking for Model Driven Software Development
    Download  www.imamu.edu.sa
    When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
    Matthias Biehl, Welf Löwe
    claim paper
    Read More »
    ISICT
    2003
    165views Information Technology» more  ISICT 2003»
    On the automated implementation of modal logics used to verify security protocols
    14 years 11 months ago
    On the automated implementation of modal logics used to verify security protocols
    Download  www.ece.ul.ie
    : Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
    Tom Coffey, Reiner Dojen, Tomas Flanagan
    claim paper
    Read More »
    WSC
    2004
    124views Modeling And Simulation» more  WSC 2004»
    Automated Database and Schema-Based Data Interchange for Modeling and Simulation
    14 years 11 months ago
    Automated Database and Schema-Based Data Interchange for Modeling and Simulation
    Download  www.informs-sim.org
    Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
    Gregory A. Harrison, David S. Maynard, Eytan Polla...
    claim paper
    Read More »
    BMCBI
    2008
    89views more  BMCBI 2008»
    An incremental approach to automated protein localisation
    14 years 10 months ago
    An incremental approach to automated protein localisation
    Download  www.biomedcentral.com
    Background: The subcellular localisation of proteins in intact living cells is an important means for gaining information about protein functions. Even dynamic processes can be ca...
    Marko Tscherepanow, Nickels Jensen, Franz Kummert
    claim paper
    Read More »
    ICIP
    2007
    IEEE
    188views Image Processing» more  ICIP 2007»
    Automated Segmentation of Torn Frames using the Graph Cuts Technique
    15 years 11 months ago
    Automated Segmentation of Torn Frames using the Graph Cuts Technique
    Download  www.mee.tcd.ie
    Film Tear is a form of degradation in archived film and is the physical ripping of the film material. Tear causes displacement of a region of the degraded frame and the loss of im...
    David Corrigan, Naomi Harte, Anil C. Kokaram
    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.