11 search results - page 1 / 3 » Formalising Java RMI with explicit code mobility |
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
ACSC
2004
IEEE
13 years 8 months ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
DSOM
2000
Springer
13 years 9 months ago
2000
Springer
In recent years, a significant amount of research work has addressed the use of code mobility in network management. In this paper, we introduce first three aspects of code mobilit...
ICSM
2005
IEEE
13 years 10 months ago
2005
IEEE
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...