-
1
-
-
70349916403
-
Reflecting on self-adaptive software systems
-
IEEE Computer Society
-
Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Reflecting on self-adaptive software systems. In: SEAMS 2009, pp. 38-47. IEEE Computer Society (2009)
-
(2009)
SEAMS 2009
, pp. 38-47
-
-
Andersson, J.1
De Lemos, R.2
Malek, S.3
Weyns, D.4
-
2
-
-
84994223629
-
An architectural approach to auto-adaptive systems
-
IEEE Computer Society
-
Andrade, L.F., Fiadeiro, J.L.: An architectural approach to auto-adaptive systems. In: ICDCS Workshops 2002, pp. 439-444. IEEE Computer Society (2002)
-
(2002)
ICDCS Workshops 2002
, pp. 439-444
-
-
Andrade, L.F.1
Fiadeiro, J.L.2
-
3
-
-
72949084382
-
Formalizing the notion of adaptive system behavior
-
Shin, S.Y., Ossowski, S. (eds.) ACM
-
Broy, M., Leuxner, C., Sitou, W., Spanfelner, B., Winter, S.: Formalizing the notion of adaptive system behavior. In: Shin, S.Y., Ossowski, S. (eds.) SAC 2009, pp. 1029-1033. ACM (2009)
-
(2009)
SAC 2009
, pp. 1029-1033
-
-
Broy, M.1
Leuxner, C.2
Sitou, W.3
Spanfelner, B.4
Winter, S.5
-
4
-
-
83255164841
-
Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles
-
Smari, W.W., Fox, G.C. (eds.) IEEE Computer Society
-
Cabri, G., Puviani, M., Zambonelli, F.: Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles. In: Smari, W.W., Fox, G.C. (eds.) CTS 2011, pp. 508-515. IEEE Computer Society (2011)
-
(2011)
CTS 2011
, pp. 508-515
-
-
Cabri, G.1
Puviani, M.2
Zambonelli, F.3
-
5
-
-
38049179424
-
-
LNCS Springer, Heidelberg
-
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)
-
(2007)
All About Maude
, vol.4350
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Talcott, C.7
-
6
-
-
77951269442
-
Formal analysis and verification of self-healing systems
-
Rosenblum, D.S., Taentzer, G. (eds.) LNCS Springer, Heidelberg
-
Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal Analysis and Verification of Self-Healing Systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 139-153. Springer, Heidelberg (2010)
-
(2010)
FASE 2010
, vol.6013
, pp. 139-153
-
-
Ehrig, H.1
Ermel, C.2
Runge, O.3
Bucchiarone, A.4
Pelliccione, P.5
-
7
-
-
79959545058
-
An evaluation of the adaptation capabilities in programming languages
-
Giese, H., Cheng, B.H. (eds.) ACM
-
Ghezzi, C., Pradella, M., Salvaneschi, G.: An evaluation of the adaptation capabilities in programming languages. In: Giese, H., Cheng, B.H. (eds.) SEAMS 2011, pp. 50-59. ACM (2011)
-
(2011)
SEAMS 2011
, pp. 50-59
-
-
Ghezzi, C.1
Pradella, M.2
Salvaneschi, G.3
-
10
-
-
0037253062
-
The vision of autonomic computing
-
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41-50 (2003)
-
(2003)
Computer
, vol.36
, Issue.1
, pp. 41-50
-
-
Kephart, J.O.1
Chess, D.M.2
-
11
-
-
84944052797
-
Semantic models for distributed object reflection
-
Magnusson, B. (ed.) LNCS Springer, Heidelberg
-
Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 1-36. Springer, Heidelberg (2002)
-
(2002)
ECOOP 2002
, vol.2374
, pp. 1-36
-
-
Meseguer, J.1
Talcott, C.2
-
12
-
-
0032665183
-
An architecture-based approach to self-adaptive software
-
Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. Intelligent Systems and their Applications 14(3) (1999)
-
(1999)
Intelligent Systems and their Applications
, vol.14
, Issue.3
-
-
Oreizy, P.1
Gorlick, M.M.2
Taylor, R.N.3
Heimbigner, D.4
Johnson, G.5
Medvidovic, N.6
Quilici, A.7
Rosenblum, D.S.8
Wolf, A.L.9
-
13
-
-
84957038863
-
Towards semantics of self-adaptive software
-
Robertson, P., Shrobe, H.E., Laddaga, R. (eds.) LNCS Springer, Heidelberg
-
Pavlovic, D.: Towards Semantics of Self-Adaptive Software. In: Robertson, P., Shrobe, H.E., Laddaga, R. (eds.) IWSAS 2000. LNCS, vol. 1936, p. 50. Springer, Heidelberg (2001)
-
(2001)
IWSAS 2000
, vol.1936
, pp. 50
-
-
Pavlovic, D.1
-
16
-
-
33644534497
-
Coordination models based on a formal model of distributed object reflection
-
Brim, L., Linden, I. (eds.) ENTCS Elsevier
-
Talcott, C.L.: Coordination models based on a formal model of distributed object reflection. In: Brim, L., Linden, I. (eds.) MTCoord 2005. ENTCS, vol. 150(1), pp. 143-157. Elsevier (2006)
-
(2006)
MTCoord 2005
, vol.150
, Issue.1
, pp. 143-157
-
-
Talcott, C.L.1
-
17
-
-
34250205560
-
Policy-based coordination in PAGODA: A case study
-
Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.) ENTCS Elsevier
-
Talcott, C.L.: Policy-based coordination in PAGODA: A case study. In: Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.) CoOrg 2006 & MTCoord 2006. ENTCS, vol. 181, pp. 97-112. Elsevier (2007)
-
(2007)
CoOrg 2006 & MTCoord 2006
, vol.181
, pp. 97-112
-
-
Talcott, C.L.1
-
18
-
-
77954706012
-
FORMS: A formal reference model for self-adaptation
-
Figueiredo, R., Kiciman, E. (eds.) ACM
-
Weyns, D., Malek, S., Andersson, J.: FORMS: a formal reference model for self-adaptation. In: Figueiredo, R., Kiciman, E. (eds.) ICAC 2010, pp. 205-214. ACM (2010)
-
(2010)
ICAC 2010
, pp. 205-214
-
-
Weyns, D.1
Malek, S.2
Andersson, J.3
-
19
-
-
34247136847
-
Model-based development of dynamically adaptive software
-
Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) ACM
-
Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) ICSE 2006, pp. 371-380. ACM (2006)
-
(2006)
ICSE 2006
, pp. 371-380
-
-
Zhang, J.1
Cheng, B.H.C.2
|