288 search results - page 49 / 58 » Nominal Game Semantics |
AGTIVE
2007
Springer
14 years 3 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
ARGMAS
2005
Springer
14 years 3 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...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
One of the most significant challenges in applying agent technologies lies in deployment of agent systems in largescale open environments. ...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...