77
Voted
CCS
1997
ACM
15 years 7 months ago
1997
ACM
105
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE
111
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE
109
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE
170
Voted
CSFW
1996
IEEE
15 years 7 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...
118
Voted
CSFW
1996
IEEE
15 years 7 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...
102
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
97
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
117
Voted
AGENTS
1997
Springer
15 years 7 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...
147
click to vote
AGENTS
1997
Springer
15 years 7 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...