Sciweavers

    7623 search results - page 93 / 1525
    » Constructive Volume Modeling
    Sort
    View
    DATE
    2005
    IEEE
    172views Hardware» more  DATE 2005»
    Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
    15 years 11 months ago
    Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
    Download  www.date-conference.com
    Embedded software design for real time reactive system
    Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
    claim paper
    Read More »
    GPCE
    2005
    Springer
    105views Programming Languages» more  GPCE 2005»
    Model Compiler Construction Based on Aspect-Oriented Mechanisms
    15 years 11 months ago
    Model Compiler Construction Based on Aspect-Oriented Mechanisms
    Download  ds.lib.kyutech.ac.jp
    Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusak...
    claim paper
    Read More »
    CVPR
    2003
    IEEE
    139views Computer Vision» more  CVPR 2003»
    Constructing 3D City Models by Merging Ground-Based and Airborne Views
    15 years 11 months ago
    Constructing 3D City Models by Merging Ground-Based and Airborne Views
    Download  www.eecs.umich.edu
    Christian Früh, Avideh Zakhor
    claim paper
    Read More »
    CICLING
    2003
    Springer
    119views Natural Language Processing» more  CICLING 2003»
    A Corpus Balancing Method for Language Model Construction
    15 years 11 months ago
    A Corpus Balancing Method for Language Model Construction
    Download  ccc.inaoep.mx
    Luis Villaseñor Pineda, Manuel Montes-y-G&o...
    claim paper
    Read More »
    EMSOFT
    2003
    Springer
    111views Software Engineering» more  EMSOFT 2003»
    Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
    15 years 11 months ago
    Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
    Download  www.irisa.fr
    Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
    Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
    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.