Computer and information sciences topic list of research papers
-
A Behaviour based Framework for Worm Detection
Abstract Increasing threats from worms in the internet continue to be a challenge for current content-based Network Intrusion Detection Systems (NIDS). Worms use different obfuscation techniques (You & Yim 2010) to evade detection and if the...
2012 / Tonmoy Saikia, Ferdous A. Barbhuiya, Sukumar Nandi -
Developing Lift-based Web Applications Using Best Practices
Abstract Nowadays, there are a large number of frameworks for developing Web applications such as Struts, JSF, Ruby on Rails and CakePHP. Each framework has its own best practices facilitating the development of web applications, and giving benefits ...
2012 / Marí del Pilar Salas-Zárate, Giner Alor-Hernández, Alejandro Rodríguez-González -
Generating Nearly Sorted Sequences – The use of measures of disorder
Abstract There have been several formal proposals for a function that evaluates disorder in a sequence. We show here that definitions that allow equivalence to an operational formulation allow for the construction of an algorithm for pseudo-random...
2004 / Vladimir Estivill-Castro -
A Quantitative Approach to Noninterference for Probabilistic Systems2004 / Alessandro Aldini, Alessandra Di Pierro
-
Higher-order associative commutative pattern matching for component retrieval
Abstract In this paper we describe a higher-order associative commutative pattern matching algorithm. We are motivated by the need for developing tool support for matching user requirements against library component interfaces, both specified using...
2004 / David Hemer -
Playing with Maude
Abstract This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical...
2005 / Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo -
Topological (Bi-)Simulation2004 / P.J.L. Cuijpers, M.A. Reniers
-
CHR: A Constructive Relevant Natural-deduction Logic
Abstract In this paper we develop a natural-deduction logic which is both constructive and relevant. We use a proof-theoretic argument to justify the rules of the logic. The detailed framework we use to develop our system is modeled on that used to...
2004 / Neil Leslie, Edwin D Mares -
An efficient PAN sharpening technique by merging two hybrid approaches
Abstract To improve the spatial quality in multispectral satellite images by injecting high spatial details from the panchromatic image using two hybrid techniques namely local variation+contourlet transform(local variation+CT) and Adaptive...
2012 / RaviTej Akula, Rishabh Gupta, M.R.Vimala Devi -
A Predict Deterministic Finite Automaton for Practical Deep Packet Inspection
Abstract Deep packet inspection has become extremely important due to network security. In deep packet inspection, the packet payload is compared against a set of patterns specified as regular expressions. Regular expressions are often implemented...
2012 / Qiang Wei, Yunzhao Li, Yanjie Chu -
Path Planning of UAV Based on Voronoi Diagram and DPSO
Abstract This paper presents a solution strategy for achieving cooperative timing among teams of vehicles. The initial paths are constructed based on Voronoi diagram and based on that, the smoothing paths are designed for the Waypoint Path Planner...
2012 / Han Tong, Wu Wen chao, Huang Chang qiang, Xuan Yong bo -
Model Based Design and Implementation of CViS User Interface
Abstract In this paper, characteristics of current Cartographic Visualization System (CViS) user interfaces were analyzed. Then, based on different CViS user interfaces’ styles and characteristics the authors built models of CViS user interface and...
2012 / Ling Yun, Chen Yufen -
A Novel Shape Descriptor for Rectangle-like Classification
Abstract In this paper, we propose a novel shape descriptor using the concept of projection and statistical moment to generate a new effcient descriptor (called K descriptor). The K descriptor can be used as a robust and invariant descriptor of...
2012 / Rungkarn Siricharoenchai, Wasin Sinthupinyo, Treepop Sunpetchniyom -
Swarm Control of UAVs for Cooperative Hunting with DDDAS
Abstract Swarm control is a problem of increasing importance with technological advancements. Recently, governments have begun employing UAVs for reconnaissance, including swarms of drones searching for evasive targets. An agent-based simulation for ...
2013 / R. Ryan McCune, Gregory R. Madey -
Information Poverty and Farmers’ Information Right in China's Mountainous Rural Areas
Abstract On the basis of analysing the farmers’ information needs in mountainous rural areas of China, this paper focuses on the specific performance and causes of the rural information poverty, and then analyses the effect of information poverty on ...
2011 / Zhongwen Chen, Chunnian Liu, Dehui Yang -
Using diffusion distances for flexible molecular shape comparison2010 / Yu-Shen Liu, Qi Li, Guo-Qin Zheng, Karthik Ramani, William Benjamin
-
U-Compare bio-event meta-service: compatible BioNLP event extraction services2011 / Yoshinobu Kano, Jari Björne, Filip Ginter, Tapio Salakoski, Ekaterina Buyko, et al.
-
Multi-INT Query Language for DDDAS Designs
Abstract Context understanding is established from coordination of content, analysis, and interaction between users and machines. In this manuscript, a live-video computing (LVC) approach is presented for access to data, comprehension of context,...
2015 / Alex J. Aved, Erik P. Blasch -
What pupils can learn from working with robotic direct manipulation environments2010 / Lou Slangen, Hanno van Keulen, Koeno Gravemeijer
-
Engineering Parallel Sorting for the Intel SCC
Abstract The Single-Chip Cloud Computer (SCC) is an experimental processor created by Intel Labs. It comprises 48 Intel-x86 cores linked by an on-chip high performance mesh network, as well as four DDR3 memory controllers to access an off-chip main...
2012 / Nicolas Melot, Christoph Kessler, Kenan Avdic, Patrick Cichowski, Jörg Keller