Sciweavers

15777 search results - page 28 / 3156
» Software Engineering
Sort
View
WOSP
2004
ACM
15 years 11 months ago
A framework for QoS-aware software components
Daniel A. Menascé, Honglei Ruan, Hassan Gom...
VMCAI
2004
Springer
15 years 11 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi