2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)最新文献

Trust Management Schemes for Secure Routing in VANETs — A Survey vanet中安全路由的信任管理方案综述

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628440

M. Gillani, A. Ullah, Hafiz Adnan Niaz

{"title":"Trust Management Schemes for Secure Routing in VANETs — A Survey","authors":"M. Gillani, A. Ullah, Hafiz Adnan Niaz","doi":"10.1109/MACS.2018.8628440","DOIUrl":"https://doi.org/10.1109/MACS.2018.8628440","url":null,"abstract":"With the dynamic growth of smart devices and connectivity with vehicles, researchers are getting growing interest due to variety of enormous application scenarios. Vehicular ad hoc networks (VANETs) comprises of huge number of vehicles and roadside units that communicate with each other in several realtime scenarios and internet application services. Security in VANET is more crucial, because of different network layers and trusting on unknown intermediate vehicles. There is critical demand of efficient trust management for VANETs, because it prevents fabricated information directed by suspicious nodes connected to the network. A number of factors including lack of infrastructure, autonomous modules, auto-pilot support and dynamic topology due to mobility can result in hardening the reliable trust management solutions. In this paper, we present a comprehensive overview of trust management schemes for routing protocols. This survey specifically elaborates Trust management approaches applicable for secure release of information for real time application services. Moreover, these schemes are analyzed and presented in a tabular form to highlight the concept, methodology, algorithm, QoS and performance capabilities. It can help the researcher in this field to quickly identify the weak and strong features of schemes. We have also provided categorical discussion for comparative overview. As a finals task, we have identified open research challenges.","PeriodicalId":259805,"journal":{"name":"2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124897368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

Survey of Requirement Management Techniques for Safety Critical Systems 安全关键系统需求管理技术综述

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628389

M. Gillani, A. Ullah, Hafiz Adnan Niaz

{"title":"Survey of Requirement Management Techniques for Safety Critical Systems","authors":"M. Gillani, A. Ullah, Hafiz Adnan Niaz","doi":"10.1109/MACS.2018.8628389","DOIUrl":"https://doi.org/10.1109/MACS.2018.8628389","url":null,"abstract":"Safety Critical Systems (SCS) are critical in organizing requirements and that's why needs appropriate requirement engineering. Requirements that are not completely understood and defined are the primary cause for safety related problems. In order to accomplish the task of eliminating chances of mismanaged requirement engineering. We have sorted out approaches of improvised communication between Requirement Engineering (RE) and SCS in Safety Engineering. We have analyzed activities and techniques that should be performed by RE during safety analysis. Moreover, specified tools are explored that are used for analysis. We have focuses on systematic literature review for SCS where main focus is on mandatory safety concerns. Schemes are analyzed as per research questions to identify that which schemes consider these questions in three conditions including satisfactory, partial or not handled. We have selected a large number of articles from different publishers and then identified the articles with duplicate features. Finally we have selected a set of articles after eliminating duplicate ones and then evaluated these schemes as per research questions. We have concluded that requirement completeness, strong need for standard safety analysis tool and compliance with safety standards are mandatory to meet safety requirements during RE process.","PeriodicalId":259805,"journal":{"name":"2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122214976","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Deterministic Formal Modeling of Smart Lightening System using Internet of Things 物联网智能照明系统的确定性形式化建模

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628463

Saba Latif, Hamra Afzaal, Aniqa Rehman, N. Zafar

{"title":"Deterministic Formal Modeling of Smart Lightening System using Internet of Things","authors":"Saba Latif, Hamra Afzaal, Aniqa Rehman, N. Zafar","doi":"10.1109/MACS.2018.8628463","DOIUrl":"https://doi.org/10.1109/MACS.2018.8628463","url":null,"abstract":"A collection of sensors and actuators which sense data, process and communicate with each other via internet within a network is called Internet of things (IoT). Smart city is an integration of smart states, sensors and actuators implemented to sense data from real environment within a network. The sensors and actuators embedded in real scenario enables transformation of intelligent environment. Many researchers have developed different solutions for modeling of smart cities, but efficient systems are not addressed in terms of efficiency. However, we have focused on energy efficient smart lightening system which is an important component of a smart city. In our proposed model, we have divided street lights energy usage into three categories: low, moderate and high. The street light energy usage is low when there is a day light, moderate when there is no heavy traffic on roads and high when there is heavy traffic on roads. Street lights turn on when a vehicle enters in a passage after sensing its entry within a region. A passage is collection of sensors which detects a vehicle and turn on all lights of the passage based on Unified Modeling Language (UML) sequence diagram. The sequence diagram is further converted into Deterministic Finite Automata (DFA) by which validation of the model is done. The DFA model is transformed into a formal model using Vienna Development Method-Specification Language (VDM-SL). The proof of correctness is provided by using VDM-SL toolbox.","PeriodicalId":259805,"journal":{"name":"2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128341660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

An Investigation of Hadoop Parameters in SDN-enabled Clusters 支持sdn的集群中Hadoop参数的研究

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628336

H. Tariq, I. Welch, Harith Al-Sahaf

{"title":"An Investigation of Hadoop Parameters in SDN-enabled Clusters","authors":"H. Tariq, I. Welch, Harith Al-Sahaf","doi":"10.1109/MACS.2018.8628336","DOIUrl":"https://doi.org/10.1109/MACS.2018.8628336","url":null,"abstract":"Apache Hadoop is an open source framework for distributed and parallel processing of big data jobs. It has its own distributed file system which facilitates local storage and processing on commodity hardware. Hadoop distributed file system is a core part of the Hadoop ecosystem which comprises of large number of configuration parameters. Customizing these parameters to enhance the throughput of the system, for a particular job, may require a lot of experience and skills. During the execution of a Hadoop job in a multi-node cluster, the communication among nodes takes place through switch. These switches have vendor-specific protocols to direct the flow of traffic. Software defined networking has made it possible to make networks more programmable and configurable. In this paper, we analysed the impact of Hadoop distributed file system parameters, like block size, replication factor, MapReduce parameter like number of mapper, and Hive query structure. We used faucet, an OpenFlow switch, to monitor the transfer of both packets in/out of the system to see whether network traffic information can be used to predict the impact of Hadoop parameters. We have also monitored CPU usage, disk usage, memory usage and the overall execution time during the execution of Hadoop jobs. Our investigation showed that customizing these configuration parameters of Hadoop does have an impact on network, system and execution time.","PeriodicalId":259805,"journal":{"name":"2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133657375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Optimized Numerical Investigation of Heat And Mass Transfer in Porous Media 多孔介质传热传质优化数值研究

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628413

Azeem Khan, Noor Zaman Jhanjhi, M. Humayun

{"title":"Optimized Numerical Investigation of Heat And Mass Transfer in Porous Media","authors":"Azeem Khan, Noor Zaman Jhanjhi, M. Humayun","doi":"10.1109/MACS.2018.8628413","DOIUrl":"https://doi.org/10.1109/MACS.2018.8628413","url":null,"abstract":"The solid placed in a porous medium is termed as conjugate, their study on heat transfer phenomenon in porous medium, has acquired much focus by numerous researchers [1]–[8] recently, due to the vast range of its applications in several areas of Engineering such as, Bio Instrumentation, Mechatronics and Bio Medical Engineering etc. This phenomenon is studied by applying a set of partial differential equations which are nonlinear and coupled in nature hence can't be solved directly; thus a numerical method called finite element method is used to solve them, which in turn generates a group of algebraic equations put together in the form of a matrix and are solved by using an algorithm with a tight convergence criteria. The current research is aimed to discuss an optimized algorithm based on numerical investigation to solve these equations, and compared with the conventional algorithm. Research results shows significant improvements with proposed algorithm, which outperforms efficiently for any complex solid geometry compared to conventional algorithm, while conventional can only perform better for simple solid geometry.","PeriodicalId":259805,"journal":{"name":"2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134377956","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A Tensorflow Based Neural Network to Predict Drone Strikes in Pakistan 基于Tensorflow的神经网络预测巴基斯坦无人机袭击

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628337

Ushna Nafees, S. Parveen, Komal Zahid, U. Afzal

引用次数: 3

Non-Linear Associations Amongst the Oil Price, Gold Price and Stock Market Returns in Pakistan: A Vector Error Correction Model 巴基斯坦石油价格、黄金价格和股票市场收益的非线性关联:一个矢量误差修正模型

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628392

M. Faisal, Mushtaq Ahmad Khan Barakzai, S. Burney

引用次数: 1

Virtual Reality in Multiplayer Carrom Game with Artificial Intelligence 基于人工智能的多人游戏虚拟现实

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628394

Muhammad Zeerak Khan, Faizan Hassan, Muhammad Usman, Usman Ansari, Shaheena Noor

引用次数: 1

2018 Pakistan General Election: Understanding the Predictive Power of Social Media 2018年巴基斯坦大选:了解社交媒体的预测能力

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628445

M. Bilal, Sundas Asif, Shainila Yousuf, U. Afzal

引用次数: 15

Non-Deterministic Formal Modeling of Registration System towards Smart Campus 面向智慧校园的注册系统非确定性形式化建模

2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) Pub Date : 2018-11-01 DOI: 10.1109/MACS.2018.8628373

Aniqa Rehman, Saba Latif, N. Zafar

{"title":"Non-Deterministic Formal Modeling of Registration System towards Smart Campus","authors":"Aniqa Rehman, Saba Latif, N. Zafar","doi":"10.1109/MACS.2018.8628373","DOIUrl":"https://doi.org/10.1109/MACS.2018.8628373","url":null,"abstract":"The intelligent management of all the processes of registration and administrative services are managed by smart campus. Smart campus provides management of clearance, transportation, departments, classrooms, offices, accounts, parking, notification and registration management system. Researchers have proposed many models to automate smart campus system using IoT, Mobile networking, cloud computing and machine learning techniques. But there is a need of more investigation of smart campus system modeling, validation and simulation. We have focused on Smart Registration system based on ubiquitous computing which is modeled using Unified Modeling Language (UML), Non-Deterministic Finite Automata (NFA) and Vienna Development Method Specification Language (VDM-SL). Registration system has many operations and functions to manage all the registration purpose tasks of the users, teachers and administration. The functions of the system include register, add or delete course, check, and view or delete Prerequisite, add or drop course, update, view or delete scheme of study. All the working of functions from one state to another is depicted in UML diagram. UML based model is further converted into Automata theory using NFA models to validate system states and transaction. The NFA based model is further converted into mathematical notations to provide proof of correctness of the model using VDM-SL. The specification is checked against the facilities available in VDM-SL to provide validation, verification and proof of correctness of proposed model.","PeriodicalId":259805,"journal":{"name":"2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130061377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11