8493 search results - page 1352 / 1699 » Implementing a distributed firewall |
128
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
124
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
135
click to vote
CPE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
158
click to vote
DSOM
2000
Springer
15 years 9 months ago
2000
Springer
In recent years, a significant amount of research work has addressed the use of code mobility in network management. In this paper, we introduce first three aspects of code mobilit...
160
Voted
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...