Computer and information sciences topic list of research papers
-
Criteria-based alarm flood pattern recognition using historical data from automated production systems (aPS)
Abstract The operation of industrial automated production systems (aPS) usually requires human operators that observe and, if necessary, intervene to keep aPS in steady operation. Inside the distributed control system (DCS) of an aPS, notifications...
2015 / Birgit Vogel-Heuser, Daniel Schütz, Jens Folmer -
A Brief Survey on Smart Grid Data Analysis in the Cloud
Abstract Cloud Computing has become more and more of a choice for storing and processing data due to the performance, scalability, availability and interoperability that it offers. The adoption of generic off-the-shelf Information and Communication...
2015 / Adela Bereş, Béla Genge, Istvan Kiss -
Labelings for Decreasing Diagrams2014 / Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
-
A Secure-Enhanced Data Aggregation Based on ECC in Wireless Sensor Networks2014 / Qiang Zhou, Geng Yang, Liwen He
-
System Level Design of Reconfigurable Server Farms Using Elliptic Curve Cryptography Processor Engines2014 / Sangook Moon, Jongsu Park
-
BFL: a node and edge betweenness based fast layout algorithm for large scale networks2009 / Tatsunori B Hashimoto, Masao Nagasaki, Kaname Kojima, Satoru Miyano
-
Demand Forecasting of Supply Chain Based on Support Vector Regression Method
Abstract Introducing the basic theory and computing process of time series forecasting based on Support Vector Regression (SVR) in details, optimizing the parameters of SVR by Genetic Algorithm (GA). Applying SVR to forecast the demand of supply...
2012 / Wang Guanghui -
Error-correcting properties of the SOLiD Exact Call Chemistry2012 / Tim Massingham, Nick Goldman
-
Cluster Center Initialization Method for K-means Algorithm Over Data Sets with Two Clusters
Abstract This paper defines nearest neighbor pair and puts forward four assumptions about nearest neighbor pairs, based on which a center initialization method for K-means algorithm over data sets with two clusters is build. Experiments on real data ...
2011 / Chun Sheng Li -
The New Trend of Journalism & Communication in the Age of Information Globalization2010 / Cheng Manli
-
Computer Vision Onboard UAVs for Civilian Tasks2008 / Pascual Campoy, Juan F. Correa, Ivan Mondragón, Carol Martínez, Miguel Olivares, et al.
-
Based Aspect-oriented Petri Nets in Software Engineering
Abstract Aspect Oriented (Aspect-Oriented, referred to as AO) as a new programming technology is increasingly cause for concern. This article describes a number of experts to study the current object-oriented Petri Nets (OO PN) adding...
2011 / Wensong Hu, Xingui Yang, Ke Zuo -
(2,1)-Total labelling of trees with 3,4 are not in DΔ
Abstract Let T be a tree with maximum degree Δ≥4. Let D Δ(T) denote the set of integers k for which there exist two distinct vertices of maximum degree of distance at k in T. It was known that Δ+1≤λ t ...
2012 / Haina Sun -
Measurement and Control System Based on Wireless Senor Network for Granary
Abstract A wireless measurement and control system for granary is developed for the sake of overcoming the shortcoming of the wired measurement and control system such as complex wiring and low anti-interference capacity. In this system, Zigbee...
2012 / Jian Song -
Delay tolerant (delto) distributed TAST codes for cooperative wireless networks2012 / Zahoor Ahmed, JP Cances, V Meghdadi
-
Enhanced computation method of topological smoothing on shared memory parallel machines2011 / Ramzi Mahmoudi, Mohamed Akil
-
Modular Checkpointing for Atomicity
Abstract Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execution in multi-threaded code is not obvious, however. For a...
2007 / Lukasz Ziarek, Philip Schatz, Suresh Jagannathan -
Object Oriented Concepts Identification from Formal B Specifications
Abstract This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeholders who are not familiar with the B method, such as...
2005 / Akram Idani, Yves Ledru -
Predicate Liftings Versus Nabla Modalities
Abstract We compare Moss' language and languages with predicate liftings. We prove that every monadic predicate lifting for a Kripke polynomial functor can be translated into Moss' language. We also prove that Moss' modality can always be translated ...
2008 / Raul Andres Leal -
Multidimensional Software Monitoring Applied to ERP
Abstract Measuring the quality of software is gaining more and more attention from the industry, since high quality systems generally have a lower total cost of ownership. In order to give both managers and software developers insight in the quality ...
2009 / Eric Bouwers, Reinier Vis