Sciweavers

    15155 search results - page 318 / 3031
    » System Software
    Sort
    View
    SAC
    2006
    ACM
    107views Applied Computing» more  SAC 2006»
    A UML 2-compatible language and tool for formal modeling real-time system architectures
    16 years 19 days ago
    A UML 2-compatible language and tool for formal modeling real-time system architectures
    Download  home.dei.polimi.it
    ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
    Pietro Colombo, Matteo Pradella, Matteo Rossi
    claim paper
    Read More »
    ISORC
    2008
    IEEE
    101views Distributed And Parallel Com...» more  ISORC 2008»
    C++ Dynamic Cast in Autonomous Space Systems
    16 years 1 months ago
    C++ Dynamic Cast in Autonomous Space Systems
    Download  www2.research.att.com
    Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustru...
    claim paper
    Read More »
    185
    Voted
    ADAEUROPE
    2007
    Springer
    142views Software Engineering» more  ADAEUROPE 2007»
    Enhancing Dependability of Component-Based Systems
    16 years 27 days ago
    Enhancing Dependability of Component-Based Systems
    Download  www.fb9dv.uni-duisburg.de
    Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
    Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jean...
    claim paper
    Read More »
    CBSE
    2007
    Springer
    105views Software Engineering» more  CBSE 2007»
    Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems
    16 years 26 days ago
    Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems
    Download  goanna.cs.rmit.edu.au
    Juraj Polakovic, Sebastien Mazare, Jean-Bernard St...
    claim paper
    Read More »
    ISORC
    2006
    IEEE
    84views Distributed And Parallel Com...» more  ISORC 2006»
    On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances
    16 years 21 days ago
    On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances
    Download  www.real-time.ece.vt.edu
    Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Dou...
    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.