8437 search results - page 1391 / 1688 » Preferences over Sets |
157
click to vote
SIGMETRICS
2004
ACM
16 years 5 days ago
2004
ACM
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...
187
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
188
click to vote
ESA
2004
Springer
16 years 4 days ago
2004
Springer
We introduce a problem directly inspired by its application to DWDM (dense wavelength division multiplexing) network design. We are given a set of demands to be carried over a netw...
190
click to vote
GPCE
2004
Springer
16 years 4 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
169
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...