CCS
1997
ACM
14 years 3 months ago
1997
ACM
CSFW
1996
IEEE
14 years 3 months ago
1996
IEEE
CSFW
1996
IEEE
14 years 3 months ago
1996
IEEE
CSFW
1996
IEEE
14 years 3 months ago
1996
IEEE
CSFW
1996
IEEE
14 years 3 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
14 years 3 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
14 years 3 months ago
1997
Springer
AGENTS
1997
Springer
14 years 3 months ago
1997
Springer
AGENTS
1997
Springer
14 years 3 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
14 years 3 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...