205 search results - page 8 / 41 » Types for ambient and process mobility |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
FOSSACS
1998
Springer
13 years 11 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
MOVEP
2000
13 years 11 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
APLAS
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
AVSS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...