CCS
1997
ACM
13 years 11 months ago
1997
ACM
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
A feature extraction system based on artificial life concepts is presented. The system provides automatic character feature extraction through the local actions of autonomous feat...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
This paper introduces a 3D simulation environment for experiments with behavior-based autonomous agents. The virtual laboratory INSIGHT allows the user to design and run a great v...