CCS
1998
ACM
13 years 12 months ago
1998
ACM
Attacks on servers that provide anonymity generally fall into two categories: attempts to expose anonymous users and attempts to silence them. Much existing work concentrates on w...
CCS
1998
ACM
13 years 12 months ago
1998
ACM
CCS
1998
ACM
13 years 12 months ago
1998
ACM
CCS
1998
ACM
13 years 12 months ago
1998
ACM
CCS
1998
ACM
13 years 12 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
CCS
1998
ACM
13 years 12 months ago
1998
ACM
State-of-the-art and emerging scientific applications require fast access to large quantities of data and commensurately fast computational resources. Both resources and data are ...
CCS
1998
ACM
13 years 12 months ago
1998
ACM
CCS
1998
ACM
13 years 12 months ago
1998
ACM
Many modern computing environments involve dynamic peer groups. Distributed simulation, multi-user games, conferencing and replicated servers are just a few examples. Given the op...
AGENTS
1998
Springer
13 years 12 months ago
1998
Springer
While the theoretical and experimental foundations of agent-based systems are becoming increasingly well understood, comparatively little effort has been devoted to understanding ...
AGENTS
1998
Springer
13 years 12 months ago
1998
Springer
Parallel and distributed information processing systems play an increasingly important role in artificial intelligence and computer science. In this article an approach to learnin...