5273 search results - page 920 / 1055 » Secured Web Access |
150
click to vote
ANSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
140
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
155
click to vote
SBACPAD
2003
IEEE
15 years 10 months ago
2003
IEEE
A large set of tools for network monitoring and accounting, security, traffic analysis and prediction — more broadly, for network operation and management — require direct and...
131
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
169
Voted
DANCE
2002
IEEE
15 years 10 months ago
2002
IEEE
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...