-
1
-
-
84903594600
-
-
OMG Unified Modeling Language (UML)
-
OMG Unified Modeling Language (UML), Superstructure, V2.4.1
-
Superstructure, V2.4.1
-
-
-
2
-
-
84880548590
-
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
-
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
-
4
-
-
77949623097
-
-
2nd edn, O'Reilly, Sebastopol
-
Baron, S., Peter, Z., Vadim, T., Jeremy, Z.D., Arjen, L., Balling, D.J.: High Performance MySQL, 2nd edn. O'Reilly, Sebastopol (2008)
-
(2008)
High Performance MySQL
-
-
Baron, S.1
Peter, Z.2
Vadim, T.3
Jeremy, Z.D.4
Arjen, L.5
Balling, D.J.6
-
5
-
-
33748970808
-
The FRACTAL component model and its support in Java
-
Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: The FRACTAL component model and its support in Java. Softw. Pract. Exper. 36(11-12), 1257-1284 (2006)
-
(2006)
Softw. Pract. Exper.
, vol.36
, Issue.11-12
, pp. 1257-1284
-
-
Bruneton, E.1
Coupaye, T.2
Leclercq, M.3
Quéma, V.4
Stefani, J.-B.5
-
6
-
-
33646149644
-
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
-
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
-
-
Accessed June 2013
-
Circular Build Dependencies: http://wiki.debian.org/ CircularBuildDependencies (2013). Accessed June 2013
-
(2013)
Circular Build Dependencies
-
-
-
10
-
-
84885707191
-
Optimal provisioning in the cloud
-
June
-
Di Cosmo, R., Lienhardt, M., Treinen, R., Zacchiroli, S., Zwolakowski, J.: Optimal provisioning in the cloud. Technical report, Aeolus project, June 2013. http://hal.archives-ouvertes.fr/hal-00831455
-
(2013)
Technical Report, Aeolus Project
-
-
Di Cosmo, R.1
Lienhardt, M.2
Treinen, R.3
Zacchiroli, S.4
Zwolakowski, J.5
-
11
-
-
84880271211
-
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
-
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
-
13
-
-
84863463668
-
Engage: A deployment management system
-
ACM
-
Fischer, J., Majumdar, R., Esmaeilsabzali, S.: Engage: A deployment management system. In: PLDI'12: Programming Language Design and Implementation, pp. 263-274. ACM (2012)
-
(2012)
PLDI'12: Programming Language Design and Implementation
, pp. 263-274
-
-
Fischer, J.1
Majumdar, R.2
Esmaeilsabzali, S.3
-
14
-
-
85094658807
-
A declarative approach to automated configuration
-
Hewson, J.A., Anderson, P., Gordon, A.D.: A declarative approach to automated configuration. In: LISA '12: Large Installation System Administration Conference, pp. 51-66 (2012)
-
(2012)
LISA '12: Large Installation System Administration Conference
, pp. 51-66
-
-
Hewson, J.A.1
Anderson, P.2
Gordon, A.D.3
-
15
-
-
84885972929
-
-
Accessed June 2013
-
Juju, devops distilled. https://juju.ubuntu.com/ (2013). Accessed June 2013
-
(2013)
Juju, Devops Distilled
-
-
-
16
-
-
79951497572
-
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
-
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
-
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
-
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
-
-
Accessed June 2013
-
Opscode: Chef. http://www.opscode.com/chef/ (2013). Accessed June 2013
-
(2013)
Opscode: Chef.
-
-
-
21
-
-
84903601223
-
-
Accessed June 2013
-
Puppet Labs: Marionette Collective. http://docs.puppetlabs.com/ mcollective/ (2013). Accessed June 2013
-
(2013)
Puppet Labs: Marionette Collective
-
-
-
22
-
-
23944449086
-
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
-
23
-
-
74049121250
-
Reconfigurable SCA applications with the erascati platform
-
IEEE
-
Seinturier, L., Merle, P., Fournier, D., Dolet, N., Schiavoni, V., Stefani, J.-B.: Reconfigurable SCA Applications with the FraSCAti Platform. In: IEEE SCC, pp. 268-275. IEEE (2009)
-
(2009)
IEEE SCC
, pp. 268-275
-
-
Seinturier, L.1
Merle, P.2
Fournier, D.3
Dolet, N.4
Schiavoni, V.5
Stefani, J.-B.6
|