3747 search results - page 502 / 750 » Active Operations on Collections |
176
click to vote
ESORICS
2005
Springer
16 years 4 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
183
click to vote
WWIC
2005
Springer
16 years 3 days ago
2005
Springer
The needs for run-time data storage in modern wired and wireless network applications are increasing. Additionally, the nature of these applications is very dynamic, resulting in ...
172
click to vote
SIGCOMM
2004
ACM
16 years 1 days ago
2004
ACM
The ability to locate network bottlenecks along end-to-end paths on the Internet is of great interest to both network operators and researchers. For example, knowing where bottlen...
169
click to vote
ECAI
2004
Springer
16 years 17 hour ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
202
click to vote
VIZSEC
2004
Springer
15 years 12 months ago
2004
Springer
This paper examines the dramatic visual fingerprints left by a wide variety of popular network attack tools in order to better understand the specific methodologies used by attack...