Computer and information sciences topic list of research papers
-
Model Checking the Garbage Collection Mechanism of SMV
Abstract This paper describes an experience in the application of the RuleBase model checker to software written in C, using the tool c2edl. C2edl translates ANSI-C code to EDL, the input language of RuleBase. Although c2edl uses a radical...
2004 / Cindy Eisner -
IWIM Semantics via Fibred Automata1 1Partially supported by the EU in the KIT-INCO Project SEEDIS (Contract No. 962114)
Abstract Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination and communication ...
2004 / R. Banach, F. Arbab, G.A. Papadopoulos, J.R.W. Glauert -
The Role of Multi-agent in Computational Problem Solving Environments
Abstract Problem solving techniques is one of the earliest topics taught to novice students in computer programming course. In addition, novice students face difficulties in understanding problem statements and transforming them to problem solving...
2014 / Maryam Rajabi, Teh Noranis Mohd Aris -
A Greedy Algorithm for k-Member Co-clustering and its Applicability to Collaborative Filtering
Abstract Privacy preserving data mining is an important issue in network societies and co-clustering is a basic technique for analyzing intrinsic data structures in cooccurrence information among objects and items. In this paper, a greedy algorithm...
2013 / Arina Kawano, Katsuhiro Honda, Hirohide Kasugai, Akira Notsu -
Utilization of Computer-assisted Instruction in Learning Tennis Strategies
Abstract The main purpose of this research is to underline the importance of video analysis in tennis and how it can improve the tennis players’ learning and training process. We started with the analysis of two junior tennis players who...
2014 / Rareş Stănescu -
Security Techniques for Counteracting Attacks in Mobile Healthcare Services
Abstract Today mobile devices are increasingly being used to provide health related information to healthcare related services on the Internet. However such devices have limited resources to enforce strong security measures and are easily vulnerable ...
2013 / Udaya Tupakula, Vijay Varadharajan -
Transforming an Imperative Design into an Object-Oriented Design
Abstract Most of the traditional and legacy systems were designed using traditional methodologies such as Structured Analysis/Structured Design (SA/SD) methodology. Design of such a system is called an imperative design. After the introduction of...
2013 / Abad Shah, Hassan Mathkour -
Stability Visualizations as a Low-complexity Descriptor of Network Host Behaviour
Abstract Detecting anomalous or malicious behaviour from NetFlow data alone is a difficult task due mainly to the limited information available in a NetFlow record. In this paper we propose a “stability” metric based on only four elements of the...
2013 / Matt MacDonald, Carrie Gates, Teryl Taylor, Diana Paterson, Stephen Brooks -
Synote: Collaborative Mobile Learning for All
Abstract This paper describes mobile enhancements to Synote, the freely available, award winning, open source, web based application that makes web hosted recordings easier to access, search, manage, and exploit for all learners, teachers and other...
2014 / Mike Wald, Yunjia Li, E.A. Draffan -
Intelligent modeling and identification of aircraft nonlinear flight
Abstract In this paper, a new approach has been proposed to identify and model the dynamics of a highly maneuverable fighter aircraft through artificial neural networks (ANNs). In general, aircraft flight dynamics is considered as a nonlinear and...
2014 / Alireza Roudbari, Fariborz Saghafi -
Trajectory Mining for Keystroke Dynamics Authentication
Abstract This paper focuses on enhancing a username and password authentication scheme, which has some weaknesses because a username is publicly known and a password can be guessed. When an attacker knows or guesses a password correctly, the system...
2013 / Kasem Wangsuk, Tanapat Anusas-amornkul -
The Impacts of Formalistic Approach in Architectural Design Process on Quality of Students’ Learning, Case: Design Studio II, IV
Abstract Design process has a lot to do with curriculum and instruction development especially in determining the quality of students’ learning. The paper is to find what are the differences between visual architectural learning and formalistic...
2014 / Mohammadjavad Mahdavinejad, Somaye Pourbaqer -
Implementation of a Software Prototype with ConWIP Characteristics for Production Planning and Stock Management
Abstract Production planning is an elementary aspect of supply chain management and requires appropriate and effective tools. The purpose of this paper is to present the concept, design, and implementation of a software prototype for production...
2014 / Bernd Gastermann, Markus Stopper, Franz Luftensteiner, Branko Katalinic -
Behavior Life Style Analysis for Mobile Sensory Data in Cloud Computing through MapReduce2014 / Shujaat Hussain, Jae Bang, Manhyung Han, Muhammad Ahmed, Muhammad Amin, et al.
-
Vertex Cover Algorithm Based Multi-document Summarization Using Information Content of Sentences
Abstract In recent times, the requirement for the generation of multi-document summary has gained a lot of attention among researchers. Multi-document summarization systems focus on generating compressed form of the documents which maintains the...
2015 / Ansamma John, M. Wilscy -
Code-Time Diversity for Direct Sequence Spread Spectrum Systems2015 / Ashraf Y. Hassan
-
A comparison of classification techniques for glacier change detection using multispectral images
Summary Main aim of this paper is to compare the classification accuracies of glacier change detection by following classifiers: sub-pixel classification algorithm, indices based supervised classification and object based algorithm using Landsat...
2016 / Rahul Nijhawan, Pradeep Garg, Praveen Thakur -
How to Effectively Integrate Technology in the Foreign Language Classroom for Learning and Collaboration
Abstract This project aims to investigate the potential of Web 2.0 tools in the development of communicative competence in English language amongst undergraduate students. The theoretical framework that underpins this study is rooted in national and ...
2015 / Maria de Lurdes Martins -
Case Study: Mass Customisation of Individualized Orthotics – The FASHION-ABLE Virtual Development and Production Framework
Abstract Until now, mass-customisation of (wearable) products has been seen as higher added value which had (and will have) to compete with ready to wear offers. However, there are fields of application for which customer specific product design,...
2014 / Christian Kaiser, Thomas V. Fischer, Timo Schmeltzpfenning, Michael Stöhr, Alexander Artschwager -
A review of verbal and non-verbal human–robot interactive communication
Abstract In this paper, an overview of human–robot interactive communication is presented, covering verbal as well as non-verbal aspects. Following a historical introduction, and motivation towards fluid human–robot communication, ten desiderata are ...
2014 / Nikolaos Mavridis