8492 search results - page 1584 / 1699 » Modelling and Design of Multi-Agent Systems |
ICS
1994
Tsinghua U.
14 years 1 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
ATAL
2009
Springer
14 years 27 days ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
ATAL
2007
Springer
14 years 27 days ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
B
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
CONEXT
2007
ACM
14 years 25 days ago
2007
ACM
Internet interdomain routing is policy-driven, and thus physical connectivity does not imply reachability. On average, routing on today's Internet works quite well, ensuring ...