Sciweavers

    2123 search results - page 50 / 425
    » Composition of Cyber-Physical Systems
    Sort
    View
    148
    Voted
    ICMCS
    1996
    IEEE
    113views Multimedia» more  ICMCS 1996»
    A Protocol Composition-Based Approach to QoS Control in Collaboration Systems
    15 years 10 months ago
    A Protocol Composition-Based Approach to QoS Control in Collaboration Systems
    Download  www.eecs.umich.edu
    Amit G. Mathur, Atul Prakash
    claim paper
    Read More »
    ECSQARU
    1997
    Springer
    334views Automated Reasoning» more  ECSQARU 1997»
    A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
    15 years 10 months ago
    A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
    Download  www.few.vu.nl
    Joeri Engelfriet, Jan Treur
    claim paper
    Read More »
    IDMS
    1997
    Springer
    104views Multimedia» more  IDMS 1997»
    MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems
    15 years 10 months ago
    MUSIC: An Interactive MUltimedia ServIce Composition Environment for Distributed Systems
    Download  www.giovannimartini.it
    Pier Giorgio Bosco, Giovanni Martini, Giovanni Ret...
    claim paper
    Read More »
    ATVA
    2009
    Springer
    111views Hardware» more  ATVA 2009»
    A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement
    15 years 10 months ago
    A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement
    Download  www.cs.technion.ac.il
    Yael Meller, Orna Grumberg, Sharon Shoham
    claim paper
    Read More »
    FOAL
    2007
    ACM
    100views Natural Language Processing» more  FOAL 2007»
    Towards a type system for detecting never-matching pointcut compositions
    15 years 10 months ago
    Towards a type system for detecting never-matching pointcut compositions
    Download  www.cs.ucf.edu
    Tomoyuki Aotani, Hidehiko Masuhara
    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.