Computer and information sciences topic list of research papers
-
Capability-Passing Processes
Abstract Capability-passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually made. It relies on a restricted API or programming language and ...
2006 / Tom Chothia, Dominic Duggan -
Editorial introduction2012 /
-
Classification of Post-deployment Performance Diagnostic Techniques for Large-scale Software Systems
Abstract Today's large-scale software systems (LSSs) such as Facebook, Google, Amazon and many other contemporary datacenters comprise hundreds or thousands of machines running complex applications that require high availability and responsiveness....
2014 / Haroon Malik, Elhadi M. Shakshuki -
An Improved RSSI Measurement In Wireless Sensor Networks
Abstract Node localization is one of the basic problem in wireless sensor networks.The localization method based on RSSI measurement is studied in this paper. Because the RF signals is affected by the environment,the exact distance between the nodes ...
2011 / Jungang Zheng, Chengdong Wu, Hao Chu, Yang Xu -
Preface2008 / Jiří Adámek, Clemens Kupke
-
Evaluation of static analysis tools used to assess software important to nuclear power plant safety
Abstract We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, Electricité de France...
2015 / Alain Ourghanlian -
Super long viewing distance light homogeneous emitting three-dimensional display2015 / Hongen Liao
-
The metafront System
Abstract We present the metafront tool for specifying flexible, safe, and efficient syntactic transformations between languages defined by context-free grammars. The transformations are guaranteed to terminate and to map grammatically legal input to ...
2005 / Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard -
Types of minority class examples and their influence on learning classifiers from imbalanced data2015 / Krystyna Napierala, Jerzy Stefanowski
-
Seismic Signal Processing via the ILLIAC IV Computer2007 / Gary Ackins, David Kuck
-
A Hand Gesture Recognition Method Based on Multi-Feature Fusion and Template Matching
Abstract Vision-based hand gesture recognition methods commonly use a single feature of hand gesture for classification. There are some problems as follows: recognition inaccuracy, system instability and ambiguous recognition results. This paper...
2012 / Liu Yun, Zhang Lifeng, Zhang Shujun -
Graphic design applications in establishing visual images for indoor design
Abstract Art and design, in itself, concern about giving a message, considering that they are special to humans. In the process through wall paintings up to now, the aim has always been to convey information and feelings. A visual quality made by a...
2009 / Müge Burcu Codur -
A Framework for Robust Address Assignment in WSNs Whispering to Avoid Intruders2013 / Carlos Ribeiro, Ivo Anastácio, André Costa, Marcia Baptista
-
Refinement by Interpretation in a General Setting
Abstract Refinement by interpretation replaces signature morphisms by logic interpretations as a means to translate specifications and witness refinements. The approach was recently introduced by the authors [M. A. Martins, A....
2009 / Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa -
Evaluation of classification quality and comparative analysis of clustering and self-organization
Abstract Clustering is a way of classifying a multi-dimensional dataset by the similarities of its dimensions. The results from clustering must be analyzed to test the accuracy of the algorithm and its implementation. This analysis is sometimes done ...
2011 / Aaron Larocque, Iren Valova -
Combining VIVO and Google Scholar Data as Sources for CERIF Linked Data: A Case in the Agricultural Domain
Abstract The needs of global science have fostered open access to the results and contextual information of research organizations at an international scale. This requires the use of standards or shared data models to exchange information preserving ...
2014 / Alberto Nogales, Miguel-Angel Sicilia, Brigitte Jörg -
A Design of a Congestion Control Scheme Based on Multichannel in Wireless Sensor Networks2013 / Siyong Park, Sunmyung Hwang
-
Automated debugging based on a constraint model of the program and a test case
Abstract Debugging, i.e., fault localization, in case of a detected failure is a time consuming and intricate task. The automation or at least partial automation of debugging is therefore highly desired. In this paper, we discuss some of the most...
2012 / Franz Wotawa, Mihai Nica, Iulia Moraru -
Data-aware 3D partitioning for generic shape retrieval
Abstract In this paper, we present a new approach for generic 3D shape retrieval based on a mesh partitioning scheme. Our method combines a mesh global description and mesh partition descriptions to represent a 3D shape. The partitioning is useful...
2013 / Ivan Sipiran, Benjamin Bustos, Tobias Schreck -
2D Fast Vessel Visualization Using a Vessel Wall Mask Guiding Fine Vessel Detection2010 / Sotirios Raptis, Dimitris Koutsouris