5119 search results - page 799 / 1024 » Security Privacy |
247
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
156
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
165
click to vote
SPW
2000
Springer
15 years 10 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
144
Voted
OOPSLA
1997
Springer
15 years 10 months ago
1997
Springer
A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyp...
172
click to vote
SP
1991
IEEE
15 years 10 months ago
1991
IEEE
In this paper we give a new decomposition algorithm that breaks a multilevel relation into single-level relations and a new recovery algorithmwhich reconstructs the original multi...