476 search results - page 12 / 96 » Information Algebras |
CJ
2010
13 years 7 months ago
2010
Abstract. Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex a...
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
ISMVL
2000
IEEE
13 years 12 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...