메뉴 건너뛰기




Volumn , Issue , 2003, Pages 442-445

Formal framework for adaptive multi-agent systems

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE MULTIAGENT SYSTEMS; FORMAL FRAMEWORK; INTER-ACTION PROTOCOLS; SYSTEM LEVELS; SYSTEM STRUCTURES;

EID: 78649719649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (15)

References (9)
  • 1
    • 84957048411 scopus 로고    scopus 로고
    • Specifying and Analyzing Dynamic Software Architectures
    • Fundamental Approaches to Software Engineering
    • Allen, R., Douence, R., and Garlan, D. Specifying and Analyzing Dynamic Software Architectures, Lecture Notes in Computer Science 1382, 1998, pp: 21-37. (Pubitemid 128055704)
    • (1998) LECTURE NOTES in COMPUTER SCIENCE , Issue.1382 , pp. 21-37
    • Allen, R.1    Douence, R.2    Garlan, D.3
  • 4
    • 9944229398 scopus 로고    scopus 로고
    • Automated servicing of agents
    • Brazier, F. M. T., and Wijngaards, N. J. E. Automated servicing of agents. A1SB journal, Vol.1, No.1, 2001, pp: 5-20.
    • (2001) A1SB Journal , vol.1 , Issue.1 , pp. 5-20
    • Brazier, F.M.T.1    Wijngaards, N.J.E.2
  • 9
    • 0000511698 scopus 로고
    • The polyadic π-calcu1us: A tutorial
    • W. Brauer, F.L. Bauer and H. Schwichtenberg, editors, Springer-Verlag
    • Milner, R. The polyadic π-calcu1us: A tutorial. In W. Brauer, F.L. Bauer and H. Schwichtenberg, editors, Logic and Algebra of Specification. Springer-Verlag, 1993.
    • (1993) Logic and Algebra of Specification
    • Milner, R.1


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