1629 search results - page 240 / 326 » Infeasible Code Detection |
ASSETS
2007
ACM
15 years 3 months ago
2007
ACM
We demonstrate a system designed to assist a visually impaired individual while moving in an unfamiliar environment. Small and economical color markers are placed in key locations...
COMPSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
108
click to vote
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
104
click to vote
HOTOS
2009
IEEE
15 years 3 months ago
2009
IEEE
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...