Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperJanuary 2018
Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN
IMCOM '18: Proceedings of the 12th International Conference on Ubiquitous Information Management and CommunicationArticle No.: 78, Pages 1–6https://doi.org/10.1145/3164541.3164602Ad hoc m-commerce is an emerging application area for ad hoc wireless networks. It provides an alternative way for users to carry out m-commerce transactions without relying on any infrastructure support from a network service provider. Thus, the ...
- research-articleJanuary 2018
Comparative Analysis of Ellipsoidal Methods for Distributed Data Fusion
IMCOM '18: Proceedings of the 12th International Conference on Ubiquitous Information Management and CommunicationArticle No.: 44, Pages 1–8https://doi.org/10.1145/3164541.3164582Progress in sensor and communication technology changed the paradigm of state estimation and data fusion from centralized architecture to distributed/decentralized architecture. These days, distributed state estimation and data fusion are widely ...
- research-articleJanuary 2018
Study on Distributed Cloud Computing Environment with Composition Model and Graph Model
IMCOM '18: Proceedings of the 12th International Conference on Ubiquitous Information Management and CommunicationArticle No.: 96, Pages 1–8https://doi.org/10.1145/3164541.3164561The conventional centralized cloud has some issues related to timeliness and network congestion. To solve correspondent issues, the conventional cloud is extended in close proximity to a cloud service customer. The researches regarding network edge side ...
