Scientists are increasingly turning to numerical simulation in order to investigate and model complex environmental systems. Numerical simulation has enormous advantages over labor...
Publish/subscribe middleware provides efficient support for loosely coupled communication in distributed systems. A number of different distributed message-filtering algorithms hav...
This paper presents an ant-inspired algorithm for building a self-organizing information system of a Grid. Ant-inspired mobile agents travel the Grid through P2P (peer-to-peer) int...
Agostino Forestiero, Carlo Mastroianni, Giandomeni...
In training and gaming systems, distributed multimedia are often used, in which the basic content elements must be conveyed or presented in a synchronized order at synchronized mom...
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...