Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of RISC architecture
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Higher-order distributed objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rise and resurrection of the American programmer
Rise and resurrection of the American programmer
On the systematic design of Web languages
ACM Computing Surveys (CSUR)
Programming languages for mobile code
ACM Computing Surveys (CSUR)
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Ubiquitous devices united: enabling distributed computing through mobile code
Proceedings of the 1999 ACM symposium on Applied computing
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Programming mobile objects with Java
Programming mobile objects with Java
Certification of programs for secure information flow
Communications of the ACM
The problem of programming communication with changing machines: a proposed solution
Communications of the ACM
The Java Language Specification
The Java Language Specification
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
µCODE: A Lightweight and Flexible Mobile Code Toolkit
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Strong Mobility and Fine-Grained Resource Control in NOMADS
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Agent tcl: a flexible and secure mobile-agent system
Agent tcl: a flexible and secure mobile-agent system
Extensions to and optimization of a mobile computational system for internet programming
Proceedings of the 44th annual Southeast regional conference
| Hi-index | 0.00 |
A primary factor in the success of the Internet has been its ability to support heterogeneous networks, equipment, operating systems and software. However, this diversity coupled with security concerns makes creation and management of Internet applications more complicated than traditional ones in a static and well-defined environment. Internet Programming envisages being able to harness the power of the Internet by sharing resources and information in a secure and efficient manner. In this paper we present the Mobile Computational Model - a model that can fully support the Internet Programming paradigm through mobile computations. Mobility, communication, and security are supported at the language level through constructs provided for the purpose, strong type-checking, and other safety-promoting devices. They are also explicitly addressed at the management and execution levels. Portability on heterogeneous systems, and efficient execution of computations are assured through the RISC virtual machine. A prototype implementation of the Mobile Computation System, including the Mobile Computation Language, the Mobile Computation Manager and the RISC virtual machine, provides a proof-of-concept for the model. Preliminary testing has yielded encouraging results leading us to the conclusion that our model is a viable approach for Internet Programming.