In this paper we address the issue of automating systems management. Currently, any changes made in the configuration settings of the IT infrastructure in an enterprise are perfor...
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
Remotely sensed images from satellite sensors such as MODIS Aqua and Terra provide high temporal resolution and wide area coverage. Unfortunately, these images frequently include ...
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...
Gerardo Canfora, Massimiliano Di Penta, Raffaele E...