Search Sciweavers | Sciweavers

15777 search results - page 67 / 3156

» The Reformulation-Optimization Software Engine

141

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 21 days ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

122

Voted

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

16 years 21 days ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

131

click to vote

ICSR
2009
Springer

91views Software Engineering» more ICSR 2009»

Refactoring Feature Modules

16 years 21 days ago

Download www.cs.uni-magdeburg.de

Martin Kuhlemann, Don S. Batory, Sven Apel

claim paper

Read More »

148

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 21 days ago

Download www.dre.vanderbilt.edu

Amogh Kavimandan, Aniruddha S. Gokhale

claim paper

Read More »

146

click to vote

SEKE
2009
Springer

141views Software Engineering» more SEKE 2009»

Improving Natural Language Specifications with Ontologies

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers