Computer and information sciences topic list of research papers
-
Mitigating On-Off Attacks in the Internet of Things Using a Distributed Trust Management Scheme2015 / Carolina V. L. Mendoza, João H. Kleinschmidt
-
Performance evaluation of two popular antennas designed using a Bacteria Foraging Algorithm
Abstract Two popular antennas such as the Yagi-Uda Array (YUA) and the Log Periodic Dipole Array (LPDA) with the same number of dipole elements are optimally designed using Bacteria Foraging Algorithm (BFA). BFA being one of the successful...
2016 / Biswa Binayak Mangaraj, Saumendra Kumar Mohanty, Satyabrat Hota -
A Context-awareness Based Dynamic Personalized Hierarchical Ontology Modeling Approach
Abstract This paper proposes a new approach to construct an efficient and dynamic updated ontology model. In order to capture the implicit context information and to implement the personalized scalability demands of context model for different...
2016 / Qian Gao, Xiangjun Dong -
On Continent and Script-Wise Divisions-Based Statistical Measures for Stop-words Lists of International Languages
Abstract The data for the current research work was collected for 42 different International languages encompassing 3 continents viz. Asia, Europe and South America. The data comprised of unigram model representation of lexicons in the stop-words...
2016 / Jatinderkumar R. Saini, Rajnish M. Rakholia -
Towards Feature-based Product Line Engineering of Technical Systems
Abstract The development of today's technical products (e.g., in automation) is characterized by high customer expectations regarding the product individualization, which causes a wide range of product variants. Original equipment manufacturers...
2016 / Thorsten Koch, Jörg Holtmann, David Schubert, Timo Lindemann -
An Efficient Broadcasting Scheme in Mobile Ad-Hoc Networks
Abstract Information broadcasting in MANETs is an essential building block for cooperative operations, group discussions, and common announcements (e.g., filling routing tables). The flooding is the simplest broadcasting scheme used in MANETs. In...
2016 / M. Chekhar, K. Zine-Dine, M. Bakhouya, A. Aaroud, D. El Ouadghiri -
Traffic Verification for Network Anomaly Detection in Sensor Networks
Abstract The traffic that is being injected to the network is increasing every day. It can be either normal or anomalous. Anomalous traffic is variation in the communication pattern from the normal one and hence anomaly detection is an important...
2016 / K.V. Lalitha, V.R. Josna -
Fibrational Modal Type Theory
Abstract This paper describes a fibrational categorical semantics for the modal necessity-only fragment of constructive modal type theory, both with and without dependent types. Constructive type theory does not usually discuss logical modalities,...
2016 / Valeria de Paiva, Eike Ritter -
Adaptive Multi-level Blocking Optimization for Sparse Matrix Vector Multiplication on GPU
Abstract Sparse matrix vector multiplication (SpMV) is the dominant kernel in scientific simulations. Many-core processors such as GPUs accelerate SpMV computations with high parallelism and memory bandwidth compared to CPUs; however, even for...
2016 / Yusuke Nagasaka, Akira Nukada, Satoshi Matsuoka -
A Collaborative Approach towards Securing Spectrum Sensing in Cognitive Radio Networks
Abstract Cognitive radio (CR) is introduced to accommodate the steady increment in the spectrum demand. Spectrum sensing is used to detect the unexploited sub-bands in the radio environment. In order to improve the accuracy of the spectrum sensing,...
2016 / Mahmoud Khasawneh, Anjali Agarwal -
A Service Oriented Framework for Analysing Social Network Activities
Abstract Analysing and monitoring Social Networking activities raise multiple challenges for the evolution of Service Oriented Systems Engineering. This is particularly evident for event detection in social networks and, more in general, for...
2016 / Angelo Chianese, Francesco Piccialli -
Testing Environment for CPS by Cooperating Model Checking with Execution Testing
Abstract In this study, we propose a testing environment for cyber-physical systems (CPS). In system testing for CPS, many tests are difficult to design or implement because of these systems’ many product variations. The proposed environment...
2016 / Takeru Kuroiwa, Yusuke Aoyama, Noriyuki Kushiro -
A Multi-level Traceability System Based on GraphLab
Abstract In this paper a multi-level traceability system is proposed. First traceability information including logistics and environment data is collected from each link of the supply chain. Then the data is stored locally with GraphLab, abstracted...
2016 / Wei Teng, Bo Mao, Jie Cao -
Generalized data stacking programming model with applications
Abstract Recent researches have shown that, everywhere in various sciences the systems are following stacked-based stored change behavior when subjected to events or varying environments “on and above” their normal situations. This paper presents a...
2016 / Hala Samir Elhadidy, Rawya Yehia Rizk, Hassen Taher Dorrah -
Input–output conformance testing for software product lines
Abstract We extend the theory of input–output conformance (IOCO) testing to accommodate behavioral models of software product lines (SPLs). We present the notions of residual and spinal testing. These notions allow for structuring the test process...
2016 / Harsh Beohar, Mohammad Reza Mousavi -
Non-IID Recommender Systems: A Review and Framework of Recommendation Paradigm Shifting
ABSTRACT While recommendation plays an increasingly critical role in our living, study, work, and entertainment, the recommendations we receive are often for irrelevant, duplicate, or uninteresting products and services. A critical reason for such...
2016 / Longbing Cao -
Efficient Buffer Management Protocol for Multicast Streaming in MANET
Abstract Buffer management techniques are essential while handling multicast streaming in MANET since real-time data will involve playback delay and jitter. In this paper, an efficient buffer management protocol is developed for streaming data in...
2016 / Kavitha Subramaniam, Latha Tamilselvan -
Axiomatic Design Applied to the Development of a System for Monitoring and Teleoperation of a CNC Machine through the Internet
Abstract The new era of manufacturing, called industry 4.0, will require the intensive use of mechatronics products. In this context, there are Cyber- Physical Systems and Internet of Things (IoT). These are represented by platforms that are...
2016 / L.E.S. Oliveira, A.J. Álvares -
An Enhanced Network-on-chip Simulation for Cluster-based Routing
Abstract Network-on-Chip (NoC) research and development have increased noticeably over the past few years. As the NoC size increases, it was an urge to group processing elements (PEs) into clusters, based on common characteristics between these...
2016 / Ahmed S. Hassan, Ahmed A. Morgan, M. Watheq El-Kharashi -
The Algebra of Partial Equivalence Relations
Abstract Recent work by the author with Bonchi and Sobociński shows how PROPs of linear relations (subspaces) can be presented by generators and equations via a “cube construction”, based on letting very simple structures interact according to PROP...
2016 / Fabio Zanasi