3729 search results - page 111 / 746 » On Formal Modeling of Agent Computations |
178
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
183
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We consider the problem of allocating networked resources in dynamic environment, such as cloud computing platforms, where providers strategically price resources to maximize thei...
182
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We propose a method for constructing Dempster-Shafer belief functions modeling the trust of a given agent (the evaluator) in another (the target) by combining statistical informat...
148
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
190
click to vote
CA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...