Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
Roger S. Barga, Jonathan Goldstein, Mohamed H. Ali...
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
: Integrated access to distributed data is an important problem faced in many scientific and commercial applications. A data integration system provides a unified view for users to...
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...