메뉴 건너뛰기




Volumn 2591, Issue , 2003, Pages 278-293

Extending activity diagrams to model mobile systems

Author keywords

[No Author keywords available]

Indexed keywords

LOCATION;

EID: 35248859792     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36557-5_21     Document Type: Article
Times cited : (35)

References (16)
  • 3
    • 0005007760 scopus 로고    scopus 로고
    • Mobility and security
    • F. Bauer and R. Steinbrüggen, editors, Foundations of Secure Computation. IOS Press
    • Luca Cardelli. Mobility and security. In F. Bauer and R. Steinbrüggen, editors, Foundations of Secure Computation. Proc. NATO Advanced Study Institute, pages 3-37. IOS Press, 2000.
    • (2000) Proc. NATO Advanced Study Institute , pp. 3-37
    • Cardelli, L.1
  • 4
    • 84947919695 scopus 로고    scopus 로고
    • Mobile ambients
    • Maurice Nivat, editor, First Conference on Foundations of Software Science and Computation Structure, Springer Verlag, March
    • Luca Cardelli and Andrew Gordon. Mobile ambients. In Maurice Nivat, editor, First Conference on Foundations of Software Science and Computation Structure, LNCS 1378, pages 140-155. Springer Verlag, March 1998.
    • (1998) LNCS , vol.1378 , pp. 140-155
    • Cardelli, L.1    Gordon, A.2
  • 5
    • 84944872561 scopus 로고    scopus 로고
    • Principles of Mobile Maude
    • David Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Springer
    • Francisco Durán, Steven Eker, Patrick Lincoln, and José Meseguer. Principles of Mobile Maude. In David Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, LNCS 1882, pages 73-85. Springer, 2000.
    • (2000) LNCS , vol.1882 , pp. 73-85
    • Durán, F.1    Eker, S.2    Lincoln, P.3    Meseguer, J.4
  • 7
    • 84891952818 scopus 로고    scopus 로고
    • Client-server computing in mobile environments
    • Jin Jing, Abdelsalam Helal, and Ahmed Elmagarmid. Client-server computing in mobile environments. ACM Computing Surveys, 31(2):117-157, 1999.
    • (1999) ACM Computing Surveys , vol.31 , Issue.2 , pp. 117-157
    • Jing, J.1    Helal, A.2    Elmagarmid, A.3
  • 8
    • 0344559697 scopus 로고    scopus 로고
    • Extension of the Unified Modeling Language for mobile agents
    • K. Siau and T. Halpin, editors, chapter VIII. Idea Group Publishing, Hershey, PA and London
    • Cornel Klein, Andreas Rausch, Marc Sihling, and Zhaojun Wen. Extension of the Unified Modeling Language for mobile agents. In K. Siau and T. Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter VIII. Idea Group Publishing, Hershey, PA and London, 2001.
    • (2001) Unified Modeling Language: Systems Analysis, Design and Development Issues
    • Klein, C.1    Rausch, A.2    Sihling, M.3    Wen, Z.4
  • 9
    • 35248862420 scopus 로고    scopus 로고
    • Sequence diagrams for mobility
    • Stefano Spaccapietra, editor, Springer-Verlag, October to appear
    • Piotr Kosiuczenko. Sequence diagrams for mobility. In Stefano Spaccapietra, editor, 21 International Conference on Conceptual Modeling (ER2002). Springer-Verlag, October 2002. to appear.
    • (2002) 21 International Conference on Conceptual Modeling (ER2002)
    • Kosiuczenko, P.1
  • 10
    • 84947771378 scopus 로고
    • Research directions in high-level parallel programming languages
    • Springer, Berlin
    • José Meseguer. Research directions in high-level parallel programming languages. LNCS 574. Springer, Berlin, 1992.
    • (1992) LNCS , vol.574
    • Meseguer, J.1
  • 11
    • 84937435234 scopus 로고    scopus 로고
    • On the modeling of mobile agent-based systems
    • 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA'01), Springer Verlag, August
    • Florin Muscutariu and Marie-Pierre Gervais. On the modeling of mobile agent-based systems. In 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA'01), LNCS 2164, pages 219-234. Springer Verlag, August 2001.
    • (2001) LNCS , vol.2164 , pp. 219-234
    • Muscutariu, F.1    Gervais, M.-P.2
  • 12
    • 84885202292 scopus 로고    scopus 로고
    • Programming access control: The KLAIM experience
    • Conference on Concurrency Theory, Springer Verlag
    • Rocco De Nicola, GianLuigi Ferrari, and Rosario Pugliese. Programming access control: The KLAIM experience. In Conference on Concurrency Theory, LNCS 1877. Springer Verlag, 2000.
    • (2000) LNCS , vol.1877
    • De Nicola, R.1    Ferrari, G.2    Pugliese, R.3
  • 14
    • 0142152369 scopus 로고    scopus 로고
    • Making components move: A separation of concerns approach
    • Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO'02, Leiden, November 2002, To appear
    • Dirk Pattinson and Martin Wirsing. Making components move: A separation of concerns approach. In Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO'02, Leiden, November 2002, LNCS, 2003. To appear.
    • (2003) LNCS
    • Pattinson, D.1    Wirsing, M.2
  • 16
    • 35048855064 scopus 로고    scopus 로고
    • Modeling dynamic software components in UML
    • Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Proceedings, Springer-Verlag
    • Axel Wienberg, Florian Matthes, and Marko Boger. Modeling dynamic software components in UML. In Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Proceedings, LNCS 1723, pages 204-219. Springer-Verlag, 1999.
    • (1999) LNCS , vol.1723 , pp. 204-219
    • Wienberg, A.1    Matthes, F.2    Boger, M.3


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