Computer and information sciences topic list of research papers
-
Automated Techniques for Surviving (Otherwise) Fatal Software Errors
Abstract We present a set of automated techniques that enable software systems to survive otherwise fatal errors such as memory leaks, infinite loops, and addressing errors.
2007 / Martin Rinard -
The Interval Analysis of Multilinear Expressions
Abstract Expressions are multilinear when variable occurrences are linear and products have factors using different variables. We demonstrate that multilinear expressions are either constant or have never a local minimum or a local maximum....
2010 / Cosimo Laneve, Tudor A. Lascu, Vania Sordoni -
Model Checking of Component Protocol Conformance – Optimizations by Reducing False Negatives
Abstract In past years, a number of works considered behavioral protocols of components and discussed approaches for automatically checking of compatibality of protocols (protocol conformance) in component-based systems. The approaches are usually...
2010 / Andreas Both, Wolf Zimmermann, René Franke -
A method of SVM with Normalization in Intrusion Detection
Abstract Network intrusion is always hidden in a mass of routine data and the differences between these data are very large. Normalization can help to speed up the learning phase and avoiding numerical problems such as precision loss from arithmetic ...
2012 / Weijun li, Zhenyu Liu -
Robust Distributed Learning in Wireless Sensor Network using Efficient Step Size
Abstract The distributed learning methods in wireless sensor network are giving better performance when the noise is uniformly distributed in all the sensor nodes. In general practice the noise variance at different nodes varies non uniformly. If...
2012 / T. Panigrahi, G. Panda -
OCLPrime - Environment and Language for Model Query, Views and Transformations2004 / Jörn Guy Süß, Andreas Leicher, Susanne Busse
-
Ratio-based estimators for a change point in persistence
Abstract We study estimation of the date of change in persistence, from I ( 0 ) ...
2012 / Andreea G. Halunga, Denise R. Osborn -
A Lightweight IP Traceback Scheme Depending on TTL
Abstract This article proposes a new type of IP traceback scheme, through recording TTL of the IP header to get the attack path, when the algorithm is in processing, you do not need to generate additional packages, so attackers could not detect the...
2012 / Yan Fen, Zhu Hui, Chen Shuang-shuang, Yin Xin-chun -
Hand Gesture Recognition towards Enhancing Accessibility
Abstract Human-Computer-Interaction (HCI) is a key topic on the Accessibility area, namely in what concerns a Smart-City environment, where humans have to interact with artefacts spread all around one particular city. In the last decade HCI has...
2015 / Tiago Cardoso, João Delgado, José Barata -
Research and Implement on Application Integration Based on the Apache Synapse ESB platform
Abstract ESB(Enterprise Service Bus) is a middleware technology which is a key technology to implement SOA. This paper discusses the relation among the Web Services SOA and ESB, and also proposes an implementation scheme of application integration...
2012 / Jiang Ma, Haicun Yu, Jianbo Guo -
Collective Discovery of Geographic Locations of FrequentlyPhotographed Objects Only using the Metadata of Digital Photographs
Abstract In this paper, we propose an algorithm to classify a set of digital photographs by location of frequently photographed objects. The location is estimated by collective intelligence approach based on a collection of intersections of camera...
2012 / Masaokubo, Shinichirou Nakayama, Hiroshi Sato -
Maintenance Service Support System (MS3) – Work in Progress
Abstract This work in progress paper illustrates the current implementation status of the Maintenance Service Support System (MS3). It is being devel- oped within a transfer project of the Collaborative Research Center TR29. The industry partner is...
2013 / E. Uhlmann, F. Otto -
Impact of Urgent Computing on Resource Management Policies, Schedules and Resources Utilization
Abstract In general resource management is often defined as a process of identifying application requirements, matching compute resources to jobs, allocating those resources, scheduling and monitoring them over time to run jobs as effi-ciently as...
2012 / Krzysztof Kurowski, Ariel Oleksiak, Wojciech Piatek, Jan Węglarz -
Discretized Fractional Calculus with a Series of Chebyshev Polynomial
Abstract In this paper, we tried to evaluate the fractional derivatives by using the Chebyshev series expansion. We discuss the indefinite quadrature rule to estimate the fractional derivatives of Riemann-Liouville type.
2009 / Tsuyako Miyakoda -
A Rewriting Semantics for Maude Strategies
Abstract Intuitively, a strategy language is a way of taming the nondeterminism of a rewrite theory. We can think of a strategy language S as a rewrite theory transformation R ...
2009 / Narciso Martí-Oliet, José Meseguer, Alberto Verdejo -
View-dependent exploration of massive volumetric models on large-scale light field displays2010 / José Antonio Iglesias Guitián, Enrico Gobbetti, Fabio Marton
-
Optimal inter-area coordination of train rescheduling decisions
Abstract Railway dispatchers reschedule trains in real-time in order to limit the propagation of disturbances and to regulate traffic in their respective dispatching areas by minimizing the deviation from the off-line timetable. However, the...
2011 / F. Corman, A. D’Ariano, D. Pacciarelli, M. Pranzo -
A Key Distribution Protocol Based On Wdh Assumption
Abstract Key distribution is critical for the practicality of any public key cryptosystem and identity-based encryption (IBE) system. When new users register on the PKG, it is important for him/her to obtain his/her private key safely. In this...
2011 / Hongtu Li, Liang Hu, Wei Yuan, Jianfeng Chu, Hongwei Li -
XPath Query Processing in a Functional-Logic Language
Abstract XPath is a well-known query language for finding and extracting information from XML documents. This paper shows how the characteristics of this domain-specific language fits very well into the functional-logic paradigm. The proposed...
2012 / J.M. Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez -
User-Centered Healthcare Design
Abstract Information technologies in health care and its growing use and impact, is a subject of study and interest. This paper presents the work analysis, in progress, in a health center concerning information systems, technologies, employee's...
2012 / Joana Duarte, Arminda Guerra