Header menu link for other important links
X
Supporting Tuple Space based Mobile Middleware over unreliable mobile infrastructures: Design and formal specifications
S. De, , S. Nandi, D. Goswami
Published in
2012
Pages: 123 - 125
Abstract
Tuple Space based Mobile Middleware (TSMM) intends to facilitate coordination of different components (i.e. agents) of supported applications in multiple mobile, unreliable networks, which is a challenging problem. This paper proposes TSMM-specific discovery and communication mechanisms that enable TSMM to provide coordination over multiple networks. The paper also presents an approach of formalizing proposed mechanisms using Mobile UNITY. © 2012 IEEE.
About the journal
Journal2012 IEEE International Conference on Advanced Networks and Telecommunciations Systems, ANTS 2012