A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
The aim of this paper is to provide better support for the development of secure systems. We argue that current development practice suffers from two key problems:
Ivan Flechais, Martina Angela Sasse, Stephen Haile...
Paper point out that composition of Web Services between enterprises is ineffective and costly at present technology level. A solution is proposed to compose Web Services of virtua...
One of the key issues in hardware/software{cosynthesis is precise estimation. The usual local estimation techniques are inadequate for globally optimising compilers and synthesis ...
In this paper we present a novel communication layer for distributed heterogenous environments typical found in the area of Grid computing. This communication layer is used as par...