Sciweavers

188 search results - page 19 / 38
» java 2001
Sort
View
MA
2001
Springer
175views Communications» more  MA 2001»
13 years 12 months ago
Evaluating the Security of Three Java-Based Mobile Agent Systems
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...
Sebastian Fischmeister, Giovanni Vigna, Richard A....
PADO
2001
Springer
13 years 12 months ago
Run-Time Bytecode Specialization
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
Hidehiko Masuhara, Akinori Yonezawa
APSEC
2001
IEEE
13 years 11 months ago
The Steam Boiler in a Unified Theory of Z and CSP
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
Jim Woodcock, Ana Cavalcanti
COOTS
1998
13 years 8 months ago
Mobile Objects and Agents (MOA)
This paper describes the design and implementation of the Mobile Objects and Agents (MOA) project at the Open Group Research Institute. MOA was designed to support migration, comm...
Dejan S. Milojicic, William LaForge, Deepika Chauh...
WSCG
2001
107views more  WSCG 2001»
13 years 8 months ago
Interaction Approach for Digital Video Based Storytelling
This paper shows an approach for a storytelling oriented interaction on digital video. All the interaction capabilities of the system are driven by the video context and therefore...
Norbert Braun