Sciweavers

    2607 search results - page 38 / 522
    » On the Architecture of System Verification Environments
    Sort
    View
    ENTCS
    2008
    90views more  ENTCS 2008»
    Formal Verification of Websites
    13 years 7 months ago
    Formal Verification of Websites
    Download  users.dsic.upv.es
    In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
    Sonia Flores, Salvador Lucas, Alicia Villanueva
    claim paper
    Read More »
    WSC
    2000
    152views Modeling And Simulation» more  WSC 2000»
    Soft-commissioning: hardware-in-the-loop-based verification of controller software
    13 years 8 months ago
    Soft-commissioning: hardware-in-the-loop-based verification of controller software
    Download  www.informs-sim.org
    The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
    Harald Schludermann, Thomas Kirchmair, Markus Vord...
    claim paper
    Read More »
    COOTS
    1998
    120views Programming Languages» more  COOTS 1998»
    The Architecture of a Distributed Virtual Worlds System
    13 years 8 months ago
    The Architecture of a Distributed Virtual Worlds System
    Download  research.microsoft.com
    We have developed an object model that facilitates the development of shared virtual environments. We have implemented our object model on top of COM and OLE Automation and facili...
    Manny Vellon, Kirk Marple, Don Mitchell, Steven Dr...
    claim paper
    Read More »
    MVA
    1994
    113views Computer Vision» more  MVA 1994»
    A Modified Simulation Environment for Reconfigurable Multicomputer Systems in Digital Image Processing Applications
    13 years 8 months ago
    A Modified Simulation Environment for Reconfigurable Multicomputer Systems in Digital Image Processing Applications
    Download  b2.cvl.iis.u-tokyo.ac.jp
    In our work we improve the EPPI programming environment, which was made in the University of Castilla - la Mancha one year ago. EPPI is a tool for simulating parallel algorithms t...
    Francisco J. Quiles, Antonio Jose Garrido del Solo
    claim paper
    Read More »
    EACL
    2009
    ACL Anthology
    109views Natural Language Processing» more  EACL 2009»
    The Software Architecture for the First Challenge on Generating Instructions in Virtual Environments
    14 years 8 months ago
    The Software Architecture for the First Challenge on Generating Instructions in Virtual Environments
    Download  homepages.inf.ed.ac.uk
    The GIVE Challenge is a new Internetbased evaluation effort for natural language generation systems. In this paper, we motivate and describe the software infrastructure that we de...
    Alexander Koller, Donna Byron, Justine Cassell, Ro...
    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.