Sciweavers

15727 search results - page 509 / 3146
» Software Engineering - Introduction
Sort
View
145
Voted
QSIC
2008
IEEE
16 years 1 months ago
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...
QSIC
2008
IEEE
16 years 1 months ago
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
SCAM
2008
IEEE
16 years 1 months ago
Analysis and Transformations for Efficient Query-Based Debugging
Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel...
CGO
2007
IEEE
16 years 1 months ago
Graph-Based Procedural Abstraction
A. Dreweke, Marc Wörlein, Ingrid Fischer, D. ...