Sciweavers

    2123 search results - page 49 / 425
    » Composition of Cyber-Physical Systems
    Sort
    View
    CODES
    2009
    IEEE
    142views Software Engineering» more  CODES 2009»
    A compositional modelling framework for exploring MPSoC systems
    15 years 8 months ago
    A compositional modelling framework for exploring MPSoC systems
    Download  dogbert.eng.umd.edu
    Anders Sejer Tranberg-Hansen, Jan Madsen
    claim paper
    Read More »
    COOPIS
    1999
    IEEE
    70views Information Technology» more  COOPIS 1999»
    Event Composition in Time-dependent Distributed Systems
    15 years 8 months ago
    Event Composition in Time-dependent Distributed Systems
    Download  www.mnis.fr
    Christoph Liebig, Mariano Cilia, Alejandro P. Buch...
    claim paper
    Read More »
    ADBIS
    1999
    Springer
    87views Database» more  ADBIS 1999»
    Compositional Specification Calculus for Information Systems Development
    15 years 8 months ago
    Compositional Specification Calculus for Information Systems Development
    Download  synthesis.ipi.ac.ru
    Leonid A. Kalinichenko
    claim paper
    Read More »
    FM
    1999
    Springer
    122views Formal Methods» more  FM 1999»
    Towards a Compositional Approach to the Design and Verification of Distributed Systems
    15 years 8 months ago
    Towards a Compositional Approach to the Design and Verification of Distributed Systems
    Download  www.cs.unh.edu
    Michel Charpentier, K. Mani Chandy
    claim paper
    Read More »
    CODES
    1998
    IEEE
    103views Software Engineering» more  CODES 1998»
    An analysis-based approach to composition of distributed embedded systems
    15 years 8 months ago
    An analysis-based approach to composition of distributed embedded systems
    Download  www.cs.washington.edu
    2.1 Modal processes
    Pai H. Chou, Gaetano Borriello
    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.