264 search results - page 23 / 53 » Verifying Dribble Agents |
SAC
2009
ACM
14 years 5 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...
IAT
2005
IEEE
14 years 4 months ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
JUCS
2008
13 years 11 months ago
2008
: A central characteristic of ad hoc mobile networks is the frequent changes of their topology. This is the source of many problems that need to be solved. AODV is an on-demand rou...
IPM
2007
13 years 11 months ago
2007
As access to information becomes more intensive in society, a great deal of that information is becoming available through diverse channels. Accordingly, users require effective ...
IJIS
2008
13 years 11 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...