3729 search results - page 110 / 746 » On Formal Modeling of Agent Computations |
155
click to vote
ARGMAS
2005
Springer
15 years 12 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...
149
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...
159
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
154
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These e...
148
click to vote
TGC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...