Automating enterprise workflows could unlock $4 trillion/year in productivity gains. Despite
being of interest to the data management community for decades, the ultimate vision of end …

Many researchers have explored ways to bring static typing to dynamic languages.
However, to date, such systems are not precise enough when types depend on values …

Deductive verification has gained paramount attention from both academia and industry.
Although intensive research in this direction covers almost all mainstream languages, the …

Data-intensive applications as popularised by cloud computing raise many security
challenges, due to the large number of remote users involved and multi-tenancy. Frequently …

Database-centric applications (DCAs) are widely used by many companies and
organizations to perform various control and analytical tasks using large databases. Real …

Grid computing provides a distributed computing environment which supports high
performance and data intensive applications by enabling the sharing and selecting various …

The core idea of this book is that object-oriented technology is a generic technology whose
various technical aspects could be presented in a unified and consistent framework. This …

Unlike the existing object-oriented and other database technologies, database schemas in
the technology developed in this research are equipped with very general integrity …

Type systems are effective tools for verifying the security of cryptographic protocols and
implementations. They provide automation, modularity and scalability, and have been …

A large diversity of different approaches to integrity checking has been proposed in the
literature. We present a generic approach to integrity checking that is based on …