2137 search results - page 163 / 428 » Proving Abstract Non-interference |
107
click to vote
ACISP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A feasible solution to prevent potential misuse of signatures is to put some restrictions on their verification. Therefore S.J.Kim, S.J.Park and D.H.Won introduced the n...
119
Voted
COLT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider the problem of estimating an unknown probability distribution from samples using the principle of maximum entropy (maxent). To alleviate overfitting with a v...
130
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
145
click to vote
ISSAC
2004
Springer
15 years 8 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
119
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...