6906 search results - page 1363 / 1382 » An algorithm for modelling key terms |
167
Voted
PODC
2003
ACM
15 years 10 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
176
click to vote
SIGECOM
2003
ACM
15 years 10 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
158
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...
134
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Cooperation is the fundamental underpinning of multi-agent systems, allowing agents to interact to achieve their goals. Where agents are self-interested, or potentially unreliable...
178
click to vote
WOLLIC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...