9267 search results - page 1711 / 1854 » Expectation-Oriented Analysis and Design |
171
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
176
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...
168
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
185
click to vote
ADHOCNOW
2003
Springer
15 years 11 months ago
2003
Springer
This paper models an ad-hoc network as a continuum of nodes, ignoring edge effects, to find how the traffic scales with N, the number of nodes. We obtain expressions for the traffi...
129
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Negotiation is essential in settings where agents have conflicting interests and a desire to cooperate. In many approaches, agents are assumed to have pre-set, fixed preferences...