Sciweavers

15777 search results - page 303 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
134
Voted
WOSS
2004
ACM
15 years 9 months ago
Self-adaptation for everyday systems
Svein O. Hallsteinsen, Erlend Stav, Jacqueline Flo...
84
Voted
AMAST
2004
Springer
15 years 9 months ago
Formalizing and Proving Semantic Relations between Specifications by Reflection
Manuel Clavel, Narciso Martí-Oliet, Miguel ...
EDBTW
2004
Springer
15 years 9 months ago
Context- and Situation-Awareness in Information Logistics
Ulrich Meissen, Stefan Pfennigschmidt, Agnè...
103
Voted
FASE
2004
Springer
15 years 9 months ago
A Systematic Methodology for Developing Component Frameworks
Si Won Choi, Soo Ho Chang, Soo Dong Kim
VMCAI
2004
Springer
15 years 9 months ago
Rule-Based Runtime Verification
Howard Barringer, Allen Goldberg, Klaus Havelund, ...