Sciweavers

    2838 search results - page 40 / 568
    » Verifying Controlled Components
    Sort
    View
    CBSE
    2005
    Springer
    123views Software Engineering» more  CBSE 2005»
    Exogenous Connectors for Software Components
    14 years 2 months ago
    Exogenous Connectors for Software Components
    Download  www.cs.man.ac.uk
    In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
    Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang
    claim paper
    Read More »
    SCL
    2010
    114views more  SCL 2010»
    Input-state incidence matrix of Boolean control networks and its applications
    13 years 3 months ago
    Input-state incidence matrix of Boolean control networks and its applications
    Download  lsc.amss.ac.cn
    The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
    Yin Zhao, Hongsheng Qi, Daizhan Cheng
    claim paper
    Read More »
    IRI
    2003
    IEEE
    97views Information Technology» more  IRI 2003»
    A Formal Framework for Design Component Contracts
    14 years 2 months ago
    A Formal Framework for Design Component Contracts
    Download  www.utdallas.edu
    – Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
    Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
    claim paper
    Read More »
    JSS
    2006
    155views more  JSS 2006»
    Semantic component networking: Toward the synergy of static reuse and dynamic clustering of resources in the knowledge grid
    13 years 8 months ago
    Semantic component networking: Toward the synergy of static reuse and dynamic clustering of resources in the knowledge grid
    Download  kg.ict.ac.cn
    Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
    Hai Zhuge
    claim paper
    Read More »
    ASPDAC
    2007
    ACM
    120views Hardware» more  ASPDAC 2007»
    Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost
    14 years 27 days ago
    Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost
    Download  www.cecs.uci.edu
    The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
    Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.