{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:42Z","timestamp":1761620862973,"version":"3.41.0"},"reference-count":60,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2004,1]]},"abstract":"<jats:p>Systems that provide distributed multimedia services are subject to constant evolution; customizable middleware is required to effectively manage this change. Middleware services for resource management execute concurrently with each other, and with application activities, and can, therefore, potentially interfere with each other. To ensure cost-effective QoS in distributed multimedia systems, safe composability of resource management services is essential. In this article, we present a meta-architectural framework, the Two-Level Actor Model (TLAM) for customizable QoS-based middleware, based on the actor model of concurrent active objects. Using TLAM, a semantic model for specifying and reasoning about components of open distributed systems, we show how a QoS brokerage service can be used to coordinate multimedia resource management services in a safe, flexible, and efficient manner. In particular, we show a system in which the multimedia actor behaviors satisfy the specified requirements and provide the required multimedia service. The behavior specification leaves open the possibility of a variety of algorithms for resource management. Furthermore, constraints are identified that are sufficient to guarantee noninterference among the multiple broker resource management services, as well as providing guidelines for the safe composition of additional services.<\/jats:p>","DOI":"10.1145\/1005561.1005564","type":"journal-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T16:39:33Z","timestamp":1090341573000},"page":"86-147","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["A formal model for reasoning about adaptive QoS-enabled middleware"],"prefix":"10.1145","volume":"13","author":[{"given":"Nalini","family":"Venkatasubramanian","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of California, Irvine, Irvine, CA"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA"}]},{"given":"Gul A.","family":"Agha","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL"}]}],"member":"320","published-online":{"date-parts":[[2004,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha G.","year":"1986","unstructured":"Agha , G. 1986 . Actors: A Model of Concurrent Computation in Distributed Systems . MIT Press , Cambridge, Mass .]] Agha, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass.]]"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/88.218170"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 6th International Symposium on the Foundations of Software Engineering (FSE","author":"Astley M.","year":"1998","unstructured":"Astley , M. and Agha , G. A . 1998. Customization and composition of distributed objects: Middleware abstractions for policy management . In Proceedings of the 6th International Symposium on the Foundations of Software Engineering (FSE 1998 ).]] 10.1145\/288195.288206 Astley, M. and Agha, G. A. 1998. Customization and composition of distributed objects: Middleware abstractions for policy management. In Proceedings of the 6th International Symposium on the Foundations of Software Engineering (FSE 1998).]] 10.1145\/288195.288206"},{"volume-title":"IFIP Congress. IFIP, 987--992","author":"Baker H. G.","key":"e_1_2_1_5_1","unstructured":"Baker , H. G. and Hewitt , C . 1977. Laws for communicating parallel processes . In IFIP Congress. IFIP, 987--992 .]] Baker, H. G. and Hewitt, C. 1977. Laws for communicating parallel processes. In IFIP Congress. IFIP, 987--992.]]"},{"key":"e_1_2_1_6_1","unstructured":"Blair G. Blair L. Bowman H. and Chetwynd A. 1988. Formal Specifications of Distributed Multimedia Systems. UCL Press.]] Blair G. Blair L. Bowman H. and Chetwynd A. 1988. Formal Specifications of Distributed Multimedia Systems. UCL Press.]]"},{"volume-title":"IFIP\/ACM Middleware'2000 Workshop on Reflective Middleware. ACM","author":"Blair G.","key":"e_1_2_1_7_1","unstructured":"Blair , G. , Clarke , M. , Costa , F. , Coulson , G. , Duran , H. , and Parlavantzas , N . 2000. The evolution of OpenORB . In IFIP\/ACM Middleware'2000 Workshop on Reflective Middleware. ACM , New York.]] Blair, G., Clarke, M., Costa, F., Coulson, G., Duran, H., and Parlavantzas, N. 2000. The evolution of OpenORB. In IFIP\/ACM Middleware'2000 Workshop on Reflective Middleware. ACM, New York.]]"},{"volume-title":"Middleware '98","author":"Blair G.","key":"e_1_2_1_8_1","unstructured":"Blair , G. , Coulson , G. , Robin , P. , and Papathomas , M . 1998. An architecture for next generation middleware . In Middleware '98 .]] Blair, G., Coulson, G., Robin, P., and Papathomas, M. 1998. An architecture for next generation middleware. In Middleware '98.]]"},{"volume-title":"IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'99","author":"Blair L.","key":"e_1_2_1_9_1","unstructured":"Blair , L. and Blair , G . 1999a. Composition in multiparadigm specification techniques . In IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'99 .]] Blair, L. and Blair, G. 1999a. Composition in multiparadigm specification techniques. In IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS'99.]]"},{"volume-title":"ECOOP Workshop on Aspect Oriented Programming.]]","author":"Blair L.","key":"e_1_2_1_10_1","unstructured":"Blair , L. and Blair , G . 1999b. The impact of aspect-oriented programming on formal methods: Position paper . In ECOOP Workshop on Aspect Oriented Programming.]] Blair, L. and Blair, G. 1999b. The impact of aspect-oriented programming on formal methods: Position paper. In ECOOP Workshop on Aspect Oriented Programming.]]"},{"volume-title":"Proceedings of NOSSDAV'95","author":"Buddhikot M.","key":"e_1_2_1_11_1","unstructured":"Buddhikot , M. and Parulkar , G . 1995. Efficient data layout, scheduling and playout control in mars . In Proceedings of NOSSDAV'95 . 339--351.]] Buddhikot, M. and Parulkar, G. 1995. Efficient data layout, scheduling and playout control in mars. In Proceedings of NOSSDAV'95. 339--351.]]"},{"volume-title":"Proceedings of IEEE International Symposium on High Performance Distributed Computing (HPDC-5)","author":"Chandy K.","key":"e_1_2_1_12_1","unstructured":"Chandy , K. , Rifkin , A. , Sivilotti , P. A. , Mandelson , J. , Richardson , M. , Tanaka , W. , and Weisman , L . 1996. A world-wide distributed system using java and the internet . In Proceedings of IEEE International Symposium on High Performance Distributed Computing (HPDC-5) , ( Syracuse, New York).]] Chandy, K., Rifkin, A., Sivilotti, P. A., Mandelson, J., Richardson, M., Tanaka, W., and Weisman, L. 1996. A world-wide distributed system using java and the internet. In Proceedings of IEEE International Symposium on High Performance Distributed Computing (HPDC-5), (Syracuse, New York).]]"},{"volume-title":"European Workshop on Reflective Object-Oriented Programming and Systems, ECOOP'98","author":"Costa F.","key":"e_1_2_1_13_1","unstructured":"Costa , F. , Blair , G. , and Coulson , G . 1998. Experiments with reflective middleware . In European Workshop on Reflective Object-Oriented Programming and Systems, ECOOP'98 . Springer-Verlag, New York.]] Costa, F., Blair, G., and Coulson, G. 1998. Experiments with reflective middleware. In European Workshop on Reflective Object-Oriented Programming and Systems, ECOOP'98. Springer-Verlag, New York.]]"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Dan A. Dias D. Mukherjee R. Sitaram D. and Tewari R. 1995. Buffering and caching in large scale video servers. In IEEE Compcon. 217--224.]] Dan A. Dias D. Mukherjee R. Sitaram D. and Tewari R. 1995. Buffering and caching in large scale video servers. In IEEE Compcon. 217--224.]]","DOI":"10.1109\/CMPCON.1995.512389"},{"volume-title":"SIGMOD '95","author":"Dan A.","key":"e_1_2_1_15_1","unstructured":"Dan , A. and Sitaram , D . 1995. An online video placement policy based on bandwidth to space ratio (bsr) . In SIGMOD '95 . ACM, New York, 376--385.]] 10.1145\/223784.223853 Dan, A. and Sitaram, D. 1995. An online video placement policy based on bandwidth to space ratio (bsr). In SIGMOD '95. ACM, New York, 376--385.]] 10.1145\/223784.223853"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s005300050016"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434200101500302"},{"volume-title":"Coordinating Distributed Objects: An Actor-Based Approach to Synchronization","author":"Fr\u00f8lund S.","key":"e_1_2_1_18_1","unstructured":"Fr\u00f8lund , S. 1996. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization . MIT Press , Cambridge, Mass .]] Fr\u00f8lund, S. 1996. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, Cambridge, Mass.]]"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Frolund S. and Koistinen J. 1998. Quality of Service Specification in Distributed Object System Design. In USENIX COOTS.]] Frolund S. and Koistinen J. 1998. Quality of Service Specification in Distributed Object System Design. In USENIX COOTS.]]","DOI":"10.1088\/0967-1846\/5\/4\/005"},{"volume-title":"Proceedings of GLOBECOM '97 (Phoenix, Az.).]]","author":"Gokhale A.","key":"e_1_2_1_20_1","unstructured":"Gokhale , A. and Schmidt , D. C . 1997. Evaluating the performance of demultiplexing strategies for real-time CORBA . In Proceedings of GLOBECOM '97 (Phoenix, Az.).]] Gokhale, A. and Schmidt, D. C. 1997. Evaluating the performance of demultiplexing strategies for real-time CORBA. In Proceedings of GLOBECOM '97 (Phoenix, Az.).]]"},{"volume-title":"Proceedings of the IFIP\/ACM International Conference on Distributed Systems Platforms (Middleware). ACM","author":"He J.","key":"e_1_2_1_21_1","unstructured":"He , J. , Hiltunen , M. , Rajagopalan , M. , and Schlichting , R . 2001. Providing QoS Customization in Distributed Object Systems . In Proceedings of the IFIP\/ACM International Conference on Distributed Systems Platforms (Middleware). ACM , New York.]] He, J., Hiltunen, M., Rajagopalan, M., and Schlichting, R. 2001. Providing QoS Customization in Distributed Object Systems. In Proceedings of the IFIP\/ACM International Conference on Distributed Systems Platforms (Middleware). ACM, New York.]]"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","article-title":"Viewing control structures as patterns of passing messages","volume":"8","author":"Hewitt C.","year":"1977","unstructured":"Hewitt , C. 1977 . Viewing control structures as patterns of passing messages . Journal of Artificial Intelligence 8 , 3, 323 -- 364 .]] Hewitt, C. 1977. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence 8, 3, 323--364.]]","journal-title":"Journal of Artificial Intelligence"},{"volume-title":"Proceedings of 1973 International Joint Conference on Artificial Intelligence. 235--245","author":"Hewitt C.","key":"e_1_2_1_23_1","unstructured":"Hewitt , C. , Bishop , P. , and Steiger , R . 1973. A universal modulal actor formalism for artificial intelligence . In Proceedings of 1973 International Joint Conference on Artificial Intelligence. 235--245 .]] Hewitt, C., Bishop, P., and Steiger, R. 1973. A universal modulal actor formalism for artificial intelligence. In Proceedings of 1973 International Joint Conference on Artificial Intelligence. 235--245.]]"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1088\/0967-1846\/6\/3\/302","article-title":"Supporting Customized Failure Models for Distributed Software","volume":"6","author":"Hiltunen M.","year":"1999","unstructured":"Hiltunen , M. , Immanuel , V. , and Schlichting , R. 1999 . Supporting Customized Failure Models for Distributed Software . Distrib. Syst. Eng. 6 , 103 -- 111 .]] Hiltunen, M., Immanuel, V., and Schlichting, R. 1999. Supporting Customized Failure Models for Distributed Software. Distrib. Syst. Eng. 6, 103--111.]]","journal-title":"Distrib. Syst. Eng."},{"key":"e_1_2_1_25_1","unstructured":"ichiro Itoh J. Lea R. and Yokote Y. 1995. Using meta-objects to support optimization in the Apertos operating system. In USENIX COOTS (Conference on Object-Oriented Technologies).]] ichiro Itoh J. Lea R. and Yokote Y. 1995. Using meta-objects to support optimization in the Apertos operating system. In USENIX COOTS (Conference on Object-Oriented Technologies).]]"},{"volume-title":"Proceedings of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video","author":"Keeton K.","key":"e_1_2_1_26_1","unstructured":"Keeton , K. and Katz , R . 1993. The evaluation of video layout strategies on a high-bandwidth file server . In Proceedings of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video ( Lancaster, UK). 237--250.]] Keeton, K. and Katz, R. 1993. The evaluation of video layout strategies on a high-bandwidth file server. In Proceedings of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (Lancaster, UK). 237--250.]]"},{"volume-title":"Proceedings of ECOOP'97 European Conference on Object-Oriented Programming.]]","author":"Kiczales G.","key":"e_1_2_1_27_1","unstructured":"Kiczales , G. , Lamping , J. , Mendhekar , A. , Maeda , C. , Lopes , C. V. , Loingtier , J.-M. , and Irwin , J . 1997. Aspect-oriented programming . In Proceedings of ECOOP'97 European Conference on Object-Oriented Programming.]] Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J.-M., and Irwin, J. 1997. Aspect-oriented programming. In Proceedings of ECOOP'97 European Conference on Object-Oriented Programming.]]"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the IFIP\/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'2000)","volume":"1795","author":"Kon F.","unstructured":"Kon , F. , Rom\u00e1n , M. , Liu , P. , Mao , J. , Yamane , T. , Magalh\u00e3es , L. C. , and Campbell , R. H . 2000. Monitoring, security, and dynamic configuration with the dynamic TAO Reflective ORB . In Proceedings of the IFIP\/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'2000) . Lecture Notes in Computer Science , vol. 1795 . Springer-Verlag, New York, 121--143.]] Kon, F., Rom\u00e1n, M., Liu, P., Mao, J., Yamane, T., Magalh\u00e3es, L. C., and Campbell, R. H. 2000. Monitoring, security, and dynamic configuration with the dynamic TAO Reflective ORB. In Proceedings of the IFIP\/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'2000). Lecture Notes in Computer Science, vol. 1795. Springer-Verlag, New York, 121--143.]]"},{"volume-title":"IFIP\/ACM Middleware'2000 Workshop on Reflective Middleware. Gordon Blair and Roy Campbell (co-chairs), ACM","author":"Kon F.","key":"e_1_2_1_29_1","unstructured":"Kon , F. and Saikoski , K. B. , Eds . 2000 . IFIP\/ACM Middleware'2000 Workshop on Reflective Middleware. Gordon Blair and Roy Campbell (co-chairs), ACM , New York.]] Kon, F. and Saikoski, K. B., Eds. 2000. IFIP\/ACM Middleware'2000 Workshop on Reflective Middleware. Gordon Blair and Roy Campbell (co-chairs), ACM, New York.]]"},{"volume-title":"Proceedings of ECOOP'98 Workshop on Reflective Object-Oriented Programming and Systems","author":"Kon F.","key":"e_1_2_1_30_1","unstructured":"Kon , F. , Singhai , A. , Campbell , R. H. , Carvalho , D. , Moore , R. , and Ballesteros , F. J . 1998. 2K: A reflective, component-based operating system for rapidly changing environments . In Proceedings of ECOOP'98 Workshop on Reflective Object-Oriented Programming and Systems ( Brussels, Belgium).]] Kon, F., Singhai, A., Campbell, R. H., Carvalho, D., Moore, R., and Ballesteros, F. J. 1998. 2K: A reflective, component-based operating system for rapidly changing environments. In Proceedings of ECOOP'98 Workshop on Reflective Object-Oriented Programming and Systems (Brussels, Belgium).]]"},{"volume-title":"Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96)","author":"Leydekkers P.","key":"e_1_2_1_31_1","unstructured":"Leydekkers , P. and Gay , V . 1996. ODP view on QOS for open distributed mm environments . In Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96) (Paris, France). J. D. Meer and A. Vogel, Eds. 45--55.]] Leydekkers, P. and Gay, V. 1996. ODP view on QOS for open distributed mm environments. In Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96) (Paris, France). J. D. Meer and A. Vogel, Eds. 45--55.]]"},{"volume-title":"Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96)","author":"Lima F.","key":"e_1_2_1_32_1","unstructured":"Lima , F. and Madeira , E . 1996. ODP based QOS specification for the multiware platform . In Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96) (Paris, France). J. D. Meer and A. Vogel, Eds. 45--55.]] Lima, F. and Madeira, E. 1996. ODP based QOS specification for the multiware platform. In Proceedings of the 4th International IFIP Workshop on Quality of Service (IwQos96) (Paris, France). J. D. Meer and A. Vogel, Eds. 45--55.]]"},{"key":"e_1_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Lougher P. and Shepherd D. 1993. The design of a storage server for continuous media. The Comput. J.---Special Issue on Distributed Multimedia Systems 36 1 (Feb.) 32--42.]] Lougher P. and Shepherd D. 1993. The design of a storage server for continuous media. The Comput. J.---Special Issue on Distributed Multimedia Systems 36 1 (Feb.) 32--42.]]","DOI":"10.1093\/comjnl\/36.1.32"},{"volume-title":"Proceedings of the First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)","author":"Loyall J.","key":"e_1_2_1_34_1","unstructured":"Loyall , J. , Schantz , R. , Zinky , J. , and Bakken , D . 1998. Specifying and measuring quality of service in distributed object systems . In Proceedings of the First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98) .]] Loyall, J., Schantz, R., Zinky, J., and Bakken, D. 1998. Specifying and measuring quality of service in distributed object systems. In Proceedings of the First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).]]"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/35.565656"},{"key":"e_1_2_1_37_1","article-title":"QOS-aware resource management for distributed multimedia applications","volume":"8","author":"Nahrstedt K.","year":"1998","unstructured":"Nahrstedt , K. , Chu , H.-H. , and Narayan , S. 1998 . QOS-aware resource management for distributed multimedia applications . J. High Speed Networking 8 , 304, IOS Press, 225--227.]] Nahrstedt, K., Chu, H.-H., and Narayan, S. 1998. QOS-aware resource management for distributed multimedia applications. J. High Speed Networking 8, 304, IOS Press, 225--227.]]","journal-title":"J. High Speed Networking"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.384118"},{"key":"e_1_2_1_39_1","unstructured":"Object Management Group. 1999. The Common Object Request Broker:Architecture and Specification 2.3 ed.]] Object Management Group. 1999. The Common Object Request Broker:Architecture and Specification 2.3 ed.]]"},{"key":"e_1_2_1_40_1","unstructured":"Okamura H. Ishikawa Y. and Tokoro M. 1992. Al-1\/d: A distributed programming system with multi-model reflection framework. In Reflection and Meta-Level Architetures A. Yonezawa and B. C. Smith Eds. In ACM SIGPLAN. ACM New York 36--47.]] Okamura H. Ishikawa Y. and Tokoro M. 1992. Al-1\/d: A distributed programming system with multi-model reflection framework. In Reflection and Meta-Level Architetures A. Yonezawa and B. C. Smith Eds. In ACM SIGPLAN. ACM New York 36--47.]]"},{"volume-title":"Workshop on Compositional Software Architectures. 1998. Proceedings of the OMG Workshop on Compositional Software Architectures.]]","author":"OMG","key":"e_1_2_1_41_1","unstructured":"OMG Workshop on Compositional Software Architectures. 1998. Proceedings of the OMG Workshop on Compositional Software Architectures.]] OMG Workshop on Compositional Software Architectures. 1998. Proceedings of the OMG Workshop on Compositional Software Architectures.]]"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0086"},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Schmidt D. C. and Cleeland C. 1998. Applying patterns to develop extensible and maintainable orb middleware. Commun. ACM.]] Schmidt D. C. and Cleeland C. 1998. Applying patterns to develop extensible and maintainable orb middleware. Commun. ACM.]]","DOI":"10.1109\/35.755450"},{"key":"e_1_2_1_45_1","unstructured":"Schmidt D. C. Levine D. and Mungee S. 1997. The design of the Tao real-time object request broker. Comput. Commun. 21. Special Issue on Building Quality of Service into Distributed System.]] 10.1016\/S0140-3664(97)00165-5 Schmidt D. C. Levine D. and Mungee S. 1997. The design of the Tao real-time object request broker. Comput. Commun. 21. Special Issue on Building Quality of Service into Distributed System.]] 10.1016\/S0140-3664(97)00165-5"},{"volume-title":"Proceedings of the ECOOP'97 Workshop on Reflective Real-Time Object-Oriented Programming and Systems.]]","author":"Singhai A.","key":"e_1_2_1_46_1","unstructured":"Singhai , A. , Sane , A. , and Campbell , R . 1997. Reflective ORBs: Support for robust, time-critical distribution . In Proceedings of the ECOOP'97 Workshop on Reflective Real-Time Object-Oriented Programming and Systems.]] Singhai, A., Sane, A., and Campbell, R. 1997. Reflective ORBs: Support for robust, time-critical distribution. In Proceedings of the ECOOP'97 Workshop on Reflective Real-Time Object-Oriented Programming and Systems.]]"},{"volume-title":"Proceedings of the 43rd Annual NCTA Convention and Exposition (New Orleans, La.). 141--148","author":"Thapar M.","key":"e_1_2_1_49_1","unstructured":"Thapar , M. and Koerner , B . 1994. Architecture for video servers . In Proceedings of the 43rd Annual NCTA Convention and Exposition (New Orleans, La.). 141--148 .]] Thapar, M. and Koerner, B. 1994. Architecture for video servers. In Proceedings of the 43rd Annual NCTA Convention and Exposition (New Orleans, La.). 141--148.]]"},{"volume-title":"Proceedings of the Middleware '98 (The Lake District, U.K.)]]","author":"van Steen M.","key":"e_1_2_1_50_1","unstructured":"van Steen , M. , Tanenbaum , A. , Kuz , I. , and Sip , H . 1998. A scalable middleware solution for advanced wide-area web services . In Proceedings of the Middleware '98 (The Lake District, U.K.)]] van Steen, M., Tanenbaum, A., Kuz, I., and Sip, H. 1998. A scalable middleware solution for advanced wide-area web services. In Proceedings of the Middleware '98 (The Lake District, U.K.)]]"},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the Middleware Workshop, International Conference on Distributed Computing Systems (ICDCS99)","author":"Venkatasubramanian N.","year":"1999","unstructured":"Venkatasubramanian , N. 1999 . Composeq---A QOS-enabled customizable middleware framework for distributed computing . In Proceedings of the Middleware Workshop, International Conference on Distributed Computing Systems (ICDCS99) .]] Venkatasubramanian, N. 1999. Composeq---A QOS-enabled customizable middleware framework for distributed computing. In Proceedings of the Middleware Workshop, International Conference on Distributed Computing Systems (ICDCS99).]]"},{"volume-title":"International Workshop on Memory Management, IWMM92 (Saint-Malo). Lecture Notes in Computer Science. Springer-Verlag","author":"Venkatasubramanian N.","key":"e_1_2_1_54_1","unstructured":"Venkatasubramanian , N. , Agha , G. , and Talcott , C. L . 1992. Scalable distributed garbage collection for systems of active objects . In International Workshop on Memory Management, IWMM92 (Saint-Malo). Lecture Notes in Computer Science. Springer-Verlag , New York.]] Venkatasubramanian, N., Agha, G., and Talcott, C. L. 1992. Scalable distributed garbage collection for systems of active objects. In International Workshop on Memory Management, IWMM92 (Saint-Malo). Lecture Notes in Computer Science. Springer-Verlag, New York.]]"},{"volume-title":"International Conference on Distributed Computing Systems (ICDCS2001)","author":"Venkatasubramanian N.","key":"e_1_2_1_55_1","unstructured":"Venkatasubramanian , N. , Deshpande , M. , Mohapatra , S. , Gutierrez-Nolasco , S. , and Wickramasuriya , J . 2001. Design and implementation of a composable reflective middleware framework . In International Conference on Distributed Computing Systems (ICDCS2001) .]] Venkatasubramanian, N., Deshpande, M., Mohapatra, S., Gutierrez-Nolasco, S., and Wickramasuriya, J. 2001. Design and implementation of a composable reflective middleware framework. In International Conference on Distributed Computing Systems (ICDCS2001).]]"},{"volume-title":"Proceedings of the International Conference on Distributed Computing Systems (ICDCS97)","author":"Venkatasubramanian N.","key":"e_1_2_1_56_1","unstructured":"Venkatasubramanian , N. and Ramanathan , S . 1997. Effective load management for scalable video servers . In Proceedings of the International Conference on Distributed Computing Systems (ICDCS97) .]] Venkatasubramanian, N. and Ramanathan, S. 1997. Effective load management for scalable video servers. In Proceedings of the International Conference on Distributed Computing Systems (ICDCS97).]]"},{"volume-title":"Hawaii International Conference on System Sciences, HICSS-26","author":"Venkatasubramanian N.","key":"e_1_2_1_57_1","unstructured":"Venkatasubramanian , N. and Talcott , C. L . 1993. A metaarchitecture for distributed resource management . In Hawaii International Conference on System Sciences, HICSS-26 .]] Venkatasubramanian, N. and Talcott, C. L. 1993. A metaarchitecture for distributed resource management. In Hawaii International Conference on System Sciences, HICSS-26.]]"},{"volume-title":"Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. ACM","author":"Venkatasubramanian N.","key":"e_1_2_1_58_1","unstructured":"Venkatasubramanian , N. and Talcott , C. L . 1995. Reasoning about meta level activities in open distributed systems . In Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. ACM , New York, 144--152.]] 10.1145\/224964.224981 Venkatasubramanian, N. and Talcott, C. L. 1995. Reasoning about meta level activities in open distributed systems. In Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. ACM, New York, 144--152.]] 10.1145\/224964.224981"},{"key":"e_1_2_1_59_1","unstructured":"Venkatasubramanian N. and Talcott C. L. 2001a. Integration of resource management activities in distributed systems. Tech. Rep. Department of Computer Science UC Irvine.]] Venkatasubramanian N. and Talcott C. L. 2001a. Integration of resource management activities in distributed systems. Tech. Rep. Department of Computer Science UC Irvine.]]"},{"key":"e_1_2_1_60_1","first-page":"7","article-title":"A semantic framework for modeling and reasoning about reflective middleware","volume":"2","author":"Venkatasubramanian N.","year":"2001","unstructured":"Venkatasubramanian , N. and Talcott , C. L. 2001 b. A semantic framework for modeling and reasoning about reflective middleware . IEEE Distrib. Syst. Online 2 , 7 .]] Venkatasubramanian, N. and Talcott, C. L. 2001b. A semantic framework for modeling and reasoning about reflective middleware. IEEE Distrib. Syst. Online 2, 7.]]","journal-title":"IEEE Distrib. Syst. Online"},{"key":"e_1_2_1_61_1","first-page":"1","article-title":"Designing a multi-user HDTV storage server","volume":"11","author":"Vin H. M.","year":"1993","unstructured":"Vin , H. M. and Rangan , P. V. 1993 . Designing a multi-user HDTV storage server . IEEE J. Select. Areas Commun. 11 , 1 (Jan.), 153--164.]] Vin, H. M. and Rangan, P. V. 1993. Designing a multi-user HDTV storage server. IEEE J. Select. Areas Commun. 11, 1 (Jan.), 153--164.]]","journal-title":"IEEE J. Select. Areas Commun."},{"volume-title":"COMPSAC 2000 Conference.","author":"Wang N.","key":"e_1_2_1_62_1","unstructured":"Wang , N. , Kircher , M. , Schmidt , D. C. , and Parameswaran , K . 2000. Applying reflective middleware techniques to optimize a QOS-enabled corba component model implementation . In COMPSAC 2000 Conference. ( Taipei, Taiwan).]] Wang, N., Kircher, M., Schmidt, D. C., and Parameswaran, K. 2000. Applying reflective middleware techniques to optimize a QOS-enabled corba component model implementation. In COMPSAC 2000 Conference. (Taipei, Taiwan).]]"},{"volume-title":"Proceedings of ACM SIGMETRICS '95","author":"Wolf J. L.","key":"e_1_2_1_63_1","unstructured":"Wolf , J. L. , Yu , P. S. , and Shachnai , H . 1995. DASD dancing: A disk load balancing optimization scheme for video-on-demand computer systems . In Proceedings of ACM SIGMETRICS '95 , Performance Evaluation Review. ACM, New York, 157--166.]] 10.1145\/223587.223605 Wolf, J. L., Yu, P. S., and Shachnai, H. 1995. DASD dancing: A disk load balancing optimization scheme for video-on-demand computer systems. In Proceedings of ACM SIGMETRICS '95, Performance Evaluation Review. ACM, New York, 157--166.]] 10.1145\/223587.223605"},{"volume-title":"Proceedings of the HiPC'95 Conference on High Performance Computing.]]","author":"Wolfe V. F.","key":"e_1_2_1_64_1","unstructured":"Wolfe , V. F. , Black , J. K. , Thuraisingham , B. , and Krupp , P . 1995. Real-time method invocations in distributed environments . In Proceedings of the HiPC'95 Conference on High Performance Computing.]] Wolfe, V. F., Black, J. K., Thuraisingham, B., and Krupp, P. 1995. Real-time method invocations in distributed environments. In Proceedings of the HiPC'95 Conference on High Performance Computing.]]"},{"volume-title":"Proceedings of 3rd International Workshop on Network and Operating System Support for Digital Audio and Video","author":"Yu P.","key":"e_1_2_1_65_1","unstructured":"Yu , P. , Chen , M. , and Kandlur , D . 1992. Design and analysis of a grouped sweeping scheme for multimedia storage management . Proceedings of 3rd International Workshop on Network and Operating System Support for Digital Audio and Video ( San Diego, Calif.). 38--49.]] Yu, P., Chen, M., and Kandlur, D. 1992. Design and analysis of a grouped sweeping scheme for multimedia storage management. Proceedings of 3rd International Workshop on Network and Operating System Support for Digital Audio and Video (San Diego, Calif.). 38--49.]]"},{"volume-title":"Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, Calif.]]","author":"Zave P.","key":"e_1_2_1_66_1","unstructured":"Zave , P. and Jackson , M . 1997. Requirements for telecommunications services: An attack on complexity . In Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, Calif.]] Zave, P. and Jackson, M. 1997. Requirements for telecommunications services: An attack on complexity. In Proceedings of the IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, Los Alamitos, Calif.]]"},{"key":"e_1_2_1_67_1","doi-asserted-by":"crossref","unstructured":"Zinky J. Bakken D. and Schantz R. 1997. Architectural support for quality of service for CORBA objects. Theory Pract. Obj. Syst.]] Zinky J. Bakken D. and Schantz R. 1997. Architectural support for quality of service for CORBA objects. Theory Pract. Obj. Syst.]]","DOI":"10.1002\/(SICI)1096-9942(1997)3:1<55::AID-TAPO6>3.0.CO;2-6"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1005561.1005564","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1005561.1005564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:39Z","timestamp":1750263879000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1005561.1005564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["10.1145\/1005561.1005564"],"URL":"https:\/\/doi.org\/10.1145\/1005561.1005564","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2004,1]]},"assertion":[{"value":"2004-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}