26 search results - page 1 / 6 » A Formal Model for Reasoning about Adaptive QoS-Enabled Midd... |
FM
2001
Springer
13 years 9 months ago
2001
Springer
ATAL
2010
Springer
13 years 6 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...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
IADIS
2004
13 years 6 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
ATAL
2010
Springer
13 years 5 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...