2137 search results - page 302 / 428 » Proving Abstract Non-interference |
129
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
108
Voted
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
134
Voted
CICLING
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The task of Named Entity Recognition (NER) allows to identify proper names as well as temporal and numeric expressions, in an open-domain text. NER systems proved to be v...
117
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
140
click to vote
CPM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we define a new similarity measure, the nonbreaking similarity, which is the complement of the famous breakpoint distance between genomes (in general, betw...