Search Sciweavers | Sciweavers

15155 search results - page 318 / 3031

» System Software

182

click to vote

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 1 months ago

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 »

140

click to vote

ISORC
2008
IEEE

101views Distributed And Parallel Com...» more ISORC 2008»

C++ Dynamic Cast in Autonomous Space Systems

16 years 1 months ago

Download www2.research.att.com

Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustru...

claim paper

Read More »

201

Voted

ADAEUROPE
2007
Springer

142views Software Engineering» more ADAEUROPE 2007»

Enhancing Dependability of Component-Based Systems

16 years 1 months ago

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 speciﬁc com...

Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jean...

claim paper

Read More »

184

click to vote

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

16 years 1 months ago

Download goanna.cs.rmit.edu.au

Juraj Polakovic, Sebastien Mazare, Jean-Bernard St...

claim paper