249 search results - page 30 / 50 » Specification and Verification of Dynamics in Cognitive Agen... |
AAMAS
2006
Springer
13 years 7 months ago
2006
Springer
In many dynamic open systems, agents have to interact with one another to achieve their goals. Here, agents may be self-interested and when trusted to perform an action for another...
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
Annotating music poses a cognitive load on listeners and this potentially interferes with the emotions being reported. One solution is to let software agents learn to make the ann...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
MABS
2004
Springer
14 years 1 months ago
2004
Springer
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...