Sciweavers

380 search results - page 6 / 76
» Formal driven prototyping approach for multiagent systems
Sort
View
SERP
2007
13 years 9 months ago
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
Kendra Cooper, Lirong Dai, Sergiu Dascalu, Nehal M...
LADS
2007
Springer
14 years 1 months ago
DCaseLP: A Prototyping Environment for Multi-language Agent Systems
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
Viviana Mascardi, Maurizio Martelli, Ivana Gungui
ATAL
2003
Springer
14 years 29 days ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
ATAL
2008
Springer
13 years 9 months ago
Adaptive Kanerva-based function approximation for multi-agent systems
In this paper, we show how adaptive prototype optimization can be used to improve the performance of function approximation based on Kanerva Coding when solving largescale instanc...
Cheng Wu, Waleed Meleis
ATAL
2004
Springer
14 years 1 months ago
Towards a Formal Approach to Overhearing: Algorithms for Conversation Identification
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...
Gery Gutnik, Gal A. Kaminka