-
1
-
-
0029390712
-
Formalizing style to understand descriptions of software architecture
-
Abowd G.D.; Allen R.; and Garlan D. Formalizing style to understand descriptions of software architecture ACM Trans. Softw. Eng. Methodol. 4 4 1995 319 364
-
(1995)
ACM Trans. Softw. Eng. Methodol.
, vol.4
, Issue.4
, pp. 319-364
-
-
Abowd, G.D.1
Allen, R.2
Garlan, D.3
-
2
-
-
78049296975
-
Diagnosing multiple intermittent failures using maximum likelihood estimation
-
Abreu R.; and van Gemund A.J.C. Diagnosing multiple intermittent failures using maximum likelihood estimation Artif. Intell. 174 18 2010 1481 1497
-
(2010)
Artif. Intell.
, vol.174
, Issue.18
, pp. 1481-1497
-
-
Abreu, R.1
Van Gemund, A.J.C.2
-
5
-
-
26444445135
-
Managing dynamic reconfiguration in component-based systems
-
Springer
-
Batista T.V.; Joolia A.; and Coulson G. Managing dynamic reconfiguration in component-based systems EWSA, Vol. 3527 of LNCS 2005 Springer 1 17
-
(2005)
EWSA, Vol. 3527 of LNCS
, pp. 1-17
-
-
Batista, T.V.1
Joolia, A.2
Coulson, G.3
-
10
-
-
0003347456
-
Symbolic model checking with partitioned transition relations
-
Burch J.R.; Clarke E.M.; and Long D.E. Symbolic model checking with partitioned transition relations VLSI 91 1990
-
(1990)
VLSI 91
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
11
-
-
0036036577
-
Security attribute evaluation method: A cost-benefit approach
-
ACM Press
-
Butler S.A. Security attribute evaluation method: a cost-benefit approach Proc. 24th ICSE 2002 ACM Press 232 240
-
(2002)
Proc. 24th ICSE
, pp. 232-240
-
-
Butler, S.A.1
-
14
-
-
0012525429
-
Using architectural style as a basis for self-repair
-
Bosch J. Gentleman M. Hofmeister C. Kuusela J. Kluwer Academic Publishers MA, USA
-
Cheng S.-W.; Garlan D.; Schmerl B.; Sousa J.a.P.; Spitznagel B.; and Steenkiste P. Using architectural style as a basis for self-repair Bosch J. Gentleman M. Hofmeister C. Kuusela J. Software Architecture: System Design, Development, and Maintenance 2002 Kluwer Academic Publishers MA, USA 45 59
-
(2002)
Software Architecture: System Design, Development, and Maintenance
, pp. 45-59
-
-
Cheng, S.-W.1
Garlan, D.2
Schmerl, B.3
Sousa A. J, P.4
Spitznagel, B.5
Steenkiste, P.6
-
15
-
-
36849028675
-
Making self-adaptation an engineering reality
-
Babaoghu O. Jelasity M. Montroser A. Fetzer C. Leonardi S. Van Moorsel A. Springer-Verlag also available from Springer-Verlag here
-
Cheng S.-W.; Garlan D.; and Schmerl B. Making self-adaptation an engineering reality Babaoghu O. Jelasity M. Montroser A. Fetzer C. Leonardi S. Van Moorsel A. Proc. Conference on Self-Star Properties in Complex Information Systems, Vol. 3460 of LNCS 2005 Springer-Verlag also available from Springer-Verlag here
-
(2005)
Proc. Conference on Self-Star Properties in Complex Information Systems, Vol. 3460 of LNCS
-
-
Cheng, S.-W.1
Garlan, D.2
Schmerl, B.3
-
17
-
-
70349716566
-
-
PhD Thesis, CMU-ISR-08-113, Carnegie Mellon University, School of Computer Science, May 17
-
S.-W. Cheng, Rainbow: Cost-effective software architecture-based self-adaptation, PhD Thesis, CMU-ISR-08-113, Carnegie Mellon University, School of Computer Science, May 17, 2008.
-
(2008)
Rainbow: Cost-effective Software Architecture-based Self-adaptation
-
-
Cheng, S.-W.1
-
18
-
-
0006029493
-
-
Pearson Education, Inc
-
Clements P.; Bachmann F.; Bass L.; Garlan D.; Ivers J.; Little R.; Nord R.; and Stafford J. Documenting Software Architecture: Views and Beyond 2003 Pearson Education, Inc
-
(2003)
Documenting Software Architecture: Views and beyond
-
-
Clements, P.1
Bachmann, F.2
Bass, L.3
Garlan, D.4
Ivers, J.5
Little, R.6
Nord, R.7
Stafford, J.8
-
22
-
-
0016543936
-
Guarded commands, non-determinacy and formal derivation of programs
-
Dijkstra E.W. Guarded commands, non-determinacy and formal derivation of programs Commun. ACM 18 8 1975 453 457
-
(1975)
Commun. ACM
, vol.18
, Issue.8
, pp. 453-457
-
-
Dijkstra, E.W.1
-
25
-
-
0037236308
-
The dawning of the autonomic computing era
-
Ganak A.G.; and Corbi T.A. The dawning of the autonomic computing era IBM Syst. J. 42 1 2003 5 18
-
(2003)
IBM Syst. J.
, vol.42
, Issue.1
, pp. 5-18
-
-
Ganak, A.G.1
Corbi, T.A.2
-
26
-
-
0003696352
-
Acme: Architectural descriptions of component-based systems
-
Leavens G.T. Sitaraman M. Cambridge Univ. Press
-
Garlan D.; Monroe R.T.; and Wile D. Acme: Architectural descriptions of component-based systems Leavens G.T. Sitaraman M. Foundations of Component-Based Systems 2000 Cambridge Univ. Press 47 68
-
(2000)
Foundations of Component-Based Systems
, pp. 47-68
-
-
Garlan, D.1
Monroe, R.T.2
Wile, D.3
-
27
-
-
84881232222
-
Increasing system dependability through architecture-based self-repair
-
de Lemos R. Gacek C. Romanovsky A. Springer-Verlag, Inc. New York, NY, USA
-
Garlan D.; Cheng S.-W.; and Schmerl B. Increasing system dependability through architecture-based self-repair de Lemos R. Gacek C. Romanovsky A. Architecting Dependable Systems, Lecture Notes in Computer Science 2003 Springer-Verlag, Inc. New York, NY, USA 61 89
-
(2003)
Architecting Dependable Systems, Lecture Notes in Computer Science
, pp. 61-89
-
-
Garlan, D.1
Cheng, S.-W.2
Schmerl, B.3
-
33
-
-
0026237825
-
Using Weaves for software construction and analysis
-
IEEE Computer Society Press Los Alamitos, CA, USA
-
Gorlick M.M.; and Razouk R.R. Using Weaves for software construction and analysis Proc. 13th International Conf. of Software Engineering 1991 IEEE Computer Society Press Los Alamitos, CA, USA 23 34
-
(1991)
Proc. 13th International Conf. of Software Engineering
, pp. 23-34
-
-
Gorlick, M.M.1
Razouk, R.R.2
-
36
-
-
0037253062
-
The vision of autonomic computing
-
Kephart J.O.; and Chess D.M. The vision of autonomic computing Computer 36 1 2003 41 50
-
(2003)
Computer
, vol.36
, Issue.1
, pp. 41-50
-
-
Kephart, J.O.1
Chess, D.M.2
-
37
-
-
77953231654
-
Analyzing architectural styles
-
Kim J.S.; and Garlan D. Analyzing architectural styles J. Softw. Sys. 83 7 2010 1216 1235
-
(2010)
J. Softw. Sys.
, vol.83
, Issue.7
, pp. 1216-1235
-
-
Kim, J.S.1
Garlan, D.2
-
39
-
-
34748879678
-
Self-managed systems: An architectural challenge
-
IEEE Computer Society Washington, DC, USA
-
Kramer J.; and Magee J. Self-managed systems: an architectural challenge 2007 Future of Software Engineering, FOSE '07 2007 IEEE Computer Society Washington, DC, USA 259 268
-
(2007)
2007 Future of Software Engineering, FOSE '07
, pp. 259-268
-
-
Kramer, J.1
Magee, J.2
-
42
-
-
84949457531
-
A framework for classifying and comparing architecture description languages
-
Springer-Verlag, Inc. New York, NY, USA
-
Medvidovic N.; and Taylor R.N. A framework for classifying and comparing architecture description languages Software Engineering: ESEC/FSE '97: 6th European Software Engineering Conference, Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vol. 1301 of LNCS 1997 Springer-Verlag, Inc. New York, NY, USA 60 76
-
(1997)
Software Engineering: ESEC/FSE '97: 6th European Software Engineering Conference, Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vol. 1301 of LNCS
, pp. 60-76
-
-
Medvidovic, N.1
Taylor, R.N.2
-
43
-
-
84867335630
-
-
Microsoft Corporation 2008
-
Microsoft Corporation 2008. System Center Operations Manager 2007, http://www.microsoft.com/systemcenter/opsmgr/.
-
System Center Operations Manager 2007
-
-
-
47
-
-
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.; and Wolf A.L. An architecture-based approach to self-adaptive software IEEE Intell. Syst. 14 3 1999 54 62
-
(1999)
IEEE Intell. Syst.
, vol.14
, Issue.3
, pp. 54-62
-
-
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
-
48
-
-
72949105994
-
A framework for dynamic adaptation of power-aware server clusters
-
ACM New York, NY, USA
-
Petrucci V.; Loques O.; and Mossé D. A framework for dynamic adaptation of power-aware server clusters Proc. 2009 ACM symposium on Applied Computing, SAC '09 2009 ACM New York, NY, USA 1034 1039
-
(2009)
Proc. 2009 ACM Symposium on Applied Computing, SAC '09
, pp. 1034-1039
-
-
Petrucci, V.1
Loques, O.2
Mossé, D.3
-
51
-
-
84867329229
-
Computer, heal thyself
-
Scott K. Computer, heal thyself Inform. Week 2002
-
(2002)
Inform. Week
-
-
Scott, K.1
-
58
-
-
77954701905
-
Exploiting non-functional preferences in architectural adaptation for self-managed systems
-
ACM New York, NY, USA
-
Sykes D.; Heaven W.; Magee J.; and Kramer J. Exploiting non-functional preferences in architectural adaptation for self-managed systems Proc. 2010 ACM Symposium on Applied Computing, SAC '10 2010 ACM New York, NY, USA 431 438
-
(2010)
Proc. 2010 ACM Symposium on Applied Computing, SAC '10
, pp. 431-438
-
-
Sykes, D.1
Heaven, W.2
Magee, J.3
Kramer, J.4
-
61
-
-
84867337461
-
-
Wikipedia, Utility - Wikipedia, the Free Encyclopedia, (Online; accessed 25.03.08) See "Expected utility" section (March 17, 2008)
-
Wikipedia, Utility - Wikipedia, the Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Utility&oldid=200699805 (Online; accessed 25.03.08) See "Expected utility" section (March 17, 2008).
-
-
-
|