Sciweavers

    19587 search results - page 111 / 3918
    » Systems Engineering for software Engineers
    Sort
    View
    103
    Voted
    FATES
    2004
    Springer
    86views Software Engineering» more  FATES 2004»
    An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
    15 years 10 months ago
    An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
    Download  www.eecs.wsu.edu
    Gaoyan Xie, Zhe Dang
    claim paper
    Read More »
    CODES
    2009
    IEEE
    142views Software Engineering» more  CODES 2009»
    A compositional modelling framework for exploring MPSoC systems
    15 years 9 months ago
    A compositional modelling framework for exploring MPSoC systems
    Download  dogbert.eng.umd.edu
    Anders Sejer Tranberg-Hansen, Jan Madsen
    claim paper
    Read More »
    82
    Voted
    BC
    2010
    62views more  BC 2010»
    Neural network simulations of the primate oculomotor system. V. Eye-head gaze shifts
    15 years 2 months ago
    Neural network simulations of the primate oculomotor system. V. Eye-head gaze shifts
    Download  www.iacm.forth.gr
    A. A. Kardamakis, A. Grantyn, A. K. Moschovakis
    claim paper
    Read More »
    124
    Voted
    SIMULATION
    2010
    96views more  SIMULATION 2010»
    A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
    14 years 11 months ago
    A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
    Download  www.fceia.unr.edu.ar
    Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
    claim paper
    Read More »
    ENTCS
    2006
    90views more  ENTCS 2006»
    A Framework for Engineering Interactions in Java-based Component Systems
    15 years 4 months ago
    A Framework for Engineering Interactions in Java-based Component Systems
    Download  lia.deis.unibo.it
    This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
    Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
    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.