Protection in operating systems
Communications of the ACM
An interrupt based organization for management information systems
Communications of the ACM
GI - 5. Jahrestagung
Some algebraic and combinatorial aspects of Multiple-valued circuits
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
Application of multi-valued logics to the study of human movement control and of movement disorders
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
Hi-index | 0.00 |
The paper presents a formulation of a combinatorial multi-valued protection model which is a special case of the possibilistic protection models developed by the author. A class of 5-valued functionally complete logic systems based on the Pinkava multi-valued logic algebras is used as a notational base for the MVL-protection model. The complexity measures given in the paper show that the MVL-protection models are clearly superior to binary ones.