3729 search results - page 60 / 746 » On Formal Modeling of Agent Computations |
SEFM
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
Ant robots have very low computational power and limited memory. They communicate by leaving pheromones in the environment. In order to create a cooperative intelligent behavior, ...
CCGRID
2008
IEEE
15 years 1 months ago
2008
IEEE
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
104
click to vote
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
JACIII
2007
14 years 11 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...