2137 search results - page 119 / 428 » Proving Abstract Non-interference |
218
Voted
CPM
2004
Springer
15 years 8 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...
104
Voted
ER
2004
Springer
15 years 8 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...
118
click to vote
FOSSACS
2004
Springer
15 years 8 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 ...
112
click to vote
GECCO
2004
Springer
15 years 8 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 ...
106
click to vote
HIPC
2004
Springer
15 years 8 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...