Computer and information sciences topic list of research papers
-
Preface2005 / Juliana Küster-Filipe, Iman Poernomo, Ralf Reussner, Sandeep Shukla
-
Automatic Verification of Combined Specifications: An Overview
Abstract This paper gives an overview of results of the project “Beyond Timed Automata” carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) of the Universities of Oldenburg, Freiburg, and...
2008 / Ernst-Rüdiger Olderog -
Constructive Description Logics Hybrid-Style
Abstract Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call iALC ...
2011 / Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker -
Gödel-Dummett Counter-models through Matrix Computation
Abstract We present a new method for deciding Gödel-Dummett logic. Starting from a formula, it proceeds in three steps. First build a conditional graph based on the decomposition tree of the formula. Then try to remove some cycles in this graph by...
2005 / Dominique Larchey-Wendling -
Category Classification and Topic Discovery of Japanese and English News Articles
Abstract This paper presents algorithms for topic analysis of news articles. Topic analysis entails category classification and topic discovery and classification. Dealing with news has special requirements that standard classification approaches...
2009 / David B. Bracewell, Jiajun Yan, Fuji Ren, Shingo Kuroiwa -
A Precise Yet Efficient Memory Model For C
Abstract Verification for OO programs typically starts from a strongly typed object model in which distinct objects/fields are guaranteed not to overlap. This model simplifies verification by eliminating all “uninteresting” aliasing and allowing the ...
2009 / Ernie Cohen, Michał Moskal, Stephan Tobies, Wolfram Schulte -
Configurations of Web Services
Abstract The quest for sound foundations for the orchestration of web services is still open. To a great extent its relevance comes from the possibility of defining formal semantics for new language standards (like BPEL4WS or WS-CDL) in this...
2007 / Marco Antonio Barbosa, Luís Soares Barbosa -
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
Abstract The design of safety critical systems frequently necessitates to simultaneously fulfill several logical and numerical constraints as requirements in order to deliver a functionally correct and optimal target system. In the current paper, we ...
2004 / Szilvia Gyapay, Akos Schmidt, Dániel Varró -
Towards Realistic Modeling of Time-Table Information through the Time-Dependent Approach
Abstract We consider optimal itinerary problems in time-table information systems supporting a vast number of on-line queries. We exhibit two important extensions of the time-dependent approach to model realistic versions of the Earliest Arrival and ...
2004 / Evangelia Pyrga, Frank Schulz, Dorothea Wagner, Christos Zaroliagis -
The Station Location Problem on Two Intersecting Lines
Abstract The station location problem consists of placing new stations along the railway tracks of an existing network in order to increase the number of users. In this paper we consider the problem for a railway network consisting of two...
2004 / Maria Flavia Mammana, Steffen Mecke, Dorothea Wagner -
Discovering Coordination Patterns
Abstract A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously...
2009 / Nuno F. Rodrigues -
The Rewriting Logic Semantics Project
Abstract Rewriting logic is a flexible and expressive logical framework that unifies denotational semantics and SOS in a novel way, avoiding their respective limitations and allowing very succinct semantic definitions. The fact that a rewrite...
2006 / José Meseguer, Grigore Roşu -
JVM Bytecode Verification Without Dataflow Analysis
Abstract Bytecode verification algorithms are traditionally based on dataflow analysis. We present an alternative algorithm that first restructures the bytecode and then infers a type signature for each method in a manner typical of functional...
2005 / Ian Bayley, Sam Shiel -
Research progress on the Kelly game
Abstract The growth-optimal portfolio optimization strategy has been investigated in many ways since firstly pioneered by Kelly. This paper firstly introduces the research progress of this so-called Kelly game. Based on the original Kelly game the...
2010 / Liang Zhang -
Outlier Detection Data Mining of Tax Based on Cluster
Abstract In order to solve the tax problem of mining industry of outlier data, analysis of the tax industry, the demand for data mining and data features, a clustering based data mining algorithms to solve the issue of tax discovery of outlier data, ...
2012 / Bin Liu, Guang Xu, Qian Xu, Nan Zhang -
The Study of Tax Collection on Online Games’ Virtual Properties
Abstract with the development and popularization of online games, virtual network world becomes an inseparable part of people's life, and the network virtual property also forms immediately. Our country's online game industry develops rapidly, and...
2012 / Liu Zhaohui, Sun Xiaomeng -
A Collaboration Transparence Approach to Share Heterogeneous Single-User Molecule Editors
Abstract In the biology and chemistry field various types of molecule editors exist. It is convenient for biologist and chemist to use those editors to create and modify representations of molecular structures. Most editors however are designed for...
2011 / Chen Zhao, Ruisheng Zhang, Ramin Yahyapour, Rongjing Hu -
Seamless Decoding Of Normal And OID Compressed SNMP PDUs -An Enhancement To Wireshark
Abstract Networking has become critical in every aspect of today's world. As demands increase, networks have become larger, more complex, and more heterogeneous and are widely distributed throughout the world. In order to manage the resources on the ...
2012 / Premini.F, Hari T.S. Narayanan -
GSSP–A Generic Semantic Search Platform
Abstract Semantic search has been rapidly growing as a way to improve search results. The meaning of the input expression has revealed to produce better results than the traditional keyword appearance. Regarding search engines, there are currently...
2012 / Sara Paiva, Manuel Ramos-Cabrer, Alberto Gil-Solla -
A Usability Testing Experiment For A Localized Weight Loss Mobile Application
Abstract This paper introduces a context-appropriate mobile application for sustainable weight loss. Overweight and obesity are acknowledged to have become a worldwide health matter. Addressing weight loss and sustaining efforts remains in many ways ...
2012 / Selma Limam Mansar, Shashank Jariwala, Maahd Shahzad, Aysha Anggraini, Nawal Behih, et al.