Sciweavers

    2558 search results - page 98 / 512
    » Model Composition Contracts
    Sort
    View
    TECS
    2008
    61views more  TECS 2008»
    Compositional real-time scheduling framework with periodic model
    15 years 3 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 3 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 »
    100
    Voted
    DKE
    1999
    90views more  DKE 1999»
    Temporal Semantics of Compositional Task Models and Problem Solving Methods
    15 years 3 months ago
    Temporal Semantics of Compositional Task Models and Problem Solving Methods
    Download  www.cs.vu.nl
    Frances M. T. Brazier, Jan Treur, Niek J. E. Wijng...
    claim paper
    Read More »
    SIES
    2010
    IEEE
    191views Embedded Systems» more  SIES 2010»
    Compositional Translation of Simulink Models into Synchronous BIP
    15 years 1 months ago
    Compositional Translation of Simulink Models into Synchronous BIP
    Download  www-verimag.imag.fr
    Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safa...
    claim paper
    Read More »
    COLING
    2010
    172views Computational Linguistics» more  COLING 2010»
    Composition of Semantic Relations: Model and Applications
    14 years 11 months ago
    Composition of Semantic Relations: Model and Applications
    Download  www.hlt.utdallas.edu
    This paper presents a framework for combining semantic relations extracted from text to reveal even more semantics that otherwise would be missed. A set of 26 relations is introdu...
    Eduardo Blanco 0002, Hakki C. Cankaya, Dan I. Mold...
    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.