2612 search results - page 164 / 523 » Mobile Processes and Termination |
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The development of mobile platform has raised an emergent requirement for face-related multimedia applications. However, as the basis of such applications, face detection and trac...
RIDE
2000
IEEE
14 years 2 months ago
2000
IEEE
We present the notion of a distributed database made up entirely of mobile components. Since disconnections will be frequent in such an environment, we develop a disconnection and...
IFIP8
2004
13 years 11 months ago
2004
The increasing success of wireless technologies is sustaining the diffusion of mobile information systems, but the youth of the underlying technology and its peculiar characterist...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper we consider the problem of target tracking in a network of mobile agents. We propose a scheme with agents that are endowed with processing and decision-making capabi...