메뉴 건너뛰기




Volumn 2881, Issue , 2003, Pages 132-141

A formal model of active contents based on the ambient calculus

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS);

EID: 0142249943     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39646-8_13     Document Type: Article
Times cited : (4)

References (10)
  • 1
    • 0005007760 scopus 로고    scopus 로고
    • Mobility and security
    • F. L. Bauer and M. C. Mult, editors, NATO Science Series: Computers & Systems Sciences
    • L. Cardelli. Mobility and security. In F. L. Bauer and M. C. Mult, editors, Foundations of Secure Computation, NATO Science Series: Computers & Systems Sciences, pages 3-37, 2000.
    • (2000) Foundations of Secure Computation , pp. 3-37
    • Cardelli, L.1
  • 3
    • 84944048132 scopus 로고    scopus 로고
    • The Ponder policy specification language
    • Proc. Policy 2001, Springer
    • N. Damianou, N. Duray, E. Lupu, and M. Sloman. The Ponder policy specification language. In Proc. Policy 2001, volume 1995 of LNCS, pages 17-28. Springer, 2001.
    • (2001) LNCS , vol.1995 , pp. 17-28
    • Damianou, N.1    Duray, N.2    Lupu, E.3    Sloman, M.4
  • 4
    • 84976826320 scopus 로고
    • Generative communication in Linda
    • D. Gelernter. Generative communication in Linda. ACM Computing Surveys, 7(1):80-112, 1985.
    • (1985) ACM Computing Surveys , vol.7 , Issue.1 , pp. 80-112
    • Gelernter, D.1
  • 6
    • 0035015745 scopus 로고    scopus 로고
    • Lime: A middleware for physical and logical mobility
    • IEEE Computer Society
    • A. L. Murphy, G. P. Picco, and G.-C. Roman. Lime: A middleware for physical and logical mobility. In Proc. of ICDCS-21, pages 524-233. IEEE Computer Society, 2001.
    • (2001) Proc. of ICDCS-21 , pp. 524-1233
    • Murphy, A.L.1    Picco, G.P.2    Roman, G.-C.3
  • 7
    • 0033720506 scopus 로고    scopus 로고
    • A formalism for hierarchical mobile agents
    • IEEE Computer Society
    • I. Satoh. A formalism for hierarchical mobile agents. In Proc. of PDSE 2000, pages 165-172. IEEE Computer Society, 2000.
    • (2000) Proc. of PDSE 2000 , pp. 165-172
    • Satoh, I.1
  • 8
    • 84961575997 scopus 로고    scopus 로고
    • A hierarchical model of mobile agents and its multimedia applications
    • IEEE Computer Society
    • I. Satoh. A hierarchical model of mobile agents and its multimedia applications. In Proc. of MMNS 2000, pages 103-108. IEEE Computer Society, 2000.
    • (2000) Proc. of MMNS 2000 , pp. 103-108
    • Satoh, I.1
  • 9
    • 0033706540 scopus 로고    scopus 로고
    • Mobilespaces: A framework for building adaptive distributed applications using a hierarchical mobile agent system
    • IEEE Computer Society
    • I. Satoh. Mobilespaces: A framework for building adaptive distributed applications using a hierarchical mobile agent system. In Proc. of ICDCS 2000, pages 161-168. IEEE Computer Society, 2000.
    • (2000) Proc. of ICDCS 2000 , pp. 161-168
    • Satoh, I.1
  • 10
    • 0034833404 scopus 로고    scopus 로고
    • Mobile agent security with the IPEditor development tool and the Mobile UNITY language
    • ACM Press
    • Y. Tahara, A. Ohsuga, and S. Honiden. Mobile agent security with the IPEditor development tool and the Mobile UNITY language. In Proc. of Agents 2001, pages 656-662. ACM Press, 2001.
    • (2001) Proc. of Agents 2001 , pp. 656-662
    • Tahara, Y.1    Ohsuga, A.2    Honiden, S.3


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