PACT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
PACT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
PACT
2001
Springer
13 years 9 months ago
2001
Springer
PACT
2001
Springer
13 years 9 months ago
2001
Springer
PACT
2001
Springer
13 years 9 months ago
2001
Springer
PACT
2001
Springer
13 years 9 months ago
2001
Springer
PACT
2001
Springer
13 years 9 months ago
2001
Springer
UNICORE (UNiform Interface to COmputer REsources) provides a seamless and secure access to distributed supercomputer resources. This paper will give an overview of the its architec...
PACT
2001
Springer
13 years 9 months ago
2001
Springer
PACT
2001
Springer
13 years 9 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
PACT
2001
Springer
13 years 9 months ago
2001
Springer
