380 search results - page 3 / 76 » Formal driven prototyping approach for multiagent systems |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
WETICE
1998
IEEE
13 years 9 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
ITNG
2008
IEEE
13 years 11 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
CEEMAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...