Bharat, K.A. and Cardelli, L. Migratory Applications. In Proc. of UIST'95. ACM Press, New York, 1995, 133--142.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....most promising schemes are often hybrids, e.g. 16, 17, 27] The architecture presented in this paper also tries to exploit domain specific properties using a hybrid approach. Besides static workgroup topology, some research also considers dynamic changes to the workgroup and client migration [5, 11], in particular accommodation of late comers that need to be updated on the current state of the session. Two competing solutions are replaying all previous events to the newcomer vs. transmitting a current image of application state. Because the history of previous events can become arbitrarily ....

Bharat K. A., L. Cardelli (1995). Migratory Applications. Proc. ACM User Interface Software and Technology (UIST'95), pp. 133-142.

....separate graphical and application state, and synchronize only application state. b) A distributed shared scene graph achieves replication that is transparent to the application. Besides static workgroup topology, some research also considers dynamic changes to the workgroup and client migration [4, 10], in particular accommodation of latecomers that need to be updated on the current state of the session. Two competing solutions are replaying all previous events to the newcomer vs. transmitting a current image of application state. Because the history of previous events can become arbitrarily ....

Bharat K. A., L. Cardelli (1995). Migratory Applications. Proc. ACM User Interface Software and Technology (UIST'95), pp. 133-142.

....mechanisms for code shipping would be more convenient and would manage marshaling, shipping, and remote interpretation tasks at the system level. A common case is represented by the use of a weak MCS that allows for code shipping for implementing applications designed following the MA paradigm [51]. In this case, the architectural concept of a moving component must be implemented using a technology that does not preserve the execution state upon migration. Therefore, the programmer has to build explicitly some appropriate data structures that allow for saving and restoring the execution ....

# K.A. Bharat and L. Cardelli, "Migratory Applications," Technical Report 138, Digital Equipment Corp., Systems Research Center, Feb. 1996.

....choosing the right trade offs for the given application, and the most promising schemes are often hybrids, e.g. 13, 14, 20] and also the architecture presented in this paper. Besides static workgroup topology, some research also considers dynamic changes to the workgroup and client migration [5, 10], in particular accommodation of late comers that need to be updated on the current state of the session. Two competing solutions are replaying all previous events to the newcomer vs. transmitting a current image of application state. Because the history of previous events can become arbitrarily ....

Bharat K. A., L. Cardelli (1995). Migratory Applications. Proc. ACM User Interface Software and Technology (UIST'95), pp. 133-142.

....from sequential object oriented languages type systems to non uniform behaviors. 2 Static safety analysis for concurrent objects As con rmed by the fast development of Java based environment, distributed and mobile computation seems to emerge as the leading edge of computing (for example, see [BC96, Car96, Car95a, Wad97] Concurrent objects provide an interesting basis for the use of this emerging type of computation (for example, see [Ame89, Yon90, Car95b] 1 Yet, uniform behavior concurrent objects (i.e. a direct extension of sequential objects in which objects have an eternal ....

K. Bharat and L. Cardelli. Migratory applications. In Proc. of the 2nd Workshop on Mobile Object Systems, July 1996.

....as well as for ordinary network applications. In this paper, after we clarify the communication continuity and existing approaches, we present the MobileSocket design, mechanism, and results of evaluation. I. Introduction Several types of computing entities, such as users, hosts, applications[1], or even users desktops[12] can rove around in the mobile computing environment. Carrying their own notebook computers, users rove around among several places. Their mobile hosts are disconnected from and reconnected to the different network segments any number of times, even while ....

K. Bharat and L. Cardelli, "Migratory applications," in ACM Symposium on User Interfaces Software and Technology, Nov. 1995.

....assistant Coq; we report on our experience of designing the algorithm and deriving its proof of correctness. The complete source code of the proof is made available from the WWW. 1. INTRODUCTION Mobile agents have emerged as a major programming paradigm for structuring distributed applications [3, 5]. For instance, the magnitude project [13] investigates the use of mobile agents as intermediary entities capable of negotiating access to information resources on behalf of mobile users. Several important issues remain to be addressed before mobile agents become a mainstream technology for such ....

Krishna Bharat and Luca Cardelli. Migratory Applications. In Christian Tschudin and Jan Vitek, editors, Mobile Object Systems: Towards the Programmable Internet, pages 131-149. Springer-Verlag, April 1997. Lecture Notes in Computer Science No. 1222.

....11] are implementations for the desktop computer using Java user interfaces. While most of these description languages only work at design time, we would like to propose an architecture for runtime serialization of Java user interfaces into an XML description, inspired by migratory applications [3] and remote user interface software environments [12] This would enable us to download a user interface together with constraints and necessary transformations, which will be discussed in section 4.2. Our description language should serve two purposes: adaptation and plasticity of user ....

K. Bharat and L. Cardelli. Migratory applications. In Eighth ACM Symposium on User Interface Software and Technology, pages 133-42, 1995.

....researched. A related traditional technique is process migration for loadbalancing in transaction oriented multi processing system, but this field rarely involves user interface issues. The first explicit discussion of application migration for 2D user interfaces that we know of is given in [2]. Recently, modern interpreted languages such as Java [27] have fueled the interest in issues regarding mobile code [11, 16, 24] which can be used to implement application migration. Multi computer direct manipulation is a related term introduced by Rekimoto [20] to describe hybrid user ....

Bharat K. A., Cardelli L. Migratory Applications. In Proceedings of the Eighth ACM Symposium on User Interface Software and Technology, pp. 133-142, Nov 1995.

....software entities, which are movable with their state. The state of a software entity is given by all run time instantiations, which belong to a specific software entity. This category includes the big field of mobile agents [HCK95, Har95, Hoh95] and movable (stateful) application systems [KL96]. Within this category we can distinguish between autonomous and non autonomous mobile stateful software entities. Autonomous means that a stateful entity can itself decide to migrate to another location. In the case of a non autonomous stateful entity, the entity itself cannot decide to ....

....code representation is [Hoh95] see also the MOLE project 9 ) and Aglets (mobile agents in Java 10 ) Examples with high level code representations are active mail with Safe Tcl [BR93] and Penguin 11 . One example of a stateful mobile application system written in Obliq is described in [KL96]. 3.5.3 Mobile Stateless Software Entities This section discuss software entities which are not movable with state. Mobile stateless entities are used to generate new instantiations at different locations and or platforms. The instantiations have a well defined state after the instantiation ....

[Article contains additional citation context not shown here]

Bharat K. and Cardelli L. Migratory Applications. Technical report, digital, February 1996.

....network connections. Obliq achieves mobility by the use of mobile threads which execute procedures on a remote execution engine. Obliq supports weak mobility using a mechanism for synchronous shipping of stand alone code. Obliq technology has been used to enable dynamic application migration[24] and also as a distributed application builder (in the form of Visual Obliq) 23] Sumatra: Sumatra [26] developed at University of Maryland, is a mobile agent system designed with an intent to support resource aware mobile programs. In other words, they are able to handle asynchronous events ....

K. Bharat and L. Cardelli, "Migratory Applications" Proc. of the ACM Symposium on User Interface Software and Technology '95, 133-142, 1995.

....X, e.g. audio. Only the display connections follow a user and there is no dynamic recon guration at an application level. Another SOTA approach to mobile multimedia is to build multimedia applications using a mobile agent system (see section 8) One example is the Migratory Applications work [35], which employs the Obliq mobile agent system so that applications can move from one user to another or can be con gured to follow users from machine to machine. Support for state saving in Visual Obliq allows applications to take their user interfaces with them when they move. This approach ....

K. Bharat and L. Cardelli. Migratory Applications. In Proc. ACM Symposium on User Interfaces Software and Technology, Pittsburgh, USA, November 1995.

....although it can be used from within Modula 3 as a scripting language. Obliq is interpreted and has first class procedures, but is not persistent. Initially, object migration in Obliq was only by reference, but recently Obliq also started to support deep copy object migration and substitution [BC95] It offers a simple programming model but no support for sharing apart from remote references and concentrates on user interface applications. Java [GM94, GM95] is also a new interpreted language similar to C , but unlike C , portable across machine architectures. In Java, entire programs ....

Krishna Bharat and Luca Cardelli. Migratory applications. In Proceedings of ACM Symposium on User Interface Software and Technology '95 (Pittsburgh, PA, Nov 1995), 1995.

....on our experience. Keywords: scripting language, Obtuse, migratory applications, Obliq, distributed systems 1. Introduction Obtuse was designed by the author, inspired by Cardelli s Obliq [1] and Bharat s Visual Obliq[2] systems, and implemented as part of a summer research appointment at Microsoft Corporation. The goal was to explore the potential of several core ActiveX technologies [3,4,5] including COM (Component Object Model) Automation, and DCOM (Distributed Component Object Model) Obtuse is unique in ....

) Krishna Bharat and Luca Cardelli, Migratory Applications, Proceedings of ACM Symposium on User Interface Software and Technology '95, Pittsburgh, PA, (Nov 1995). http://www.cc.gatech.edu/gvu/people/Phd/Krishna/ VO/Migration.html

....mechanisms for code shipping would be more convenient and would manage marshaling, shipping, and remote interpretation tasks at the system level. A common case is represented by the use of a weak MCS that allows for code shipping for implementing applications designed following the MA paradigm [51]. In this case, the architectural concept of a moving componentmust be implemented using a technology that does not preserve the execution state upon migration. Therefore the programmer has to build explicitly some appropriate data structures that allows for saving and restoring the execution ....

K.A. Bharat and L. Cardelli, "Migratory Applications," Tech. Rep. 138, Digital Equipment Corporation, Systems Research Center, Feb. 1996.

....examine, as have been investigated in the agent community. It may not be possible for a certain agent to move to a node due to size or security restrictions. This is the primary reason why agents have portfolios. The portfolios are similar to the briefcase notion used by Cardelli in Visual Obliq [7]. These portfolios are forwarded to the destination nodes prior to the actual migration and checked by policy management units for legality. If all requirements are fulfilled then the code can migrate. The problem arises when the architecture tries to optimise the system. For example, if a ....

K. A. Bharat, L. Cardelli, "Migratory Applications", Digital SRC research Report 138, 1996

....if one component stops. We illustrated this on the example of highly defendant objects constructs in [Sal99] Wide area applications (WAA) are distributed systems, that are spread via wide area networks such as the internet, which have to be continuously available due to the global time zones [BC97, Car97]. Continuous availability needs runtime reconfiguration, which leads to dynamic systems. Mobile Computing is the discipline of mobile computing devices or mobile code, which leads to the same key issue: a running system has to adapt dynamically to a changing environment. New middleware like ....

Krishna Bharat and Luca Cardelli. Migratory applications. In Jan Vitek and Christian Tschudin, editors, Mobile Object Systems: Towards the Programmable Internet, volume 1222 of Lecture Notes in Computer Science, pages 3--6. Springer-Verlag, Heidelberg, April 1997.

....as mobile computing. Security, resource discovery, and communication issues are identical for a software running on a laptop that was just connected to a foreign network or for a mobile agent that has been allowed to penetrate a new domain. There are numerous research topics related to mobility [6], including network communications [9] mobile code security [26] active routing [13] and rewalls modelling [8] Several calculi have been devised to reason about and to study those issues, including ambients [8] seal calculus [33] spi calculus [1] or join calculus [11] In this paper, we ....

Krishna Bharat and Luca Cardelli. Migratory Applications. In Mobile Object Systems: Towards the Programmable Internet, pages 131-149. Springer-Verlag, April 1997. Lecture Notes in Computer Science No. 1222.

....network. In order to avoid confusion, we use link mobility to describe the former, and process mobility , or migration, for the latter. In this work, we are concerned with process mobility. The classical work on link mobility is Milner s calculus [12] Migration has been described by Cardelli [3, 7], and formalized in work on agent passing calculi, for example Plain CHOCS [17] and Strictly Higher Order calculus [14] For a study of the correspondence between the two concepts, see Sangiorgi [15] An important consideration in migration is that of locality, namely the explicit association ....

K. Bharat and L. Cardelli. Migratory applications. In J. Vitek and C. Tschudin, editors, Mobile Object Systems: Towards the Programmable Internet, LNCS 1222, pages 131--148. Springer-Verlag, 1997.

....to one s workstation environment. PalmVNC, for example, lets the mobile PDA user connect to and view a portion of their workstation screen (Minenko [11] Other systems migrate or teleport a person s working environment to nearby workstations. by migratory applications (Bharat and Cardelli [2]; Richardson, Bennett, Mapp et al. [15] 5. Some mobile systems synchronize personal information across devices. For example, the 3Com Palm Pilot HotSync Manager replicates information PDAs and Shared Public Displays (To appear in Personal Technologies: Accepted March 1999) Greenberg, Boyle and ....

Bharat, K. and Cardelli, L. Migratory Applications. In Proceedings of the ACM Symposium on User Interface Software and Technology, p.133-142, ACM Press. 1995.

....systems. It is questionable that users will take a rather radical step of replacing existing kernels for collaboration. Another disadvantage of this approach is that it does not address the problem of retargetting to a local window system after migration. Migration aware applications such as [5,7,12,14] can solve this problem, but these systems assume special language support. It is to overcome these limitations of current process migration systems that we have developed the log based scheme. The idea of logging operations has been used previously in collaboration systems to support latecomers ....

....migration systems that we have developed the log based scheme. The idea of logging operations has been used previously in collaboration systems to support latecomers to a conference, log replays in asynchronous collaboration and user interface animation, and failure recovery in service acquisition[5,6,8,9]. However, these works have not considered migration, which requires a significantly different mechanism. APPROACH Overview Our approach has aspects of several of the related systems discussed above. As in a centralized system, at any one time, a single copy of the client interacts with all ....

Bharat, K. & Cardelli, L., Migratory Applications, Proceedings of UIST '95, pp.133-142.

No context found.

Bharat, K.A. and Cardelli, L. Migratory Applications. In Proc. of UIST'95. ACM Press, New York, 1995, 133--142.

No context found.

K. Bharat and L. Cardelli. "Migratory Applications," In Proceedings of the ACM Symposium on User Interface Software and Technology, Pittsburgh, PA, November 1995.

No context found.

Krishna A. Bharat, Luca Cardelli: "Migratory Applications", PLDI Conference, 1995

No context found.

K. Bharat and L. Cardelli. Migratory Applications. In Proceedings of the Eighth ACM Symposium on User Interface Software and Technology, pages 133#42, Nov 1995.

First 50 documents  Next 50

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