7758 search results - page 1172 / 1552 » On the Number of Distributive Lattices |
208
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
215
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
Authenticated session key establishment is a central issue in network security. This paper addresses a question on whether we can design a compact, efficient and authenticated key ...
180
Voted
SIGMOD
1998
ACM
15 years 11 months ago
1998
ACM
In large data recording and warehousing environments, it is often advantageous to provide fast, approximate answers to queries, whenever possible. Before DBMSs providing highly-ac...
180
click to vote
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a ...
172
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...