Sciweavers

    9931 search results - page 114 / 1987
    » Generative Modeling by PRISM
    Sort
    View
    118
    Voted
    DEPCOS
    2006
    IEEE
    93views Hardware» more  DEPCOS 2006»
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    15 years 9 months ago
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    Download  home.mit.bme.hu
    Zoltán Micskei, István Majzik
    claim paper
    Read More »
    EDOC
    2006
    IEEE
    87views Distributed And Parallel Com...» more  EDOC 2006»
    Using Model-Driven Engineering to generate QoS Monitors from a formal specification
    15 years 9 months ago
    Using Model-Driven Engineering to generate QoS Monitors from a formal specification
    Download  www.irisa.fr
    Sébastien Saudrais, Olivier Barais, Laurenc...
    claim paper
    Read More »
    ICEIS
    2006
    IEEE
    89views Information Technology» more  ICEIS 2006»
    A Generator Framework for Domain-Specific Model Transformation Languages
    15 years 9 months ago
    A Generator Framework for Domain-Specific Model Transformation Languages
    Download  www.schwinger.at
    Thomas Reiter, Elisabeth Kapsammer, Werner Retschi...
    claim paper
    Read More »
    IPPS
    2006
    IEEE
    104views Distributed And Parallel Com...» more  IPPS 2006»
    Automatic code generation for distributed memory architectures in the polytope model
    15 years 9 months ago
    Automatic code generation for distributed memory architectures in the polytope model
    Download  www.infosun.fim.uni-passau.de
    Michael Classen, Martin Griebl
    claim paper
    Read More »
    102
    Voted
    AFRIGRAPH
    2006
    ACM
    86views Virtual Reality» more  AFRIGRAPH 2006»
    Procedural modeling facilities for hierarchical object generation
    15 years 9 months ago
    Procedural modeling facilities for hierarchical object generation
    Download  www.cs.ru.ac.za
    Chantelle Morkel, Shaun Bangay
    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.