메뉴 건너뛰기




Volumn 4908 LNAI, Issue , 2008, Pages 190-204

Tracking causality by visualization of multi-agent interactions using causality graphs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; GRAPH THEORY; MULTI AGENT SYSTEMS; SOFTWARE TESTING; SPECIFICATIONS; VISUALIZATION;

EID: 43949123264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79043-3_12     Document Type: Conference Paper
Times cited : (15)

References (15)
  • 1
    • 43949140641 scopus 로고    scopus 로고
    • Bordini, R, Fisher, M, Pardavila, C, Wooldridge, M, Model checking agentspeak
    • Bordini, R., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak
  • 2
    • 43949100778 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • Fipa acl message structure specification
    • FIPA, Technical report, FIPA
    • FIPA. Fipa acl message structure specification. Technical report, FIPA (2002)
    • (2002)
  • 7
    • 4544319080 scopus 로고    scopus 로고
    • Fipa contract net interaction protocol specication
    • FIPA, Technical report, FIPA
    • FIPA. Fipa contract net interaction protocol specication. Technical report, FIPA (2002)
    • (2002)
  • 9
    • 43949108660 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 13
    • 0030085656 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.