Sciweavers

15777 search results - page 454 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
LCTRTS
2004
Springer
16 years 29 days ago
Adaptive code unloading for resource-constrained JVMs
Lingli Zhang, Chandra Krintz
RE
2006
Springer
15 years 7 months ago
Goal-Oriented Requirements Engineering, Part II
We briefly review the history and key ideas in Goal-Oriented Requirements Engineering research. We then sketch two applications of these ideas. The first involves establishing an ...
John Mylopoulos
SCAM
2009
IEEE
16 years 2 months ago
Engineering Abstractions in Model Checking and Testing
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
Michael Achenbach, Klaus Ostermann