Computer and information sciences topic list of research papers
-
Towards Full Completeness of the Linear Logic of Chu Spaces
Abstract We investigate the linear logic of Chu spaces as defined by its dinaturality semantics. For those formulas of multiplicative linear logic limited to at most two occurrences of each variable we prove full completeness of Girard's MIX-free...
2005 / Vaughan R. Pratt -
Towards Modular Binding-Time Analysis for First-order Mercury
Abstract In this paper, we describe work in progress on binding-time analysis (BTA) for a first-order subset of Mercury. BTA is the core part of any off-line specialisation system. We formulate BTA by constraint normalisation, enabling the analysis...
2005 / Wim Vanhoof, Maurice Bruynooghe -
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗
Abstract In this paper we initiate an investigation about security problems which occur when exploiting a Linda-like data driven coordination model in an open environment. In this scenario, there is no guarantee that all the agents accessing the...
2005 / Nadia Busi, Roberto Gorrieri, Roberto Lucchi and, Gianluigi Zavattaro -
Abstract Games for Linear Logic Extended Abstract⋆ ⋆Research funded by EPSRC project GR/L27848
Abstract We draw attention to a number of constructions which lie behind many concrete models for linear logic; we develop an abstract context for these and describe their general theory. Using these constructions we give a model of classical linear ...
2005 / Martin Hyland, Andrea Schalk -
A Process Semantics for Functional Programming
Abstract The semantics of lazy functional programming languages is usually presented in two different ways: a semantics based on trees which is used to reason about a program; and a semantics based on graphs which is used to implement a program. The ...
2005 / Simon Brock, Gerald Ostheimer -
Induction for termination with local strategies
Abstract In this paper, we propose a method for specifically proving termination of rewriting with particular strategies: local strategies on operators. An inductive proof procedure is proposed, based on an explicit induction on the termination...
2004 / Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner -
Separating concerns in a high-level component-based context
Abstract Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our research, we introduced the concept of a composition pattern to lift...
2004 / Wim Vanderperren, Bart Wydaeghe -
On Methodology of Representing Knowledge in Dynamic Domains
Abstract The main goal of this paper is to outline a methodology of programming in dynamic problem domains. The methodology is based on recent developments in theories of reasoning about action and change and in logic programming. The basic ideas of ...
2004 / Michael Gelfond, Richard Watson -
Precision farming solution in Egypt using the wireless sensor network technology
Abstract This paper gives an overview of the wireless sensor network, studies its application in precision farming, and its importance for improving the agriculture in Egypt. An example for using wireless sensor network in cultivating the potato...
2013 / Sherine M. Abd El-kader, Basma M. Mohammad El-Basioni -
A Support System for Generating SCORM Compliant Open Source Software Usage Manuals
Abstract Open Source Software (OSS) is software whose source code that is open to the public through the Internet. Currently, OSS is widely used in many aspects of IT society. Because OSS development is community based, unlike commercial software,...
2013 / Akhmad Syaikhul Hadi, Takashi Yukawa, Yukikazu Murakami -
Reviews on Cybercrime Affecting Portable Devices
Abstract The popularity of mobile devices in the market is impressive, but this influx of different products has made it difficult for users to secure their infrastructures from potential data breaches. As the number of exposures and attacks...
2014 / Seyedmostafa Safavi, Zarina Shukur, Rozilawati Razali -
On the Effectiveness of TRIZ Tools for Problem Finding
Abstract The ability to understand problems well, often referred as problem finding, is identified as the most important aspect of engineering problem solving. The use of some ideation tools can assist in this endeavor. The effective utilization of...
2015 / Jennifer Harlim, Iouri Belski -
TRIZ Evolution of the Object-Oriented Programming Languages
Abstract In the series of “TRIZ Future” conferences [1] authors went through the problems of knowledge scope and learning time leading to educational contradiction. The main approach of solving them was the idea of systematic knowledge transferring. ...
2015 / Victor Berdonosov, Alena Zhivotova, Tatiana Sycheva -
A k Nearest Neighbor based Local Linear Wavelet Neural Network Model for On-line Short-term Traffic Volume Prediction
Abstract This paper presents a forecasting method called k nearest neighbor based local linear wavelet neural network (kNN-LLWNN) for the on-line, short-term prediction of five-minute traffic volumes at westbound of Interstate 64 in Hampton Road in...
2013 / Lei Lin, Yan Li, Adel Sadek -
Neural Network Modeling of Color Array Filter for Digital Forgery Detection Using Kernel LDA
Abstract The technology today is well developed that images can be easily manipulated and tampered with various digital tools that we can no longer rely on these images. Doctored images have become ubiquitous and they are so real that they leave...
2014 / Vinoth S, E.S. Gopi -
Domain Ontology of Hand-drawn Avatars as Online Self-representations for Cyber Forensics
Abstract The idea of concepts and relationships in the organization of hand-drawn avatars can be defined and identified with ontology. Hand-drawn avatars as online self-representation can be used for criminal investigation in cyber space. These...
2013 / Cheong Lee Mei, Nor Adzlan Jamaludin -
The Greenland Ice Mapping Project (GIMP) land classification and surface elevation data sets2014 / I. M. Howat, A. Negrete, B. E. Smith
-
Spreadsheet software to assess the locomotor disability: Submitting the actual software2013 / Sunderraj Ellur
-
A recommender system for team formation in MANET
Abstract Mobile social networking is a new trend for social networking that enables users with similar interests to connect together through mobile devices. Therefore, it possesses the same features of a social network with added support to the...
2015 / Waleed M. Al-Adrousy, Hesham A. Ali, Taher T. Hamza -
A Novel DNA Computing Based Encryption and Decryption Algorithm
Abstract Lot of techniques and systems has been developed based on modular arithmetic cryptography for encryption and decryption. However, these techniques are broken using DNA cryptography techniques and methods. DNA Cryptography is a new...
2015 / Noorul Hussain UbaidurRahman, Chithralekha Balamurugan, Rajapandian Mariappan