Search Sciweavers | Sciweavers

15777 search results - page 303 / 3156

» The Reformulation-Optimization Software Engine

185

Voted

WOSS
2004
ACM

147views Software Engineering» more WOSS 2004»

Self-adaptation for everyday systems

16 years 20 days ago

Download www.cs.cmu.edu

Svein O. Hallsteinsen, Erlend Stav, Jacqueline Flo...

claim paper

Read More »

129

click to vote

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

16 years 20 days ago

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

115

click to vote

EDBTW
2004
Springer

106views Software Engineering» more EDBTW 2004»

Context- and Situation-Awareness in Information Logistics

16 years 19 days ago

Download www.wireless-earth.de

Ulrich Meissen, Stefan Pfennigschmidt, Agnè...

claim paper

Read More »

160

click to vote

FASE
2004
Springer

103views Software Engineering» more FASE 2004»

A Systematic Methodology for Developing Component Frameworks

16 years 19 days ago

Download soft.ssu.ac.kr

Si Won Choi, Soo Ho Chang, Soo Dong Kim

claim paper

Read More »

128

click to vote

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers