Computer and information sciences topic list of research papers
-
Design of Changeable Production Units within the Automotive Sector with Axiomatic Design
Abstract Corporations within the automotive sector are faced with major challengescaused among othersby high volatile demand fluctuations. An answer to this problem is given by flexible and changeable production systems which allow...
2015 / Jakob Weber, David Förster, Johannes Kößler, Kristin Paetzold -
Integrating Ontologies and Fuzzy Logic to Represent User-Trustworthiness in Recommender Systems
Abstract Recommender systems can be used to assist users in the process of accessing to relevant information. In the literature we can find sundry approaches for generating personalized recommendations and all of them make use of different users’...
2015 / Carlos Porcel, Carmen Martinez-Cruz, Juan Bernabé-Moreno, Álvaro Tejeda-Lorente, Enrique Herrera-Viedma -
Power estimation for intellectual property-based digital systems at the architectural level
Abstract Estimating power consumption is becoming the critical issue that cannot be neglected in VLSI (very large scale integration) design procedure. Low power solutions are an imperative requirement for the SoC (System-on-Chip) flow that gives...
2014 / Yaseer Arafat Durrani, Teresa Riesgo -
Teaching High Performance Computing Using BeesyCluster and Relevant Usage Statistics*
Abstract The paper presents motivations and experiences from using the BeesyCluster middleware for teaching high performance computing at the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology. Features of...
2014 / Paweł Czarnul -
Quality of Clustering in Mobile Ad Hoc Networks
Abstract We consider the problem of appropriate clusterhead selection in wireless ad-hoc networks where it is necessary to provide robustness in the face of topological changes caused by node motion, node failure and node insertion or removal. The...
2014 / Mohamed Aissa, Abdelfettah Belghith -
Whose Story? A Systemic Functional Perspective on Mariah
Abstract Through a systemic functional analysis of Che Husna's Mariah, this paper argues that Mariah is not the protagonist of the story. The study intends to explore the social cultural identity of a Malaysian woman in the linguistic context...
2014 / Tan Swee Mee, Teh Chee Seng -
Performance Analysis of Priority Queuing Model for Low Power Wireless Body Area Networks (WBANs)
Abstract Wireless Body Area Network (WBAN) has been an active area of research over the past few years due to its tremendous benefits particularly related to healthcare systems. Through WBAN, the physicians can get real time updates for a long...
2014 / Mohsin Iftikhar, Nada Al Elaiwi, Mehmet Sabih Aksoy -
NSTX-U Control System Upgrades
Abstract The National Spherical Tokamak Experiment (NSTX) is undergoing a wealth of upgrades (NSTX-U). These upgrades, especially including an elongated pulse length, require broad changes to the control system that has served NSTX well. A new fiber ...
2014 / K.G. Erickson, D.A. Gates, S.P. Gerhardt, J.E. Lawson, R. Mozulay, et al. -
Touching the Data: Exploring Data Sonification on Mobile Touchscreen Devices
Abstract This paper suggests using mobile touchscreen devices to assist students with vision loss in working with data. It presents an integrated approach that combines current sonification methods with interactive multi-touch gesture-based...
2014 / Denis Nikitenko, Daniel Gillis -
Web Scripts and Mediation Dialogues as a Quality Factor in the Interaction of the Deaf
Abstract The difficulty in reading and interpreting textual information interferes in the quality of the interaction of pre-linguistic deaf in the web. This article aims at determining whether the use of new communication strategies improves...
2014 / Aline da Silva Alves, Simone Bacellar Leal Ferreira, Viviane Santos de Oliveira Veiga, Ingrid Teixeira Monteiro, Denis Silva da Silveira, et al. -
An Empirical Validation of Object Oriented Design Quality Metrics
Abstract This paper describes an integrated single class based metric called Weighted Class Complexity (WCC) for object oriented design. The metric is discussed from measurement theory viewpoint, taking into account the recognized object oriented...
2013 / R.A. Khan, K. Mustafa, S.I. Ahson -
Signal Processing using FPGA Structures
Abstract This work describes a Virtex-II implementation of a digital signal processing module for filtering data signals. The aim of any filtering process is to have a clean signal for analysis and interpretation.A synthesized noisy signal (with...
2014 / Zoltan German-Sallo -
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
Abstract UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these...
2004 / Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer -
Model-Based Test Case Generation for Smart Cards1 1Support by the BMBF (project EMPRESS) is gratefully acknowledged.
Abstract Testing denotes a set of activities that aim at discovering discrepancies between actual and intended behaviors of a system. Often, the intended behavior is known only implicitly, which renders the process of testing unstructured,...
2004 / J. Philipps, A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel, et al. -
Chapter 5: The Vital Processor Interlocking
Abstract This document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen [53]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal specification technique...
2005 / S.F.M. van Vlijmen, J.F. Groote, J.W.C. Koorn -
Modelling Conditional Rewriting Logic in Structured Categories
Abstract We reformulate and generalize the functorial model of Meseguer's conditional full rewriting logic by using inserter, a weighted limit in 2-categories. Indeed 2-categories are categories enriched in Cat. Therefore this method also can be...
2004 / Hiroyuki Miyoshi -
Coalgebraic Reasoning about Classes in Object-Oriented Languages
Abstract This note briefly discusses how some of the ideas developed in the theory of coalgebras are used in a front-end tool called LOOP, developed jointly in Dresden and Nijmegen, for reasoning (with a back-end theorem prover) about classes in...
2004 / Bart Jacobs -
Towards a Formal Framework for Inter-Enterprise Application Integration1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.
Abstract A major concern of software development today is the integration of applications of different enterprises, e.g., over the internet. This requires a shift of focus from system development towards integration of enterprise models and...
2004 / Reiko Heckel, Gregor Engels -
A cloned linguistic decision tree controller for real-time path planning in hostile environments
Abstract The idea of a Cloned Controller to approximate optimised control algorithms in a real-time environment is introduced. A Cloned Controller is demonstrated using Linguistic Decision Trees (LDTs) to clone a Model Predictive Controller (MPC)...
2015 / Oliver Turnbull, Jonathan Lawry, Mark Lowenberg, Arthur Richards -
Code Annotation for Safe and Efficient Dynamic Object Resolution
Abstract The execution time of object oriented programs can be drastically reduced by transforming “non escaping” objects into a collection of its component scalar data fields. But for languages that support dynamic linking, this kind of...
2005 / Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz