-
1
-
-
7244223259
-
Rainbow: Architecture- based self adaptation with reusable infrastructure
-
Garlan, D., Cheng, S.-W., Cheng-Huang, A., Schmerl, B., Steenkiste, P.: Rainbow: Architecture- Based Self Adaptation with Reusable Infrastructure. IEEE Computer 37(10) (2004)
-
(2004)
IEEE Computer
, vol.37
, Issue.10
-
-
Garlan, D.1
Cheng, S.-W.2
Cheng-Huang, A.3
Schmerl, B.4
Steenkiste, P.5
-
2
-
-
50249148558
-
Architecture-based self-adaptation in the presence of multiple objectives
-
Shanghai, China, May 21-22
-
Cheng, S.-W., Garlan, D., Schmerl, B.: Architecture-based Self-adaptation in the Presence of Multiple Objectives. In: ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Shanghai, China, May 21-22 (2006)
-
(2006)
ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
-
-
Cheng, S.-W.1
Garlan, D.2
Schmerl, B.3
-
4
-
-
26444445135
-
Managing dynamic reconfiguration in component-based systems
-
Morrison, R., Oquendo, F. (eds.) EWSA 2005. Springer, Heidelberg
-
Vasconcelos Batista, T., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol.3527, pp. 1-17. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3527
, pp. 1-17
-
-
Vasconcelos Batista, T.1
Joolia, A.2
Coulson, G.3
-
5
-
-
0141538164
-
Towards architecture-based self-healing systems
-
Dashofy, E.M., Van derHoek, A., Taylor, R.N.: Towards Architecture-based Self-healing systems. In: Proceedings of the First Workshop on Self-healing Systems, pp. 21-26 (2002)
-
(2002)
Proceedings of the First Workshop on Self-healing Systems
, pp. 21-26
-
-
Dashofy, E.M.1
Van Derhoek, A.2
Taylor, R.N.3
-
7
-
-
70349716566
-
-
PhD thesis, Carnegie Mellon University, Institute for Software Research Technical Report CMU-ISR-08-113 May
-
Cheng, S.-W.: Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation, PhD thesis, Carnegie Mellon University, Institute for Software Research Technical Report CMU-ISR-08-113 (May 2008)
-
(2008)
Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation
-
-
Cheng, S.-W.1
-
8
-
-
4544281457
-
A time-driven scheduling model for real-time systems
-
Jensen, E.D., Locke, C.D., Tokuda, H.: A time-driven scheduling model for real-time systems. In: IEEE RTSS (1985)
-
(1985)
IEEE RTSS
-
-
Jensen, E.D.1
Locke, C.D.2
Tokuda, H.3
-
9
-
-
84976735431
-
Tentative steps toward a development method for interfering programs
-
Jones, C.B.: Tentative steps toward a development method for interfering programs. Transactions on Programming Languages and Systems 1983 5(4), 569-619 (1983)
-
(1983)
Transactions on Programming Languages and Systems 1983
, vol.5
, Issue.4
, pp. 569-619
-
-
Jones, C.B.1
-
10
-
-
0037253062
-
The vision of autonomic computing
-
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer 36, 1 (2003)
-
(2003)
IEEE Computer
, vol.36
, pp. 1
-
-
Kephart, J.O.1
Chess, D.M.2
-
11
-
-
0037236308
-
The dawning of the autonomic computing era
-
Ganak, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal 42(1), 5-18 (2003)
-
(2003)
IBM Systems Journal
, vol.42
, Issue.1
, pp. 5-18
-
-
Ganak, A.G.1
Corbi, T.A.2
-
12
-
-
0037232374
-
Dynamic reconfiguration: Basic building blocks for autonomic computing on IBM pSeries servers
-
Jann, J., Browning, L.M., Burugula, R.S.: Dynamic reconfiguration: Basic building blocks for autonomic computing on IBM pSeries servers. IBM Systems Journal 42(1), 29-37 (2003)
-
(2003)
IBM Systems Journal
, vol.42
, Issue.1
, pp. 29-37
-
-
Jann, J.1
Browning, L.M.2
Burugula, R.S.3
-
13
-
-
0037234727
-
LEO: An autonomic query optimizer for DB2
-
Markl, V., Lohman, G.M., Raman, V.: LEO: An autonomic query optimizer for DB2. IBM Systems Journal 42(1), 98-106 (2003)
-
(2003)
IBM Systems Journal
, vol.42
, Issue.1
, pp. 98-106
-
-
Markl, V.1
Lohman, G.M.2
Raman, V.3
-
14
-
-
33749871295
-
Proving correctness of highly- concurrent linearisable objects
-
New York
-
Vafeiadis, V., Herlihy, M., Hoare, T., Shapiro, M.: Proving Correctness of Highly- Concurrent Linearisable Objects. In: Proceedings of the eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, New York, pp. 129-136 (2006)
-
(2006)
Proceedings of the Eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
, pp. 129-136
-
-
Vafeiadis, V.1
Herlihy, M.2
Hoare, T.3
Shapiro, M.4
-
15
-
-
57449107460
-
Enforcing behavioral constraints in evolving aspect-oriented programs
-
Brussels, Belgium
-
Khatchadourian, R., Dovland, J., Soundarajan, N.: Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs. In: Proceedings of the 7th Workshop on Foundations of Aspect-oriented Languages, Brussels, Belgium, pp. 19-28 (2008)
-
(2008)
Proceedings of the 7th Workshop on Foundations of Aspect-oriented Languages
, pp. 19-28
-
-
Khatchadourian, R.1
Dovland, J.2
Soundarajan, N.3
-
16
-
-
67649848387
-
Local rely-guarantee reasoning
-
Savannah, Georgia, USA, January 2009
-
Feng, X.: Local Rely-Guarantee Reasoning. In: Proc. 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, January 2009, pp. 315-327 (2009)
-
(2009)
Proc. 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009)
, pp. 315-327
-
-
Feng, X.1
-
17
-
-
38149033563
-
A marriage of rely/guarantee and separation logic
-
Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. Springer, Heidelberg
-
Vafeiadis, V., Parkinson, M.: A Marriage of Rely/Guarantee and Separation Logic. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.4703, pp. 256-271. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4703
, pp. 256-271
-
-
Vafeiadis, V.1
Parkinson, M.2
-
18
-
-
18844397831
-
Adaptive time-critical resource management using time-utility functions: Past, present and future
-
Hong Kong, September 28-30
-
Li, P., Ravindran, B., Douglas Jensen, E.: Adaptive Time-Critical Resource management Using Time-Utility Functions: Past, Present and Future. In: Proceedings of the 28th Annual International on Computer Software and Applications Conference, COMPSAC 2004, Hong Kong, September 28-30, vol.2, pp. 12-13 (2004)
-
(2004)
Proceedings of the 28th Annual International on Computer Software and Applications Conference, COMPSAC 2004
, vol.2
, pp. 12-13
-
-
Li, P.1
Ravindran, B.2
Douglas Jensen, E.3
-
19
-
-
33645213156
-
A utility accrual scheduling algorithm for real-time activities with mutual exclusion resource constraints
-
Li, P., Sang Wu, H., Ravindran, B., Douglas Jensen, E.: A Utility Accrual Scheduling Algorithm for Real-Time Activities with Mutual Exclusion Resource Constraints. IEEE Transactions on Computers 55(4), 454-469 (2006)
-
(2006)
IEEE Transactions on Computers
, vol.55
, Issue.4
, pp. 454-469
-
-
Li, P.1
Sang Wu, H.2
Ravindran, B.3
Douglas Jensen, E.4
-
20
-
-
0030151031
-
A Task Scheduling algorithm for tasks described by time value function
-
Chen, K., Muhlethaler, P.: A Task Scheduling algorithm for tasks described by time value function. Real-Time Systems 10, 293-312 (1996)
-
(1996)
Real-Time Systems
, vol.10
, pp. 293-312
-
-
Chen, K.1
Muhlethaler, P.2
-
21
-
-
27544480745
-
Bulding Self-adaptation services using service-specific knowledge
-
Research Triangle Park NC USA July 2005
-
Huang, A.-C., Steenkiste, P.: Bulding Self-adaptation services using service-specific knowledge. In: Proceedings of IEEE High Performance Distributed Computing (HPDC), Research Triangle Park, NC, USA, July 2005, pp. 34-43 (2005)
-
(2005)
Proceedings of IEEE High Performance Distributed Computing (HPDC)
, pp. 34-43
-
-
Huang, A.-C.1
Steenkiste, P.2
-
22
-
-
33947144602
-
Discovering architectures from running systems
-
July
-
Schmerl, B., Aldrich, J., Garlan, D., Kazman, R., Yan, H.: Discovering Architectures from Running Systems. IEEE Transactions on Software Engineering 32(7) (July 2006)
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.7
-
-
Schmerl, B.1
Aldrich, J.2
Garlan, D.3
Kazman, R.4
Yan, H.5
-
23
-
-
0141426684
-
Self-organizing software architectures for distributed systems
-
Charleston, SC
-
Georgiadis, I., Magee, J., Kramer, J.: Self-organizing software architectures for distributed systems. In: Proceedings of the Workshop on Self-healing Systems (WOSS'02), Charleston, SC, pp. 33-38 (2002)
-
(2002)
Proceedings of the Workshop on Self-healing Systems (WOSS'02)
, pp. 33-38
-
-
Georgiadis, I.1
Magee, J.2
Kramer, J.3
|