1769 search results - page 171 / 354 » Choice in Dynamic Linking |
177
Voted
IFIP
2004
Springer
16 years 12 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
203
Voted
PPSN
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Evolution Strategies, Evolutionary Algorithms based on Gaussian mutation and deterministic selection, are today considered the best choice as far as parameter optimizatio...
152
Voted
GECCO
2003
Springer
16 years 7 days ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
156
Voted
IFIP
2003
Springer
16 years 7 days ago
2003
Springer
Many network level services such as routing, auto-addressing and, security have been proposed for ad hoc networks. Each has characteristics that may cause it to outperform similar ...
161
Voted
ICEIS
2002
IEEE
15 years 12 months ago
2002
IEEE
: The Internet is experiencing an overwhelming growth that will have a negative impact on its performance and quality of service. In this paper we describe a new architecture that ...