2092 search results - page 106 / 419 » A domain specific modeling language for multiagent systems |
AI
2007
Springer
13 years 9 months ago
2007
Springer
In this paper, we model multi-agent events in terms of a temporally varying sequence of sub-events, and propose a novel approach for learning, detecting and representing events in...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
MAGS
2008
13 years 8 months ago
2008
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
IADIS
2003
13 years 10 months ago
2003
With the consolidation of the Internet and other computer networks, the need of sophisticated systems to retrieve information increased enormously. In these networks, information ...