306 search results - page 16 / 62 » How do I model state |
SOCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
QUESTA
2007
13 years 9 months ago
2007
: In this paper we study the Lindley-type equation W = max{0, B − A − W}. Its main characteristic is that it is a non-increasing monotone function in its main argument W. Our m...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
SOUPS
2010
ACM
14 years 1 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...