2386 search results - page 261 / 478 » Database Security 2000 |
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
This paper considers resource allocation in a network with mobile agents competing for computational priority. We formulate this problem as a multi-agent game with the players bei...
OOPSLA
2000
Springer
15 years 2 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
POPL
2000
ACM
15 years 2 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
SAFECOMP
2000
Springer
15 years 2 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
SAFECOMP
2000
Springer
15 years 2 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...