Computer and information sciences topic list of research papers
-
Tracing the executions of concurrent programs
Abstract Checking the reliability of software is an ever growing challenge. Fully automatic tools that attempt to cover the entire state space often fail because of state explosion. We present instead a toolset that employs some less-ambitious but...
2004 / Elsa Gunter, Doron Peled -
Hierarchical automata and P-systems
Abstract In the context of a compositional theory of automata [8] (CP automata) we define a notion of hierarchical automaton, and show how the P-systems of Gh. Páun [9] may be described in terms of these automata. A distributive law for CP automata...
2004 / N. Sabadini, R.F.C. Walters -
Liveness Checking as Safety Checking
Abstract Temporal logic is widely used for specifying hardware and software systems. Typically two types of properties are distinguished, safety and liveness properties. While safety can easily be checked by reachability analysis, and many efficient ...
2004 / Armin Biere, Cyrille Artho, Viktor Schuppan -
A Categorical and Graphical Treatment of Closure Conversion
Abstract This paper gives a formal basis for the closure conversion phase of functional programming languages with imperative features, using a graphical semantics for the language. We present normal forms of graphs, one corresponding to procedural...
2004 / Ralf Schweimeier, Alan Jeffrey -
Efficient Algorithms for the Maximum Subarray Problem by Distance Matrix Multiplication
Abstract We design an efficient algorithm that maximizes the sum of array elements of a subarray of a two-dimensional array. The solution can be used to find the most promising array portion that correlates two parameters involved in data, such as...
2004 / Tadao Takaoka -
Validation and automatic test generation on UML models
Abstract The related economic goals of test generation are quite important for software industry. Manufacturers ever seeking to increase their productivity need to avoid malfunctions at the time of system specification: the later the defaults are...
2004 / David Lugato, Céline Bigot, Yannick Valot -
Verification of Model Transformations
Abstract Within the Model-Driven Engineering paradigm, software development is based on the definition of models providing different views of the system to be constructed and model transformations supporting a (semi)automatic development process....
2013 / Daniel Calegari, Nora Szasz -
Ant colony optimization algorithm with pheromone correction strategy for the minimum connected dominating set problem2012 / Raka Jovanovic, Milan Tuba
-
Short-term Cyber-physical Production Management
Abstract For most manufacturing companies a high adherence to delivery dates is their main logistic target. In consideration of the fact that for example material and information flows in production plants are getting more intersected and networked...
2014 / Günther Schuh, Till Potente, Christina Thomas, Thomas Hempel -
Radar Emitter Signals Recognition and Classification with Feedforward Networks
Abstract A possible application of neural networks for timely and reliable recognition of radar signal emitters is investigated. In particular, a large data set of intercepted generic radar signal samples is used for investigating and evaluating...
2013 / Nedyalko Petrov, Ivan Jordanov, Jon Roe -
Building Verification Condition Generators by Compositional Extension
Abstract Current mechanizations of programming logics are often in the form of verification condition generators. These front ends to a prover translate a program and assertions into conditions that state that the program fulfills its assertions....
2007 / A.J. van Leeuwen -
Discovering Multiple Diffusion Source Nodes in Social Networks
Abstract Social networks have greatly amplified spread of information across different communities. However, we recently observe that various malicious information, such as computer virus and rumors, are broadly spread via social networks. To...
2014 / Wenyu Zang, Peng Zhang, Chuan Zhou, Li Guo -
Data Mining – Past, Present and Future – A Typical Survey on Data Streams
Abstract Data Stream Mining is one of the area gaining lot of practical significance and is progressing at a brisk pace with new methods, methodologies and findings in various applications related to medicine, computer science, bioinformatics and...
2014 / M.S.B. PhridviRaj, C.V. GuruRao -
Features’ Evaluation of Goods, Services and E-services; Electronic Service Characteristics Exploration
Abstract The term service has several meanings depending on the field of expertise and the viewpoint it is considered from. Although the exportation of services is not new the degree to which information and communications technologies are...
2014 / Hamed Taherdoost, Shamsul Sahibuddin, Neda Jalaliyoon -
The Method of Distribute Data Storage and Location on Weights of Jump Table
Abstract Focusing on the existing location technology limited the performance of the algorithm, distributed data location strategies DLPSL based on weights of jump table is presented to solve the efficiency problem. Weights are added to nodes of...
2013 / Bi-lin Shao, Gen-qing Bian, Wei-qi Zhang -
Survey Paper: Mobility Management in Heterogeneous Wireless Networks
Abstract Ever increasing user demands and development of modern communication technologies have led to the evolution of communication networks from 1st Generation (1G) network to 4G heterogeneous networks. Further, 4G with heterogeneous network...
2012 / B.R. Chandavarkar, G. Ram Mohan Reddy -
A Dataflow Programming Language and its Compiler for Streaming Systems
Abstract The dataflow programming paradigm shows an important way to improve programming productivity for streaming systems. In this paper we propose COStream, a programming language based on synchronous data flow execution model for data-driven...
2014 / Haitao Wei, Stéphane Zuckerman, Xiaoming Li, Guang R. Gao -
Affective Interaction in Smart Environments
Abstract We present a concept where the smart environments of the future will be able to provide ubiquitous affective communication. All the surfaces will become interactive and the furniture will display emotions. In particular, we present a first...
2014 / Maurizio Caon, Leonardo Angelini, Omar Abou Khaled, Denis Lalanne, Yong Yue, et al. -
Mobile Serious Game Using Augmented Reality for Supporting Children's Learning About Animals
Abstract This article introduces a new Serious Game with Augmented Reality for children and handicapped people. A platform based on a zoo has been virtually created. With this application, the users can increase their knowledge about a specific...
2013 / Mario Martínez Zarzuela, Francisco J. Díaz Pernas, Leire Barroso Martínez, David González Ortega, Miriam Antón Rodríguez -
Knuth-Bendix Completion for Non-Symmetric Transitive Relations
Abstract We extend the Knuth-Bendix completion procedure from equational rewriting to rewriting with non-symmetric transitive relations and quasi-orderings. The main differences are the following: Specification of the general non-ground case seems...
2004 / Georg Struth