2137 search results - page 119 / 428 » Proving Abstract Non-interference |
262
click to vote
CPM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of aligning multiple sequences of non-coding RNA genes. We approach this problem with the biologically motivated paradigm that scoring of...
151
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
153
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
157
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Fitness functions based on the Ising model are suited excellently for studying the adaption capabilities of randomised search heuristics. The one-dimensional Ising model ...
142
click to vote
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider the problem of redistributing data on homogeneous and heterogeneous processor rings. The problem arises in several applications, each time after a load-balanc...