3420 search results - page 375 / 684 » A Language-Based Approach to Security |
205
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
167
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Real-time obstacle avoidance and low-level navigation is a fundamental problem for autonomous animated creatures. Here we present an ethologically inspired approach to this proble...
173
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come fro...
194
click to vote
ACISP
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new approach to precompute all odd points [3]P, [5]P, . . . , [2k - 1]P, k 2 on an elliptic curve over Fp. Those points are required for the efficient evalua...
207
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...