Research Article
Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware
588 downloads
@INPROCEEDINGS{10.1007/978-3-642-36660-4_6, author={Suddhasil De and Diganta Goswami and Sukumar Nandi and Suchetana Chakraborty}, title={Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware}, proceedings={Mobile Wireless Middleware, Operating Systems, and Applications. 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers}, proceedings_a={MOBILWARE}, year={2013}, month={2}, keywords={mobile middleware coordination tuple space Mobile UNITY}, doi={10.1007/978-3-642-36660-4_6} }
- Suddhasil De
Diganta Goswami
Sukumar Nandi
Suchetana Chakraborty
Year: 2013
Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware
MOBILWARE
Springer
DOI: 10.1007/978-3-642-36660-4_6
Abstract
This paper suggests an approach for formalizing Tuple Space based Mobile Middleware (TSMM) that contains a fully-decoupled reactive tuple space model as coordination medium. Formalization of TSMM is carried out using Mobile UNITY.
Copyright © 2012–2024 ICST