Formal Specification of a Truck Geo-Location Big-Data Application
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2017, Vol 8, Issue 4
Abstract
In the last few year’s social networks, e-commerce, mobile commerce, and sensor networks have resulted into an exponential increase in data size. This data comes in all formats i.e. structured, un-structured and semi-structured. To efficiently extract useful information from these huge data sources is important. This information can play a central role in making future decisions and strategies. A truck geo-location big-data application integrated with formal model is proposed. The truck geo-location data is un-structured and it is accessed and manipulated by Hadoop query engine. Labelled transition system based formal model of the application is proposed to ensure safety and liveness properties of correctness.
Authors and Affiliations
Ayman Naseem, Nadeem Akhtar, Malik Saad Missen
Keywords
Related Articles
- EP ID EP258362
- DOI 10.14569/IJACSA.2017.080447
- Views 108
- Downloads 0
Improving Web Movie Recommender System Based on Emotions
Recommender Systems (RSs) are garnering a significant importance with the advent of e-commerce and e-business on the web. This paper focused on the Movie Recommender System (MRS) based on human emotions. The problem is t...
Deep Learning Technology for Predicting Solar Flares from (Geostationary Operational Environmental Satellite) Data
Solar activity, particularly solar flares can have significant detrimental effects on both space-borne and grounds based systems and industries leading to subsequent impacts on our lives. As a consequence, there is much...
Comparative Analysis of Raw Images and Meta Feature based Urdu OCR using CNN and LSTM
Urdu language uses cursive script which results in connected characters constituting ligatures. For identifying characters within ligatures of different scales (font sizes), Convolution Neural Network (CNN) and Long Shor...
Diabetes Monitoring System Using Mobile Computing Technologies
Diabetes is a chronic disease that needs to regularly be monitored to keep the blood sugar levels within normal ranges. This monitoring depends on the diabetic treatment plan that is periodically reviewed by the endocrin...
Collaborative Pharmacy Student Learning Outline for Mobile Atmosphere
The idea of this research is for the concern of Collaborative learning based mobile factors by applying via pharmacy students of the college. We focus on three features, computer mutual learning, learning process module,...