6 search results - page 2 / 2 » Bisimulation and Logical Preservation for Continuous-Time Ma... |
DSN
2009
IEEE
13 years 3 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...