2612 search results - page 4 / 523 » Mobile Processes and Termination |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
DAGSTUHL
2003
13 years 9 months ago
2003
The domain of services for mobile communication terminals has long become a fast-moving target. Indeed, this domain has been affected by a continuous stream of technological advan...
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
ICC
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract: Since mobile user mobility behaviors can vary according to time periods, e.g. office-going/closing and office hours, the location management traffic load for tracking ...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...