Computer and information sciences topic list of research papers
-
An Effective IDS for MANET Using Forward Feature Selection and Classification Algorithms
Abstract The security plays an important role in current technology with the threat detection and prevention for networks which are challenging problems. The Intrusion Detection System (IDS) is considered as the first line of defense for security in ...
2012 / J. Visumathi, K.L. Shunmuganathan -
Building Software Solutions in an Urbanized Information System: The 5+1 Software Architecture Model
Abstract The concept of Information Systems urbanization has been proposed since the late 90's in order to help organizations building agile Information Systems. Nevertheless, despite the advantages of this concept, it remains too descriptive and...
2012 / Sana Bent Aboulkacem Guetat, Salem Ben Dhaou Dakhli -
Low Cost GPS Tracking for the Elderly and Alzheimer Patients
Abstract As a consequence of the increase in life expectancy, the healthcare needs faced by the older generation are growing. As such, new applications using emerging technologies are needed to contribute for their safety and well-being. This paper...
2012 / Sara Paiva, Carlos Abreu -
Handling Liveness Properties in (ω-)Regular Model Checking
Abstract Since the topic emerged several years ago, work on regular model checking has mostly been devoted to the verification of state reachability and safety properties. Though it was known that liveness properties could also be checked within...
2005 / Ahmed Bouajjani, Axel Legay, Pierre Wolper -
Mining Multi-Patterns in Pattern-Based Clustering
Abstract Unlike traditional clustering methods that focus on grouping objects with similar values on a set of dimensions, pattern-based clustering finds objects that exhibit coherent patterns in subspaces. Pattern-based clustering extends the...
2012 / Qian Ma, Jingfeng Guo -
Data Association Algorithm for Bistatic Radar Network
Abstract Measurements of bistatic radar network may differ in accuracy. Aiming at this issue, a data association algorithm based on measurement accuracy is proposed. Firstly, every measurement is converted into several sub-measurements by grid...
2012 / Wang Shenshen, Che Wanfang, Feng Jinfu, Wang Fangnian, Bai Yun -
A Framework for Distributed Data-Parallel Execution in the Kepler Scientific Workflow System
Abstract Distributed Data-Parallel (DDP) patterns such as MapReduce have become increasingly popular as solutions to facilitate data-intensive applications, resulting in a number of systems supporting DDP workflows. Yet, applications or workflows...
2012 / Jianwu Wang, Daniel Crawl, Ilkay Altintas -
Comments from the Editor-in-Chief of Journal of Arrhythmia2013 / Kazutaka Aonuma
-
Introduction to Information Visualization (InfoVis) Techniques for Model-Based Systems Engineering
Abstract One of the barriers to the success of Model-Based Systems Engineering (MBSE) efforts is realizing effective communication of the output diagrams—i.e., modeling views—that address the concerns of, and inform, a broad spectrum of customer...
2013 / Oleg Sindiy, Krystof Litomisky, Scott Davidoff, Frank Dekens -
An Ontology-based Approach to Performance Monitoring of MUSCLE-bound Multi-scale Applications
Abstract In this paper we present an evolved and extended approach to the monitoring of data flow and resources’ usage in multi- scale applications built with the MUSCLE environment. Most multi-scale platforms provide the ability of running complex...
2013 / Wlodzimierz Funika, Michal Janczykowski, Konrad Jopek, Maciej Grzegorczyk -
Governing Bot-as-a-Service in Sustainability Platforms – Issues and Approaches
Abstract The emerging cloud computing models for Internet-of-Things have fostered the development of lightweight applications using cloud services for monitoring and optimizing devices and equipment hosted in distributed facilities. Such...
2012 / Hong-Linh Truong, Phu H. Phung, Schahram Dustdar -
Compensation of Shock-induced Head Skew for Hard Disk Drives
Abstract Head skew among multiple heads in hard disk drives (HDDs) is normally calibrated in factory, and is applied by servo controller to estimate position of destination head for head switching seeking. In response to operating or nonoperation...
2011 / Yong Xiao, Yujun Pang, Xiaoyu Ge, Chi Zhang, Kuanyi Zhu -
Cooperative Machine-Learning Based Advanced Driver Assistance System for Green Cars
Abstract It is advocated that the success and user acceptability of Fully Electric Vehicles (FEVs) will predominantly depend on their electrical energy consumption rate and the corresponding degree of autonomy that they offer. FEVs must provide...
2012 / Michalis Masikos, Konstantinos Demestichas, Evgenia Adamopoulou, Efstathios Sykas -
A complete low voltage analog lock-in amplifier to recover sensor signals buried in noise for embedded applications
Abstract This paper presents a low-voltage 3V single supply analog lock-in amplifier (LIA) for processing small AC sensor signals buried in noise, including those presenting a relative phase with respect to the reference signal. Reference and bias...
2010 / M. Gabal, N. Medrano, B. Calvo, P.A. Martínez, S. Celma, et al. -
The Semantic Web—New Ways to Present and Integrate Information2003 / Steffen Staab
-
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I
Abstract We compare several reduction and conversion strategies for the Calculus of (co)Inductive Constructions by running benchmarks from the library of the Coq proof assistant. All the strategies have been implemented in an independent verifier...
2007 / Claudio Sacerdoti Coen -
Towards Proof Generating Compilers
Abstract Correctness of compilation is important for the reliability of software. New techniques to guarantee correctness do not verify the compiler itself, but check for each compiled program whether it is correctly translated. Following these...
2005 / Arnd Poetzsch-Heffter, Marek Gawkowski -
What is Itanium Memory Consistency from the Programmer's Point of View?
Abstract A programmer-centric model describes the memory consistency rules of amultiprocessor as a collection, one for each processor, of 'views' of instructions and some agreements between these views. It also requires the natural notion of...
2007 / Lisa Higham, LillAnne Jackson, Jalal Kawash -
Event Domains, Stable Functions and Proof-Nets
Abstract We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [S. Abramsky and R. Jagadeesan. Games and Full Completeness for Multiplicative Linear Logic, Journal of Symbolic Logic,...
2007 / Samson Abramsky -
Temporal Contextual Logic Programming
Abstract The importance of temporal representation and reasoning is well known not only in the database community but also in the artificial intelligence one. Contextual Logic Programming [António Porto and Luís Monteiro. Contextual logic...
2007 / Vitor Nogueira, Salvador Abreu