Despite important advances in Grid computing, scalability and interoperability issues obstruct the integration of the existing isolated grids into the Grid. We propose a worldwide ...
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Given a random set coming from the imprecise observation of a random variable, we study how to model the information about the distribution of this random variable. Specifically,...
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
A negotiating agent engages in multi-issue bilateral negotiation in a dynamic information-rich environment. The agent strives to make informed decisions. The agent may assume that...