메뉴 건너뛰기




Volumn 8348 LNCS, Issue , 2014, Pages 254-272

Automatic component deployment in the presence of circular dependencies

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84958547126     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-07602-7_16     Document Type: Conference Paper
Times cited : (8)

References (24)
  • 1
    • 84903594600 scopus 로고    scopus 로고
    • OMG Unified Modeling Language (UML)
    • OMG Unified Modeling Language (UML), Superstructure, V2.4.1
    • Superstructure, V2.4.1
  • 2
    • 84880548590 scopus 로고    scopus 로고
    • Bootstrapping software distributions
    • ACM
    • Abate, P., Johannes, S.: Bootstrapping software distributions. In: CBSE'13, pp. 131-142. ACM (2013)
    • (2013) CBSE'13 , pp. 131-142
    • Abate, P.1    Johannes, S.2
  • 3
    • 13444280262 scopus 로고    scopus 로고
    • A calculus for reasoning about software composition
    • Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theor. Comput. Sci. 331(2-3), 367-396 (2005)
    • (2005) Theor. Comput. Sci. , vol.331 , Issue.2-3 , pp. 367-396
    • Achermann, F.1    Nierstrasz, O.2
  • 6
    • 33646149644 scopus 로고    scopus 로고
    • A CPS encoding of namepassing in higher-order mobile embedded resources
    • Bundgaard, M., Hildebrandt, T.T., Godskesen, J.C.: A CPS encoding of namepassing in higher-order mobile embedded resources. Theor. Comput. Sci. 356(3), 422-439 (2006)
    • (2006) Theor. Comput. Sci. , vol.356 , Issue.3 , pp. 422-439
    • Bundgaard, M.1    Hildebrandt, T.T.2    Godskesen, J.C.3
  • 7
    • 0029311990 scopus 로고
    • A site configuration engine
    • Burgess, M.: A site configuration engine. Comput. Syst. 8(2), 309-337 (1995)
    • (1995) Comput. Syst. , vol.8 , Issue.2 , pp. 309-337
    • Burgess, M.1
  • 9
    • 84903558124 scopus 로고    scopus 로고
    • Accessed June 2013
    • Circular Build Dependencies: http://wiki.debian.org/ CircularBuildDependencies (2013). Accessed June 2013
    • (2013) Circular Build Dependencies
  • 11
    • 84880271211 scopus 로고    scopus 로고
    • Component reconfiguration in the presence of conflicts
    • In Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.), Springer, Heidelberg
    • Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Component reconfiguration in the presence of conflicts. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 187-198. Springer, Heidelberg (2013)
    • (2013) ICALP 2013, Part II. LNCS , vol.7966 , pp. 187-198
    • Di Cosmo, R.1    Mauro, J.2    Zacchiroli, S.3    Zavattaro, G.4
  • 12
    • 84868259961 scopus 로고    scopus 로고
    • Towards a formal component model for the cloud
    • In Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.), Springer, Heidelberg
    • Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a formal component model for the cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 156-171. Springer, Heidelberg (2012)
    • (2012) SEFM 2012. LNCS , vol.7504 , pp. 156-171
    • Di Cosmo, R.1    Zacchiroli, S.2    Zavattaro, G.3
  • 15
    • 84885972929 scopus 로고    scopus 로고
    • Accessed June 2013
    • Juju, devops distilled. https://juju.ubuntu.com/ (2013). Accessed June 2013
    • (2013) Juju, Devops Distilled
  • 16
    • 79951497572 scopus 로고    scopus 로고
    • Puppet: Next-generation configuration management
    • Kanies, L.: Puppet: next-generation configuration management. login: USENIX Mag. 31(1), 19-25 (2006)
    • (2006) Login: USENIX Mag. , vol.31 , Issue.1 , pp. 19-25
    • Kanies, L.1
  • 17
    • 33749392446 scopus 로고    scopus 로고
    • Interface input/output automata
    • In Misra, J., Nipkow, T., Sekerinski, E. (eds.), Springer, Heidelberg
    • Larsen, K.G., Nyman, U., Wa̧sowski, A.: Interface input/output automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 82-97. Springer, Heidelberg (2006)
    • (2006) FM 2006. LNCS , vol.4085 , pp. 82-97
    • Larsen, K.G.1    Nyman, U.2    Wa̧sowski, A.3
  • 18
    • 84897677718 scopus 로고    scopus 로고
    • A planning tool supporting the deployment of cloud applications
    • IEEE
    • Lascu, T.A., Mauro, J., Zavattaro, G.: A planning tool supporting the deployment of cloud applications. In: ICTAI 2013, pp. 213-220. IEEE (2013)
    • (2013) ICTAI 2013 , pp. 213-220
    • Lascu, T.A.1    Mauro, J.2    Zavattaro, G.3
  • 19
    • 77958069301 scopus 로고    scopus 로고
    • A model of evolvable components
    • In Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.), Springer, Heidelberg
    • Montesi, F., Sangiorgi, D.: A model of evolvable components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol. 6084, pp. 153-171. Springer, Heidelberg (2010)
    • (2010) TGC 2010. LNCS , vol.6084 , pp. 153-171
    • Montesi, F.1    Sangiorgi, D.2
  • 20
    • 84903604359 scopus 로고    scopus 로고
    • Accessed June 2013
    • Opscode: Chef. http://www.opscode.com/chef/ (2013). Accessed June 2013
    • (2013) Opscode: Chef.
  • 21
    • 84903601223 scopus 로고    scopus 로고
    • Accessed June 2013
    • Puppet Labs: Marionette Collective. http://docs.puppetlabs.com/ mcollective/ (2013). Accessed June 2013
    • (2013) Puppet Labs: Marionette Collective
  • 22
    • 23944449086 scopus 로고    scopus 로고
    • The kell calculus: A family of higher-order distributed process calculi
    • In Priami, C., Quaglia, P. (eds.), Springer, Heidelberg
    • Schmitt, A., Stefani, J.-B.: The kell calculus: A family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146-178. Springer, Heidelberg (2005)
    • (2005) GC 2004. LNCS , vol.3267 , pp. 146-178
    • Schmitt, A.1    Stefani, J.-B.2


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