252 search results - page 50 / 51 » Protecting Software Code by Guards |
126
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
141
Voted
ICRA
1994
IEEE
15 years 6 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
142
Voted
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Although there are various ways to exploit software vulnerabilities for malicious attacks, the attacks always result in unexpected behavior in program execution, deviating from wh...
148
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
112
Voted
COMGEO
1999
ACM
15 years 2 months ago
1999
ACM
The visual nature of geometry applications makes them a natural area where visualization can be an effective tool for demonstrating algorithms. In this paper we propose a new mode...