Search Sciweavers | Sciweavers

8083 search results - page 124 / 1617

» A Formalization of Software Architecture

129

click to vote

ICSE
2007
IEEE-ACM

116views Software Engineering» more ICSE 2007»

Self-Managed Systems: an Architectural Challenge

16 years 6 months ago

Download csse.usc.edu

Jeff Kramer, Jeff Magee

claim paper

Read More »

116

click to vote

HIPEAC
2009
Springer

109views System Software» more HIPEAC 2009»

Compiler Controlled Speculation for Power Aware ILP Extraction in Dataflow Architectures

16 years 19 days ago

Download lca.ece.utexas.edu

Muhammad Umar Farooq, Lizy Kurian John, Margarida ...

claim paper

Read More »

127

click to vote

ICSM
2009
IEEE

147views Software Engineering» more ICSM 2009»

Criteria for the evaluation of implemented architectures

16 years 15 days ago

Download homepages.cwi.nl

Eric Bouwers, Joost Visser, Arie van Deursen

claim paper

Read More »

114

click to vote

ADAEUROPE
2009
Springer

123views Software Engineering» more ADAEUROPE 2009»

Validating Safety and Security Requirements for Partitioned Architectures

16 years 14 days ago

Download www.aadl.info

Julien Delange, Laurent Pautet, Peter H. Feiler

claim paper

Read More »

130

click to vote

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

Architecture support for runtime integration and verification of component-based Systems of Systems

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers