Computer and information sciences topic list of research papers
-
Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard
Abstract In automation domain, the conformance of field bus devices in regard to the corresponding bus system standard is ensured by deploying conformance tests. The correctness of the tests is therefore decisive. A common practice to develop...
2014 / Armin Lechler, Tomas Macias, Agus Atmosudiro -
Ontology-based Sentiment Analysis Process for Social Media Content
Abstract Social media provides a platform where users share an abundance of information on anything and everything. The information may consist of users’ emotions, feedbacks, reviews, and personal experiences. In this research a novel Ontology-based ...
2015 / Pratik Thakor, Sreela Sasi -
Study on Fast Acquisition of Hybrid DS/FHSS
Abstract In hybrid Direct Sequence/Frequency Hopping Spread Spectrum (DS/FH SS) system, the fast acquisition is a key technique. A combined fast scanning and waiting method for FH acquisition is introduced, and a neural network for DS acquisition is ...
2011 / Bo ZHANG, Ding-rong SHAO, Tarek S. ELHABIAN -
Eager, Busy-Waiting and Lazy Actions Timed Computation
Abstract This paper develops a formal framework to describe and reason about semantic theories which provide measures of the efficiency in time of process behaviours. The framework relies on the notions of reduction and observability and permits to...
2005 / Flavio Corradini, GianLuigi Ferrari, Marco Pistore -
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF
Abstract Software that can produce independently checkable evidence for the correctness of its output has received recent attention for use in certifying compilers and proof-carrying code. CVC (Cooperating Validity Checker) is a proof-producing...
2004 / Aaron Stump, Clark W. Barrett, David L. Dill -
Knowledge Extraction from Survey Data Using Neural Networks
Abstract Surveys are an important tool for researchers. It is increasingly important to develop powerful means for analyzing such data and to extract knowledge that could help in decision-making. Survey attributes are typically discrete data...
2013 / Imran Khan, Arun Kulkarni -
Maximality vs. Optimality in Dyadic Deontic Logic2013 / Xavier Parent
-
Random walks on temporal networks2012 / Michele Starnini, Andrea Baronchelli, Alain Barrat, Romualdo Pastor-Satorras
-
Aspect-Oriented Coordination
Abstract The different software modules (e.g., components) that constitute a system are not isolated entities. In fact, they need to interact according to a certain coordination protocol in order to achieve a common goal. This coordination protocol...
2007 / Lidia Fuentes, Pablo Sánchez -
Methodology and implementation for tracking the file sharers using BitTorrent2013 / Sooyoung Park, Hyunji Chung, Changhoon Lee, Sangjin Lee, Kyungho Lee
-
A Clique-based WBAN Scheduling for Mobile Wireless Body Area Networks
Abstract Wireless-body-area-networks (WBAN) that generally comprises different types of sensors are useful to gather multiple parameters together, such as body temperature, blood pressure, pulse, heartbeat and blood sugar. However, a dense and...
2014 / Zhijun Xie, Guangyan Huang, Jing He, Yanchun Zhang -
Asset Management of Vehicles: A Practical Application of the Logic Scoring of Preference Method of Optimizing Programmatic Investment Decisions in a Performance based System
Abstract This paper is an application of the Logic Scoring of Preference (LSP) methodology, a second-order decision model, to asset management of a public agency vehicle fleet. Current vehicle allocation management (VAM) modeling can readily...
2014 / Damian Kelly, Mary Lupa, Maureen Paz de Araujo, Craig Casper -
Mobile Agent based Train Control System for Mitigating Meet Conflict at Turnout
Abstract Timeliness and correctness in conflict detection and resolution mechanisms form an important component in railway operation especially when the decision process involves human factors. The current approaches used by Indian railways (IR) for ...
2014 / Anshul Verma, K.K. Pattanaik -
Construing Traditional Javanese Herbal Medicine of Headache: Transliterating, Translating, and Interpreting Serat Primbon Jampi Jawi
Abstract This article has been written based on a research seeking to interpret the traditional Javanese medicines found in Java island as represented by Serat Primbon Jampi Jawi, an ancient journal –almanac– concising various traditional Javanese...
2014 / Muhammad Taufiq al Makmun, Sisyono Eko Widodo, Sunarto -
Q-LEACH: A New Routing Protocol for WSNs
Abstract Wireless Sensor Networks (WSNs) with their dynamic applications gained a tremendous attention of researchers. Con- stant monitoring of critical situations attracted researchers to utilize WSNs at vast platforms. The main focus in WSNs is to ...
2013 / B. Manzoor, N. Javaid, O. Rehman, M. Akbar, Q. Nadeem, et al. -
Boosting Vocabulary Retention through Adding a Video Component to the Vocabulary Building Classes in English for Specific Purpose Situations
Abstract As vocabulary is considered a foundation for the reading skills of the language learners, it becomes more vital for them to pay extra attention to their vocabulary issues. This study aimed at introducing videos to vocabulary building...
2014 / Sasan Washang -
MobiDyC: Private Mobile-based Health Data Sharing through Dynamic Context Handling
Abstract With the adoption of mobile healthcare applications and the success of cloud service models, we propose a privacy management framework for mobile health care applications with support for dynamic privacy management of health data sharing....
2014 / Nariman Ammar, Zaki Malik, Abdelmounaam Rezgui, Mohammed Alodib -
Proceedings2014 /
-
Deploying Kepler Workflows as Services on a Cloud Infrastructure for Smart Manufacturing
Abstract 21st Century Smart Manufacturing (SM) is manufacturing in which all information is available when it is needed, where it is needed, and in the form it is most useful [1,2] to drive optimal actions and responses. The 21st Century SM...
2014 / Prakashan Korambath, Jianwu Wang, Ankur Kumar, Lorin Hochstein, Brian Schott, et al. -
Visualization of Geo-spatial Point Sets via Global Shape Transformation and Local Pixel Placement2006 / C. Panse, M. Sips, D.A. Keim, S.C. North