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 123
- Downloads 0
A Gender-Neutral Approach to Detect Early Alzheimer’s Disease Applying a Three-layer NN
Early diagnosis of the neurodegenerative, irreversible disease Alzheimer’s is crucial for effective disease management. Dementia from Alzheimer’s is an agglomerated result of complex criteria taking roots at both medical...
Empirical Assessment of Ensemble based Approaches to Classify Imbalanced Data in Binary Classification
Classifying imbalanced data with traditional classifiers is a huge challenge now-a-days. Imbalance data is a situation wherein the ratio of data within classes is not same. Many real life situations deal with such proble...
Video conference Android platform by your mobile phone
Video conferencing is a visual and audio communications technology dedicated to Smartphones. It is based on the client-server communication model that this requires many limits since using the server. In this paper, we p...
Devising a Secure Architecture of Internet of Everything (IoE) to Avoid the Data Exploitation in Cross Culture Communications
The communication infrastructure among various interconnected devices has revolutionized the process of collecting and sharing information. This evolutionary paradigm of collecting, storing and analyzing data streams is...
Mixed Profile Method of Speed and Location for Robotic Arms Motion used for Precise Positioning
The paper describes a new real-time computation method named Mixt Profile of Speed (MPS), which is used to obtain the value of speed, at every sampling period of time, during the acceleration and deceleration stage, wher...