117
Voted
PACT
2001
Springer
15 years 5 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...
91
Voted
PACT
2001
Springer
15 years 5 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...
76
Voted
PACT
2001
Springer
15 years 5 months ago
2001
Springer
82
Voted
PACT
2001
Springer
15 years 5 months ago
2001
Springer
91
Voted
PACT
2001
Springer
15 years 5 months ago
2001
Springer
118
Voted
PACT
2001
Springer
15 years 5 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...
79
Voted
PACT
2001
Springer
15 years 5 months ago
2001
Springer
109
Voted
PACT
2001
Springer
15 years 5 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
15 years 5 months ago
2001
Springer
