8651 search results - page 1529 / 1731 » Intelligent agents as innovations |
157
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
156
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
135
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
The development of autonomous multi-agent systems acting upon the interests of one or more users involves the elicitation of preferences of these users. In decision theory, models...
151
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses the strengths and weaknesses of non-monotonic-offers in alternating-offer bargaining protocol. It is commonly assumed that bargainers submit monotonic offers ...
160
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present the RoleX environment for multi-agent systems. Born to support the management of role-based interactions, Rolex provides different services, in particular ...