2612 search results - page 91 / 523 » Mobile Processes and Termination |
SIAMCOMP
2010
13 years 3 months ago
2010
This paper studies the inherent trade-off between termination probability and total step complexity of randomized consensus algorithms. It shows that for every integer k, the prob...
DAGSTUHL
2006
13 years 10 months ago
2006
We introduce different mobile network applications and show to which degree the concept of database transactions is required within the applications. We show properties of transact...
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
PARA
2004
Springer
14 years 2 months ago
2004
Springer
ct The Wireless World Research Forum (WWRF) has identified ambient-awareness and device diversity as two key properties of applications and services in future mobile systems [1]. ...