Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. - Walter Binder; Balázs Lichtl (Ada-Europe, 2002)

Using a Secure Mobile Object Kernel as Operating System on Embedded Devices to Support the Dynamic Upload of Applications. - Walter Binder; Balázs Lichtl (Mobile Agents, 2002)