1818 search results - page 337 / 364 » Granularity-Adaptive Proof Presentation |
126
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Tapping into the communication between two hosts on a LAN has become quite simple thanks to tools that can be downloaded from the Internet. Such tools use the Address Resolution P...
138
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
131
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
Maintaining the availability of critical servers and routers is an important concern for many organizations. At the lowest level, IP addresses represent the global namespace by wh...
116
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
134
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...