380 search results - page 62 / 76 » Formal driven prototyping approach for multiagent systems |
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
A referral system is a multiagent system whose member agents are capable of giving and following referrals. The specific cases of interest arise where each agent has a user. The ...
ACSC
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
WELCOM
2001
Springer
14 years 1 months ago
2001
Springer
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...
FROCOS
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...