Sciweavers

    2060 search results - page 64 / 412
    » The Composition of Event-B Models
    Sort
    View
    IJCAI
    1993
    88views Artificial Intelligence» more  IJCAI 1993»
    Compositional Model-Based Design
    15 years 5 months ago
    Compositional Model-Based Design
    Download  www.qrg.northwestern.edu
    Prasanta K. Bose, Shankar A. Rajamoney
    claim paper
    Read More »
    ECMDAFA
    2010
    Springer
    135views Hardware» more  ECMDAFA 2010»
    Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework
    15 years 5 months ago
    Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework
    Download  reuseware.org
    Jendrik Johannes, Miguel A. Fernández
    claim paper
    Read More »
    106
    Voted
    EPEW
    2010
    Springer
    172views Internet Technology» more  EPEW 2010»
    Compositional Abstraction of PEPA Models for Transient Analysis
    15 years 5 months ago
    Compositional Abstraction of PEPA Models for Transient Analysis
    Download  lanther.co.uk
    Michael J. A. Smith
    claim paper
    Read More »
    79
    Voted
    DEBU
    2008
    91views more  DEBU 2008»
    Automatic Service Composition and Synthesis: the Roman Model
    15 years 4 months ago
    Automatic Service Composition and Synthesis: the Roman Model
    Download  sites.computer.org
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    JISE
    2008
    109views more  JISE 2008»
    An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
    15 years 3 months ago
    An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
    Download  www.iis.sinica.edu.tw
    Zhijun Ding, Junli Wang, Changjun Jiang
    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.