1179 search results - page 215 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
USS
2008
15 years 2 months ago
2008
The notion of blacklisting communication sources has been a well-established defensive measure since the origins of the Internet community. In particular, the practice of compilin...
100
click to vote
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Link-translating proxies are widely used for anonymous browsing, policy circumvention and WebVPN functions. These are implemented by encoding the destination URL in the path of th...
SDM
2004
SIAM
15 years 1 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
131
click to vote
SCL
2011
14 years 2 months ago
2011
The fact that the heat equation is controllable to zero in any bounded domain of the euclidean space, any time T > 0 and from any open subset of the boundary is well known. On ...