4520 search results - page 847 / 904 » Algebraic Techniques for Timed Systems |
122
click to vote
CCECE
2009
IEEE
15 years 7 months ago
2009
IEEE
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
105
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we study approximate landmark-based methods for point-to-point distance estimation in very large networks. These methods involve selecting a subset of nodes as landm...
ACSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Side channels are typically viewed as attacks that leak cryptographic keys during cryptographic algorithm processing, by observation of system side effects. In this paper, we pres...
109
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...