CCS
1998
ACM
14 years 3 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
14 years 3 months ago
1998
ACM
CCS
1998
ACM
14 years 3 months ago
1998
ACM
CCS
1998
ACM
14 years 3 months ago
1998
ACM
CCS
1998
ACM
14 years 3 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
14 years 3 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
14 years 3 months ago
1998
ACM
CCS
1998
ACM
14 years 3 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
14 years 3 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
14 years 3 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...