• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

A Study on Mobile Language Systems (1999)

by Tatsurou Sekiguchi
Add To MetaCart

Tools

Sorted by:
Results 1 - 5 of 5

State-On-Demand Execution for Adaptive Component-based Mobile Agent

by Systems Yuk Chow, Yuk Chow, Wenzhang Zhu, Cho-li Wang, Francis C. M. Lau - Proc. of ICPADS , 2004
"... The introduction of mobile code in the pervasive computing environment provides a good opportunity for research in ways to enhance execution flexibility. We note that current mobile code is too heavyweight and not adaptive enough to be used in pervasive computing where devices are resourcelimited an ..."
Abstract - Cited by 7 (3 self) - Add to MetaCart
The introduction of mobile code in the pervasive computing environment provides a good opportunity for research in ways to enhance execution flexibility. We note that current mobile code is too heavyweight and not adaptive enough to be used in pervasive computing where devices are resourcelimited and heterogeneity is the norm. In this paper, we propose a new lightweight, component-based mobile agent system that can adapt to diverse devices and features resource saving as one of its aims. The system supports strong mobility of mobile code, which is a prerequisite for achieving system flexibility and good performance. The system discretize the transmission of code and execution states and relies on a scheme called state-on-demand (SOD) for the execution of the mobile code. We provide performance results to demonstrate the effectiveness of the SOD scheme.

From process algebra to java code

by Andrew Phillips, Susan Eisenbach, Daniel Lister - In ECOOP Workshop on Formal Techniques for Java-like Programs , 2002
"... The Æ�-calculus, a new calculus based on the �-calculus, is a model for mobile distributed computation. The Æ�-calculus can be used to specify applications, in order to reason about their security and correctness properties. The Æ � primitives have been been implemented as a Java API. The implementa ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
The Æ�-calculus, a new calculus based on the �-calculus, is a model for mobile distributed computation. The Æ�-calculus can be used to specify applications, in order to reason about their security and correctness properties. The Æ � primitives have been been implemented as a Java API. The implementation in Java provides a means of bridging the gap between application specification and implementation. 1

1.1 The new needs in Pervasive Computing

by unknown authors
"... Pervasive computing is undoubtedly the next wave in the computing industry. With the proliferation of popularity of Intelligent Appliances (IA), e.g. mobile phones and Personal Digital Assistances (PDAs), and wireless network technologies in the past few years, pervasive computing has suc- ..."
Abstract - Add to MetaCart
Pervasive computing is undoubtedly the next wave in the computing industry. With the proliferation of popularity of Intelligent Appliances (IA), e.g. mobile phones and Personal Digital Assistances (PDAs), and wireless network technologies in the past few years, pervasive computing has suc-
(Show Context)

Citation Context

...s of systems adopting this strategy includes the agent system in WASP project developed at the Darmstadt University of Technology [32], and that in JavaGo project developed at the University of Tokyo =-=[27]-=-. ¯ Byte code instrumentation. This scheme is similar to the source code instrumentation scheme, except that the whole instrumentation strategy is done at byte-code level instead of source-code level....

Mobile Programming with Ambients

by Andrew Phillips, Susan Eisenbach, Nobuko Yoshida
"... Mobility is an important paradigm for modern distributed applications, where mobile code is supplied on demand and mobile components interact freely within a given network. However, mobile applications are difficult to develop: not only do they involve complex parallel interactions between multiple ..."
Abstract - Add to MetaCart
Mobility is an important paradigm for modern distributed applications, where mobile code is supplied on demand and mobile components interact freely within a given network. However, mobile applications are difficult to develop: not only do they involve complex parallel interactions between multiple components, but they must also satisfy strict security requirements. One could argue that the development of such applications would benefit from a programming language based on a formal model. Foundational research has shown that Ambient calculi are a promising approach to modelling mobile computation. More recently, Boxed Ambient calculi have been designed to be at a level of abstraction suitable for an application programmer. This paper presents a programming language based on a variant of Boxed Ambients with channels. The paper shows how the language can be used to program a non-trivial mobile application for tracking the location of migrating agents, starting from a formal calculus specification of the application. The paper also describes how a distributed runtime for the language can be implemented in OCaml, based on a formal specification of the runtime that was proved sound and complete with respect to the calculus in [21]. The use of a functional language allows for an almost direct mapping from runtime specification to functional code, giving greater confidence in the runtime implementation. The correctness of the runtime ensures that the work done in specifying and analysing mobile applications is not lost during their execution. 1.
(Show Context)

Citation Context

...ge through code instrumentation. These include WASP [13], an extended version of Aglets [14], Javaδπ [20], and any system which could be based on the thread migration techniques developed in [29] and =-=[26, 24]-=-. 5. Conclusion This paper presents a distributed programming language based on a variant of the Boxed Ambient calculus with channels. The paper shows how the language can be used to program a non-tri...

ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR

by Stéphane Micheloud, Prof M. Merro, Prof C. Petitpierre, Dr J. H. Spring
"... acceptée sur proposition du jury: Prof. A. Wegmann, président du jury Prof. M. Odersky, directeur de thèse ..."
Abstract - Add to MetaCart
acceptée sur proposition du jury: Prof. A. Wegmann, président du jury Prof. M. Odersky, directeur de thèse
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2018 The Pennsylvania State University