2137 search results - page 189 / 428 » Proving Abstract Non-interference |
111
click to vote
ICICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
147
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
146
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
112
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
114
Voted
MKM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...