2638 search results - page 140 / 528 » Frameworks for Reasoning about Agent Based Systems |
121
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
162
click to vote
TELECARE
2004
15 years 6 months ago
2004
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile agent technology. There are now some industry initiatives...
141
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
150
click to vote
AOIS
2004
15 years 6 months ago
2004
Recommender systems are widely used to cope with the problem of information overload and, consequently, many recommendation methods have been developed. However, no one technique i...
139
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...