Nalini Venkatasubramanian Carolyn Talcott University of Illinois,...  Home/Search
Context Related
| uiuc.edu/~nvenkata/papers/...93hicss.ps uci.edu/~nalini/papers/93h...93hicss.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/~nvenkata/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a two-level model of distributed computation designed to provide a formal basis for specifying and reasoning about dynamic system modification and resource management activities in a distributed system. We take actors as our underlying computation model. An important role of such a model is to represent interactions among resource management activities and between these system level activities and application level activities. This allows us to express and reason about... (Update)
Context of citations to this paper: More
...is needed to verify the adherence of Maud components to a given specification. Preliminary work in this area has been done in [VT93] Safety would be addressed by having managers only install meta objects that conform to some specification. The approach is also flexible...
...functional computation. An operation semantics is developed for the resulting language. The semantics supports operational reasoning. In [36], the semantics is extended to support formal reasoning about meta architectures such as the one we describe here. If necessary, the...
Cited by: More
A Protocol Description Language for Customizing Failure Semantics - Sturman, Agha (1994) (Correct)
A Methodology for Adapting to Patterns of Faults - Agha, Sturman (1994) (Correct)
A Linguistic Framework for Dynamic Composition of.. - Agha, Frĝlund.. (1993) (Correct)
Similar documents (at the sentence level):
14.2%: An Adaptive Resource Management Architecture For Global.. - Venkatasubramanian (1998) (Correct)
5.7%: Scalable Distributed Garbage Collection for Systems of.. - Nalini.. (1992) (Correct)
Active bibliography (related documents): More All
0.4: Reasoning about Meta Level Activities in Open Distributed.. - Venkatasubramanian (1995) (Correct)
0.4: Integration of Resource Management Activities in.. - Nalini.. (1995) (Correct)
0.3: Hierarchical Garbage Collection in Scalable Distributed Systems - Venkatasubramanian (1992) (Correct)
Similar documents based on text: More All
0.1: A MetaObject Framework for QoS-Based Distributed.. - Nalini.. (Correct)
0.1: CompOSE|Q - A QoS-enabled Customizable Middleware Framework .. - Venkatasubramanian (1999) (Correct)
0.1: Customization and Composition of Distributed Objects: Policy.. - Astley (1999) (Correct)
Related documents from co-citation: More All
3: Actors: a model of concurrent computation in distributed systems (context) - Agha - 1988
3: Massachusetts Institute of Technology (context) - Smith, Semantics et al. - 1982
3: The Muse Object Architecture: A New Operating System Structuring Concept - Yokote - 1991
BibTeX entry: (Update)
Nalini Venkatasubramanian and Carolyn Talcott. A MetaArchitecture for Distributed Resource Management. In Proceedings of the Hawaii International Conference on System Sciences. IEEE Computer Society Press, January 1993. To Appear. http://citeseer.ist.psu.edu/66267.html More
@misc{ venkatasubramanian93metaarchitecture,
author = "N. Venkatasubramanian and C. Talcott",
title = "A MetaArchitecture for Distributed Resource Management",
text = "Nalini Venkatasubramanian and Carolyn Talcott. A MetaArchitecture for Distributed
Resource Management. In Proceedings of the Hawaii International Conference
on System Sciences. IEEE Computer Society Press, January 1993. To Appear.",
year = "1993",
url = "citeseer.ist.psu.edu/66267.html" }
Citations (may not include all citations):673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
131 Concurrent object oriented programming (context) - Agha - 1990
60 Towards a theory of actor computation (context) - Agha, Mason et al. - 1992
54 Hybrid group reflective architecture for object oriented con.. - Matsuoka, Watanabe et al. - 1991
46 Rewriting as a unified model of concurrency (context) - Meseguer - 1990
46 Lecture Notes in Computer Science (context) - Schneider, machine - 1990
43 A linguistic framework for dynamic composition of dependabil.. - Agha, Frolund et al. - 1992
22 MIT Artificial Intelligence Laboratory (context) - Clinger, actor et al. - 1981
19 An actor based metalevel architecture for group-wide reflect.. - Watanabe, Yonezawa - 1990
14 Scalable distributed garbage collection for systems of activ.. (context) - Venkatasubramanian, Agha et al. - 1992
4 Hierarchical garbage collection in scalable distributed syst.. - Venkatasubramanian - 1992
3 Garbage collection of actorrs (context) - Kafura, Washabaugh et al. - 1990
Documents on the same site (http://yangtze.cs.uiuc.edu/~nvenkata/): More
Hierarchical Garbage Collection in Scalable Distributed Systems - Venkatasubramanian (1992) (Correct)
Scalable Distributed Garbage Collection for Systems of.. - Nalini.. (1992) (Correct)
Formalizing Multimedia QoS Constraints Using Actors - Ren, Venkatasubramanian, Agha (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC