-
1
-
-
43949140641
-
-
Bordini, R, Fisher, M, Pardavila, C, Wooldridge, M, Model checking agentspeak
-
Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak
-
-
-
-
2
-
-
43949100778
-
-
Bordini, R.H., Dastani, M., Dix, J., EI Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. In: Multiagent Systems, Artificial Societies, and Simulated Organizations, 15. Springer, Heidelberg (2005)
-
Bordini, R.H., Dastani, M., Dix, J., EI Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. In: Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)
-
-
-
-
4
-
-
46449083425
-
Towards a methodology for engineering self-organising emergent systems
-
De Wolf, T., Holvoet, T.: Towards a methodology for engineering self-organising emergent systems. Self-Organization and Autonomic Informatics 135, 18-34 (2005)
-
(2005)
Self-Organization and Autonomic Informatics
, vol.135
, pp. 18-34
-
-
De Wolf, T.1
Holvoet, T.2
-
5
-
-
0026867855
-
Using visualization tools to understand concurrency
-
Dror Zernitk, M.S., Malki, D.: Using visualization tools to understand concurrency. IEEE Softw 9, 87-92 (1992)
-
(1992)
IEEE Softw
, vol.9
, pp. 87-92
-
-
Dror Zernitk, M.S.1
Malki, D.2
-
6
-
-
0012279395
-
Fipa acl message structure specification
-
FIPA, Technical report, FIPA
-
FIPA. Fipa acl message structure specification. Technical report, FIPA (2002)
-
(2002)
-
-
-
7
-
-
4544319080
-
Fipa contract net interaction protocol specication
-
FIPA, Technical report, FIPA
-
FIPA. Fipa contract net interaction protocol specication. Technical report, FIPA (2002)
-
(2002)
-
-
-
9
-
-
43949108660
-
On the application of clustering techniques to support debugging large-scale multi-agent systems
-
Hakodate, Japan
-
Botia, J.M.H.J.A., Gomez-Skarmeta, A.F.: On the application of clustering techniques to support debugging large-scale multi-agent systems. In: Programming Multi-Agent Systems Workshop AAMAS, Hakodate, Japan (2006)
-
(2006)
Programming Multi-Agent Systems Workshop AAMAS
-
-
Botia, J.M.H.J.A.1
Gomez-Skarmeta, A.F.2
-
11
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558-565 (1978)
-
(1978)
Commun. ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
12
-
-
0032645260
-
Visualising and debugging distributed multi-agent systems
-
ACM Press ed
-
Ndumu, D.T., Nwana, H.S., Lee, L.C., Collis, J.C.: Visualising and debugging distributed multi-agent systems. In: ACM Press (ed.) AGENTS 1999: Proceedings of the third annual conference on Autonomous Agents, pp. 326-333 (1999)
-
(1999)
AGENTS 1999: Proceedings of the third annual conference on Autonomous Agents
, pp. 326-333
-
-
Ndumu, D.T.1
Nwana, H.S.2
Lee, L.C.3
Collis, J.C.4
-
13
-
-
0030085656
-
Logical time: Capturing causality in distributed systems
-
Raynal, M., Singhal, M.: Logical time: Capturing causality in distributed systems. Computer 29(2), 49-56 (1996)
-
(1996)
Computer
, vol.29
, Issue.2
, pp. 49-56
-
-
Raynal, M.1
Singhal, M.2
-
14
-
-
77953514504
-
Unit testing in multi-agent systems using mock agents and aspects
-
ACM Press, New York
-
von Staa Roberta Coelho, A., Kulesza, U., Lucena, C.: Unit testing in multi-agent systems using mock agents and aspects. In: SELMAS 2006: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, pp. 83-90. ACM Press, New York (2006)
-
(2006)
SELMAS 2006: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
, pp. 83-90
-
-
von Staa Roberta Coelho, A.1
Kulesza, U.2
Lucena, C.3
-
15
-
-
0034826811
-
Multi-agent visualisation based on multivariate data
-
Montreal, Canada, ACM Press, New York
-
Schroeder, M., Noy, P.: Multi-agent visualisation based on multivariate data. In: Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada, ACM Press, New York (2001)
-
(2001)
Proceedings of the Fifth International Conference on Autonomous Agents
-
-
Schroeder, M.1
Noy, P.2
|