Search Sciweavers | Sciweavers

13140 search results - page 122 / 2628

» Coupling Component Systems towards Systems of Systems

151

click to vote

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

16 years 16 days ago

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

157

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

16 years 15 days ago

Download www.seg.mci.sdu.dk

Jesper Berthing, Christo Angelov

claim paper

Read More »

114

click to vote

SCCC
2007
IEEE

79views Theoretical Computer Science» more SCCC 2007»

Reducing Component Systems' Behavior Specification

16 years 13 days ago

Download d3s.mff.cuni.cz

Viliam Holub, Frantisek Plasil

claim paper

Read More »

136

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

16 years 10 days ago

Download goanna.cs.rmit.edu.au

Henry Muccini, Andrea Polini, Fabiano Ricci, Anton...

claim paper

Read More »

162

click to vote

CBSE
2007
Springer

105views Software Engineering» more CBSE 2007»

Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers