Sciweavers

15777 search results - page 483 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ISSRE
2008
IEEE
15 years 11 months ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly
QSIC
2008
IEEE
15 years 11 months ago
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...
QSIC
2008
IEEE
15 years 11 months ago
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...