5754 search results - page 1106 / 1151 » Multi-class Model M |
129
Voted
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
136
Voted
CAV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
143
click to vote
ISIPTA
1999
IEEE
15 years 7 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
121
Voted
ICS
1999
Tsinghua U.
15 years 7 months ago
1999
Tsinghua U.
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
122
Voted
NPIV
1998
ACM
15 years 7 months ago
1998
ACM
We explore techniques from visualization and computational geometry to make tactical information more intuitive to a military commander. To be successful, the commander must quick...