3444 search results - page 391 / 689 » A Theory of Object-Oriented Design |
206
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
172
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
200
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
We are concerned with the use of Mobile Agents for information retrieval. A multi-agent system is considered; a number of agents are involved in a collective effort to retrieve di...
224
click to vote
CCS
2005
ACM
16 years 29 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
209
click to vote
DALT
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...