660 search results - page 5 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
MICAI
2005
Springer
15 years 2 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
ICMAS
1998
14 years 10 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
154
click to vote
SBSC
2008
IEEE
15 years 3 months ago
2008
IEEE
The world globalization process, the increasing demand for communication and information technologies create a demand for collaborative applications. Aiming at supporting communic...
113
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...