3729 search results - page 156 / 746 » On Formal Modeling of Agent Computations |
163
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Intelligent coordination in complex multi-agent environments requires sophisticated mechanisms for suboptimal task decomposition and efficient resource allocation provided by the t...
157
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
176
click to vote
PRIMA
2007
Springer
16 years 16 days ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
197
click to vote
ACOM
2006
Springer
16 years 12 days ago
2006
Springer
In this paper, we extend the classical BDI architecture for the treatment of social commitments based communication by: (1) linking social commitments and individual intentions, (2...
186
click to vote
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...