Search Sciweavers | Sciweavers

12333 search results - page 187 / 2467

» System Level Modelling for Hardware Software Systems

115

Voted

ICSE
2003
IEEE-ACM

116views Software Engineering» more ICSE 2003»

Architectural Interaction Diagrams: AIDs for System Modeling

16 years 6 months ago

Download www.cs.sunysb.edu

Arnab Ray, Rance Cleaveland

claim paper

Read More »

120

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 29 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

128

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

16 years 29 days ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

127

click to vote

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

16 years 29 days ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

154

click to vote

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers