Sciweavers

    8644 search results - page 92 / 1729
    » On the Composition of Secure Systems
    Sort
    View
    SIGOPSE
    1998
    ACM
    79views Operating System» more  SIGOPSE 1998»
    Driving the composition of runtime platforms by architectural knowledge
    15 years 10 months ago
    Driving the composition of runtime platforms by architectural knowledge
    Download  wwwagss.informatik.uni-kl.de
    Lothar Baum, Martin Becker, Lars Geyer, Georg Molt...
    claim paper
    Read More »
    SIES
    2010
    IEEE
    191views Embedded Systems» more  SIES 2010»
    Compositional Translation of Simulink Models into Synchronous BIP
    15 years 3 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 »
    RTAS
    2003
    IEEE
    127views Embedded Systems» more  RTAS 2003»
    VEST: An Aspect-Based Composition Tool for Real-Time Systems
    15 years 11 months ago
    VEST: An Aspect-Based Composition Tool for Real-Time Systems
    Download  www.cs.virginia.edu
    Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
    John A. Stankovic, Ruiqing Zhu, Ram Poornalingam, ...
    claim paper
    Read More »
    ISORC
    1998
    IEEE
    132views Distributed And Parallel Com...» more  ISORC 1998»
    Compositional Specification and Structured Verification of Hybrid Systems in cTLA
    15 years 10 months ago
    Compositional Specification and Structured Verification of Hybrid Systems in cTLA
    Download  www.item.ntnu.no
    Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
    Peter Herrmann, Günter Graw, Heiko Krumm
    claim paper
    Read More »
    ICALT
    2005
    IEEE
    121views Machine Learning» more  ICALT 2005»
    The Design for a Collaborative System of English as Foreign Language Composition Writing of Senior High School Students in Taiwa
    15 years 11 months ago
    The Design for a Collaborative System of English as Foreign Language Composition Writing of Senior High School Students in Taiwa
    Download  csdl2.computer.org
    The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...
    Yi-Fan Chang, Diane L. Schallert
    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.