Sciweavers

    2139 search results - page 82 / 428
    » Modeling Aspect-Oriented Compositions
    Sort
    View
    EPEW
    2010
    Springer
    172views Internet Technology» more  EPEW 2010»
    Compositional Abstraction of PEPA Models for Transient Analysis
    15 years 7 months ago
    Compositional Abstraction of PEPA Models for Transient Analysis
    Download  lanther.co.uk
    Michael J. A. Smith
    claim paper
    Read More »
    DEBU
    2008
    91views more  DEBU 2008»
    Automatic Service Composition and Synthesis: the Roman Model
    15 years 6 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 6 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 »
    TECS
    2008
    61views more  TECS 2008»
    Compositional real-time scheduling framework with periodic model
    15 years 6 months ago
    Compositional real-time scheduling framework with periodic model
    Download  www.cis.upenn.edu
    Insik Shin, Insup Lee
    claim paper
    Read More »
    CL
    1999
    Springer
    141views Automated Reasoning» more  CL 1999»
    Compositional Petri net models of advanced tasking in Ada-95
    15 years 6 months ago
    Compositional Petri net models of advanced tasking in Ada-95
    Download  www.cs.uic.edu
    Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
    Ravi K. Gedela, Sol M. Shatz, Haiping Xu
    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.