2317 search results - page 176 / 464 » Model based testing for agent systems |
120
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
120
Voted
WSC
2000
15 years 5 months ago
2000
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
160
click to vote
ACMICEC
2006
ACM
15 years 9 months ago
2006
ACM
In electronic marketplaces populated by self-interested agents, buyer agents would benefit by modeling the reputation of seller agents, in order to make effective decisions abou...
137
Voted
WOA
2007
15 years 4 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
148
click to vote
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
This paper presents a world model for location-aware and user-aware services in ubiquitous computing environments. It can be dynamically organized like a tree based on geographica...