9359 search results - page 589 / 1872 » Generalization Algorithms for Second-Order Terms |
161
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
In this paper we present a meta strategy that combines two negotiation tactics. The first one based on concessions, and the second one, a trade-off tactic. The goal of this work...
177
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
203
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
189
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
This paper presents a new negotiation mechanism and a new supplier model for Trading Agent Competition Supply Chain Management(TAC SCM). Under the new negotiation mechanism, an ag...
172
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
We introduce a new cryptographic primitive, called insubvertible encryption, that produces ciphertexts which can be randomized without the need of any key material. Unlike plain u...