Sciweavers

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