182 search results - page 3 / 37 » Design by Contract Deontic Design Language for Multiagent Sy... |
DLS
2007
15 years 1 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
99
Voted
AMET
1998
Springer
15 years 1 months ago
1998
Springer
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
106
click to vote
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
91
Voted
ICMAS
1998
14 years 11 months ago
1998
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...