3951 search results - page 38 / 791 » Automatic amortized analysis |
92
Voted
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
99
Voted
MIR
2004
ACM
15 years 9 months ago
2004
ACM
102
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
144
Voted
ICICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...