5243 search results - page 284 / 1049 » Reasoning About Strategies |
210
click to vote
COLLABORATION
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
150
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
183
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
150
click to vote
AUIC
2006
IEEE
16 years 24 days ago
2006
IEEE
Persuasive technology is defined as “any interactive product designed to change attitudes or behaviours by making desired outcomes easier to achieve”. It can take the form of...
187
click to vote
ICSM
2005
IEEE
16 years 10 days ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...