402 search results - page 81 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
EUROSYS
2007
ACM
14 years 2 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
INFOCOM
2000
IEEE
13 years 9 months ago
2000
IEEE
Abstract— Knowledge of the up-to-date physical topology of an IP network is crucial to a number of critical network management tasks, including reactive and proactive resource ma...