165
click to vote
PACT
2001
Springer
15 years 10 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...
135
click to vote
PACT
2001
Springer
15 years 10 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...
170
click to vote
PACT
2001
Springer
15 years 10 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...
117
Voted
PACT
2001
Springer
15 years 10 months ago
2001
Springer
158
click to vote
PACT
2001
Springer
15 years 10 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...
118
Voted
PACT
2001
Springer
15 years 10 months ago
2001
Springer
