1222 search results - page 212 / 245 » Verifying a File System Implementation |
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
HOST
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
100
click to vote
ECMDAFA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
ACSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Cross-site Scripting (XSS) has emerged to one of the most prevalent type of security vulnerabilities. While the reason for the vulnerability primarily lies on the serverside, the ...
CRV
2008
IEEE
15 years 6 months ago
2008
IEEE
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...