Sciweavers

1508 search results - page 105 / 302
» Toward Software Plug-and-Play
Sort
View
EDCC
2010
Springer
14 years 19 days ago
Towards verification-based development of in-vehicle safety critical software: a case study
Martijn M. H. P. van den Heuvel, Reinder J. Bril, ...
CCS
2008
ACM
13 years 11 months ago
Towards automatic reverse engineering of software security configurations
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
Rui Wang 0010, XiaoFeng Wang, Kehuan Zhang, Zhuowe...