Search Sciweavers | Sciweavers

4919 search results - page 14 / 984

» A Process-Ontological Model for Software Engineering

116

click to vote

ICSE
2004
IEEE-ACM

110views Software Engineering» more ICSE 2004»

Calculating Architectural Reliability via Modeling and Analysis

16 years 6 months ago

Download fac-staff.seattleu.edu

Roshanak Roshandel

claim paper

Read More »

122

click to vote

WOSP
2010
ACM

150views Software Engineering» more WOSP 2010»

The palladio component model

16 years 21 days ago

Download agrausch.informatik.uni-kl.de

Steffen Becker

claim paper

Read More »

131

Voted

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

16 years 20 days ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper

Read More »

124

click to vote

FASE
2009
Springer

70views Software Engineering» more FASE 2009»

Synchronous Modeling and Validation of Priority Inheritance Schedulers

16 years 19 days ago

Download hal.archives-ouvertes.fr

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

claim paper

Read More »

112

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers