8658 search results - page 1267 / 1732 » Models of Command and Control |
123
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
177
click to vote
DSOM
2007
Springer
16 years 1 months ago
2007
Springer
With an increasing number of devices that must be managed, the scalability of network and service management is a real challenge. A similar challenge seems to be solved by botnets ...
190
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
170
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Credit institutions are seldom faced with problems dealing with single objectives. Often, decisions involving optimizing two or more competing goals simultaneously need to be made...
148
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
We have developed an algorithm for reduction of search-space, called Domain Optimization Algorithm (DOA), applied to global optimization. This approach can efficiently eliminate ...