2612 search results - page 425 / 523 » Mobile Processes and Termination |
FUN
2010
Springer
14 years 3 months ago
2010
Springer
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
ECAL
2001
Springer
14 years 2 months ago
2001
Springer
Reinforcement learning (RL) is a fundamental process by which organisms learn to achieve a goal from interactions with the environment. Using Artificial Life techniques we derive ...
VR
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, we present our work on a level of detail(LoD) technique for human-like face models in virtual environments. Conventional LoD techniques have been adapted to allow f...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
ECOOP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...