Sciweavers

    4434 search results - page 102 / 887
    » On the Composition of Hybrid Systems
    Sort
    View
    IFM
    2010
    Springer
    111views Formal Methods» more  IFM 2010»
    Verification Architectures: Compositional Reasoning for Real-Time Systems
    15 years 4 months ago
    Verification Architectures: Compositional Reasoning for Real-Time Systems
    Download  csd.informatik.uni-oldenburg.de
    Johannes Faber
    claim paper
    Read More »
    SCL
    2010
    103views more  SCL 2010»
    Compositional analysis for linear systems
    15 years 4 months ago
    Compositional analysis for linear systems
    Download  iwi.eldoc.ub.rug.nl
    Florian Kerber, Arjan van der Schaft
    claim paper
    Read More »
    QEST
    2010
    IEEE
    170views Modeling and Simulation» more  QEST 2010»
    Compositional Verification of Probabilistic Systems Using Learning
    15 years 4 months ago
    Compositional Verification of Probabilistic Systems Using Learning
    Download  www.prismmodelchecker.org
    Lu Feng, Marta Z. Kwiatkowska, David Parker
    claim paper
    Read More »
    APSEC
    2010
    IEEE
    192views Software Engineering» more  APSEC 2010»
    Rule-Based Composition Behaviors in Dynamic Plug-In Systems
    15 years 1 months ago
    Rule-Based Composition Behaviors in Dynamic Plug-In Systems
    Download  ase.jku.at
    Markus Jahn, Markus Löberbauer, Reinhard Wolf...
    claim paper
    Read More »
    SEFM
    2007
    IEEE
    123views Software Engineering» more  SEFM 2007»
    Run-time Composition and Adaptation of Mismatching Behavioural Transactions
    16 years 18 days ago
    Run-time Composition and Adaptation of Mismatching Behavioural Transactions
    Download  congresos.lcc.uma.es
    Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
    Javier Cámara, Gwen Salaün, Carlos Can...
    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.