Computer and information sciences topic list of research papers
-
MIROS: A Hybrid Real-Time Energy-Efficient Operating System for the Resource-Constrained Wireless Sensor Nodes2014 / Xing Liu, Kun Hou, Christophe de Vaulx, Hongling Shi, Khalid Gholami
-
Log Analysis of Cyber Security Training Exercises
Abstract Cyber security is a pervasive issue that impacts public and private organizations. While several published accounts describe the task demands of cyber security analysts, it is only recently that research has begun to investigate the...
2015 / Robert G. Abbott, Jonathan McClain, Benjamin Anderson, Kevin Nauer, Austin Silva, et al. -
On Building a Universal and Compact Visual Vocabulary2013 / Jian Hou, Wei-Xue Liu, Xu E, Hamid Reza Karimi
-
A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks2014 / Daxin Tian, Jianshan Zhou, Honggang Qi, Yingrong Lu, Yunpeng Wang, et al.
-
KA-SB: from data integration to large scale reasoning2009 / María del Mar Roldán-García, Ismael Navas-Delgado, Amine Kerzazi, Othmane Chniber, Joaquín Molina-Castro, et al.
-
A trust-based framework for vehicular travel with non-binary reports and its validation via an extensive simulation testbed2014 / Robin Cohen, Jie Zhang, John Finnson, Thomas Tran, Umar F Minhas
-
Design of Linear Phase Nonuniform Filter Banks with Interpolated Prototype Filters
Abstract Most of nonuniform filter banks designed by existing methods are not linear phase. In order to solving the problem, a novel method for designing linear-phase nonuniform filter banks is proposed in this paper. By analyzing the filter banks...
2012 / Ming Wang, Jian Wan, Yan Zhao -
A 3D Image Reconstruction Model from Multiple Images
Abstract 3D reconstruction model attracted all kinds of attention in recent years. In this paper, we propose a mechanism to reconstruct 3 D model through the delicate corresponding points using 3 D patches. The values of the NCC reference image...
2011 / Zhang Xiang, Chen Sheng-yong -
Cryptanalysis of Guo et al.’s three-party password-based authenticated key exchange (G-3PAKE) protocol
Abstract In 2008, Guo et al. have shown that Lu and Cao's simple three-party protocol for password- authenticated key exchanges (S-3PAKE) is indeed completely insecure against a kind of man- in-the-middle attack and the undetectable on-line password ...
2011 / Sung-Bae Choi, Eun-Jun Yoon -
Designing a local path repair algorithm for directed diffusion protocol
Abstract This paper proposes an implementation for the directed diffusion paradigm aids in studying this paradigm’s operations and evaluates its behavior according to this implementation. The directed diffusion is evaluated with respect to the loss...
2012 / Basma M. Mohammad El-Basioni, Sherine M. Abd El-kader, Hussein S. Eissa -
An overview of the Weitzman approach to diversity2009 / Caroline d'Arnoldi, Jean-Louis Foulley, Louis Ollivier
-
Color-accurate underwater imaging using perceptual adaptive illumination2011 / Iuliu Vasilescu, Carrick Detweiler, Daniela Rus
-
Use of Wireless Mesh Network to Improve Mobile Asset Utilization in Manufacturing Industries
Abstract The utilization of assets, measured as the ratio of the current output versus that achievable maximally, forms the basis for the profitability of a firm. Measuring the utilization of assets such as a production tool is simple as the output...
2011 / Srideep Ghosh, Anurag D, Somprakash Bandyopadhyay -
Building Simple Formations in Large Societies of Tiny Mobile Robots
Abstract We envision that in the future lots of tasks that are handled nowadays by few but complex mobile robots will be performed by huge swarms of tiny robots. This way the system becomes more robust against single failures and cheaper, since the...
2011 / Bastian Degener, Barbara Kempkes, Friedhelm Meyer auf der Heide -
Research of the Remote Experiment System Based on Virtual Reality
Abstract The remote education based on Virtual Reality technology is one of the leading developmental ways in modern education. The present researching status of VR technology's application in the remote experiment is analyzed and the...
2012 / Liangyu Lei, Jianjun Liu, Xiufang Yang -
Are types of memory critical for student's success in tests of discrete mathematics?
Abstract Neither the knowledge type tested (semantic or procedural knowledge) nor students’ preference for learning semantic or procedural knowledge has any major impact on the results of mathematic knowledge tests. The student's relation to the...
2011 / Jiri Haviger -
Strength Induction in a Haskell Program Verifier
Abstract Haskell employs a melange of strict and non-strict evaluation semantics, hence a Haskell verifier should be capable of checking assumptions that program variables may or may not denote well-defined values. The paper introduces a new...
2007 / Richard B. Kieburtz -
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Abstract Embedded systems are often modeled using Matlab's Simulink and Stateflow (MSS), to simulate plant and controller behavior but these models lack support for formal verification. On the other hand verification techniques and tools do exist...
2004 / Aditya Agrawal, Gyula Simon, Gabor Karsai -
Towards the Construction of Attack Resistant and Efficient Overlay Streaming Topologies
Abstract Even though overlay streaming is an inherently fault tolerant and stable system architecture, careful neighbor selection is a significant task. Inappropriate routing decisions can lead to an unstable topology with only a few very important...
2007 / Thorsten Strufe, Jens Wildhagen, Günter Schäfer -
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Abstract Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed and unstable networks. Second, the common model of...
2008 / Johan Dovland, Einar Broch Johnsen, Olaf Owe