Sciweavers

    10038 search results - page 265 / 2008
    » Model Checking for Managers
    Sort
    View
    WSC
    2004
    99views Modeling And Simulation» more  WSC 2004»
    XML Mediation Services Utilizing Model Based Data Management
    15 years 8 months ago
    XML Mediation Services Utilizing Model Based Data Management
    Download  www.informs-sim.org
    Andreas Tolk
    claim paper
    Read More »
    WSC
    2000
    130views Modeling And Simulation» more  WSC 2000»
    Language based simulation models as management tools for assembly lines
    15 years 8 months ago
    Language based simulation models as management tools for assembly lines
    Download  www-wi.cs.uni-magdeburg.de
    Thomas Schulze, Marco Schumann, Gordon D. Rehn
    claim paper
    Read More »
    DFG
    2004
    Springer
    145views Operating System» more  DFG 2004»
    Modeling and Formal Verification of Production Automation Systems
    15 years 10 months ago
    Modeling and Formal Verification of Production Automation Systems
    Download  www-ti.informatik.uni-tuebingen.de
    This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
    Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wo...
    claim paper
    Read More »
    ANSS
    1996
    IEEE
    103views Modeling and Simulation» more  ANSS 1996»
    Simulation Analysis of a Real-time Database Buffer Manager
    15 years 10 months ago
    Simulation Analysis of a Real-time Database Buffer Manager
    Download  www.bme.ogi.edu
    Daniel L. Moniz, Paul J. Fortier
    claim paper
    Read More »
    WSC
    1997
    88views Modeling And Simulation» more  WSC 1997»
    A Framework for Developing and Managing Objects in a Complex Simulation System
    15 years 8 months ago
    A Framework for Developing and Managing Objects in a Complex Simulation System
    Download  www.informs-sim.org
    James D. Barrett
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.