5210 search results - page 271 / 1042 » Tools for Distributed Facilitation |
216
click to vote
ERCIMDL
2001
Springer
15 years 11 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
162
click to vote
HPDC
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe a software infrastructure designed to support the development of applications that use high-speed networks to connect geographically distributed supercomputers, databa...
195
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
148
click to vote
ICS
1997
Tsinghua U.
15 years 10 months ago
1997
Tsinghua U.
Adaptive mesh re nement (AMR) is a very important scienti c application. Several libraries implementing speci c distribution policies havebeen written for AMR. In this paper, we p...
163
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...