Computer and information sciences topic list of research papers
-
A Linear–time Tissue P System Based Solution for the 3–coloring Problem
Abstract In the literature, several examples of the efficiency of cell-like P systems regarding the solution of NP-complete problems in polynomial time can be found (obviously, trading space for time). Recently, different new models of tissue-like P ...
2007 / Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez -
Self Management and the Future of Software Design
Abstract Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace to manage this fragility. But today there is a new challenge....
2007 / Peter Van Roy -
SPRINT: A new parallel framework for R2008 / Jon Hill, Matthew Hambley, Thorsten Forster, Muriel Mewissen, Terence M Sloan, et al.
-
Nondeterministic data flow programs: How to avoid the merge anomaly
Abstract A simple programming language for the description of networks of loosely coupled, communicating, nondeterministic agents is introduced. Two possible graphical interpretations are discussed: finite cyclic and infinite acyclic, tree-like...
2002 / Manfred Broy -
Research on Game of the Interaction between Government and Enterprises in the Construction of Information network-Analysis on the perspective of Shanxi Sci-Tech SMEs
Abstract From the point of game theory, this paper studied on how could it achieve the Pareto Optimality between the government and High-tech SMEs in Shanxi.From this way, we can find the important key factor that effect the construction of...
2011 / Guo Yu-Bing, Liu Jie, Zhai Zhi-Bin -
Research About Optimization Of Campus Network Security System
Abstract As the infrastructure for the informationization of the university, campus network plays a pivotal role in the area of teaching, research, management and so on. To make the campus network more secure and stable, universities usually invest...
2011 / Xuanpeng Wang, Shengwen Zhang -
EOS: Energy Optimal Strategy for Restricted Floating Sensor Networks
Abstract Restricted Floating Sensor (RFS) is an important model in offshore data collection [1]. However RFS networks suffer long propagation delay and high-energy consumption. This paper presents a bit error rate guided Energy Optimal Strategy...
2011 / Mengfei Liu -
Security Via Related Disciplines
Abstract The Systems Engineering Research Center (SERC) System Security Engineering Research Roadmap recommends that systems security research proceed in part by studying systems engineering methods, processes, and tools (MPTs) that are well...
2012 / Jennifer Bayuk, Barry Horowitz, Rick Jones -
Applications and methods utilizing the Simple Semantic Web Architecture and Protocol (SSWAP) for bioinformatics resource discovery and disparate data and service integration2010 / Rex T Nelson, Shulamit Avraham, Randy C Shoemaker, Gregory D May, Doreen Ware, et al.
-
Universally Balanced Combinatorial Optimization Games2010 / Gabrielle Demange, Xiaotie Deng
-
Evaluating the use of different positional strategies for sentence selection in biomedical literature summarization2013 / Laura Plaza, Jorge Carrillo-de-Albornoz
-
Bioinformatic pipelines in Python with Leaf2013 / Francesco Napolitano, Renato Mariani-Costantini, Roberto Tagliaferri
-
Wide coverage biomedical event extraction using multiple partially overlapping corpora2013 / Makoto Miwa, Sampo Pyysalo, Tomoko Ohta, Sophia Ananiadou
-
Paraconsistent Modal Logics
Abstract We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and...
2011 / Umberto Rivieccio -
Clausal Tableaux for Hybrid PDL
Abstract We present the first tableau-based decision procedure for PDL with nominals. The procedure is based on a prefix-free clausal tableau system designed as a basis for gracefully degrading reasoners. The clausal system factorizes reasoning into ...
2011 / Mark Kaminski, Gert Smolka -
PSG: Peer-to-Peer semantic grid framework architecture
Abstract The grid vision, of sharing diverse resources in a flexible, coordinated and secure manner, strongly depends on metadata. Currently, grid metadata is generated and used in an ad-hoc fashion, much of it buried in the grid middleware code...
2011 / Amira Soliman, Amr Kamel, Walaa Sheta, Reem Bahgat -
Error Correction in EFL Speaking Classrooms
Abstract An effort is made in this study to research EFL teachers’ attitudes referring to error correction. Hence, the purpose of this article is to explore Rustaveli University teachers’ suppositions and preferences for error -correction...
2013 / Jujuna Gumbaridze -
The Enterprise AID Methodology: Application
Abstract Enterprise AID - assessment, improvement, and design - is a methodology for the design and deployment of performance measurement systems (PMSs) able to address specific problems of specific enterprises pursuing any or all of enterprise...
2013 / Patrick T. Hester, Thomas J. Meyers -
A Network Invasion Model Based on Information Feedback
Abstract This realization of an information field in case of attack by their own feedback to the content of data protection level network intrusion prevention technology. Proposed intrusions into their invasion of purpose relevant to the...
2011 / Lin Keming -
A Simple Regularized Multiple Criteria Linear Programs for Binary Classification
Abstract Optimization is an important tool in computational finance and business intelligence. Multiple criteria mathematical pro- gram(MCMP), which is concerned with mathematical optimization problems involving more than one objective function to...
2013 / Lingfeng Niu, Xi Zhao, Yong Shi