FILESHADER: ENTRUSTED DATA INTEGRATION USING HASH SERVER

Author :  Juhyeon Oh and Chae Y. Lee

Affiliation :  Department of Industrial & Systems Engineering

Country :  KAIST

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 4, April, 2016

ABSTRACT

The importance of security is increasing in a current network system. We have found a big security weakness at the file integration when the people download or upload a file and propose a novel solution how to ensure the security of a file. In particular, hash value can be applied to ensure a file due to a speed and architecture of file transfer. Hash server stores all the hash values which are updated by file provider and client can use these values to entrust file when it downloads. FileShader detects to file changes correctly, and we observed that it did not show big performance degradation. We expect FileShader can be applied current network systems practically, and it can increase a security level of all internet users.

Keyword :  SHA-1, File Integration, Web Cloud, File Transfer

For More Details :  https://airccj.org/CSCP/vol6/csit65102.pdf

COQUEL: A CONCEPTUAL QUERY LANGUAGE BASED ON THE ENTITYRELATIONSHIP MODEL

Author :  Rafael Bello and Jorge Lloret

Affiliation :  University of Zaragoza

Country :  Spain

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 4, April, 2016

ABSTRACT

As more and more collections of data are available on the Internet, end users but not experts in Computer Science demand easy solutions for retrieving data from these collections. A good solution for these users is the conceptual query languages, which facilitate the composition of queries by means of a graphical interface. In this paper, we present (1) CoQueL, a conceptual query language specified on E/R models and (2) a translation architecture for translating CoQueL queries into languages such as XQuery or SQL.

Keyword :  Conceptual Query Language, SQL, final user

For More Details :  https://airccj.org/CSCP/vol6/csit65101.pdf

JPL : IMPLEMENTATION OF A PROLOG SYSTEM SUPPORTING INCREMENTAL TABULATION

Author :  Taher Ali

Affiliation :  Gulf University for Science and Technology

Country :  Kuwait

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 1, November, 2016

ABSTRACT

The incremental evaluation of tabled Prolog programs allows to maintain the correctness and completeness of the tabled answers under the dynamic state. This paper presents JPL implementation details. JPL is an approach to support incremental tabulation for logic programs under non-monotonic logic. The main idea is to cache the proof generated by the deductive inference engine rather than the end results. In order to be able to efficiently maintain the proof to be updated, the proof structure is converted into a justification-based truthmaintenance (JTMS) network

Keyword :  Applications of justification-based truth maintenance systems, Belief revision systems, Truth maintenance systems, Justification-based truth maintenance systems, Incremental evaluation of tabled Prolo

For More Details :  https://airccj.org/CSCP/vol6/csit64827.pdf

A NEW ALGORITHM FOR CONSTRUCTION OF A P2P MULTICAST HYBRID OVERLAY TREE BASED ON TOPOLOGICAL DISTANCES

Author :  Sergej Alekseev

Affiliation :  Frankfurt University of Applied Sciences

Country :  Germany

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 1, November, 2016

ABSTRACT

In the last decade Peer to Peer technology has been thoroughly explored, because it overcomes many limitations compared to the traditional client server paradigm. Despite its advantages over a traditional approach, the ubiquitous availability of high speed, high bandwidth and low latency networks has supported the traditional client-server paradigm. Recently, however, the surge of streaming services has spawned renewed interest in Peer to Peer technologies. In addition, services like geolocation databases and browser technologies like Web-RTC make a hybrid approach attractive. In this paper we present algorithms for the construction and the maintenance of a hybrid P2P overlay multicast tree based on topological distances. The essential idea of these algorithms is to build a multicast tree by choosing neighbours close to each other. The topological distances can be easily obtained by the browser using the geolocation API. Thus the implementation of algorithms can be done web-based in a distributed manner. We present proofs of our algorithms as well as practical results and evaluations.

Keyword :  Distributed algorithms, peer-to-peer (P2P), hybrid, overlay multicast tree, live streaming

For More Details :  https://airccj.org/CSCP/vol6/csit64826.pdf

STATE SPACE GENERATION FRAMEWORK BASED ON BINARY DECISION DIAGRAM FOR DISTRIBUTED EXPLICIT MODEL CHECKING

Author :  Nacer Tabib

Affiliation :  Constantine 2 University

Country :  Algeria

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 1, November, 2016

ABSTRACT

This paper proposes a new framework based on Binary Decision Diagrams (BDD) for the graph distribution problem in the context of explicit model checking. The BDD are yet used to represent the state space for a symbolic verification model checking. Thus, we took advantage of high compression ratio of BDD to encode not only the state space, but also the place where each state will be put. So, a fitness function that allows a good balance load of states over the nodes of an homogeneous network is used. Furthermore, a detailed explanation of how to calculate the inter-site edges between different nodes based on the adapted data structure is presented.

Keyword :  Graph distribution, Binary Decision Diagram, State space generation, Formal verification, Model Checking.

For More Details  :  https://airccj.org/CSCP/vol6/csit64825.pdf

A PREFIXED-ITEMSET-BASED IMPROVEMENT FOR APRIORI ALGORITHM

Author :  Yu Shoujian

Affiliation :  Donghua University

Country :  China

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 1, November, 2016

ABSTRACT

Association rules is a very important part of data mining. It is used to find the interesting patterns from transaction databases. Apriori algorithm is one of the most classical algorithms of association rules, but it has the bottleneck in efficiency. In this article, we proposed a prefixed-itemset-based data structure for candidate itemset generation, with the help of the structure we managed to improve the efficiency of the classical Apriori algorithm.

Keyword :  Data mining, association rules, Apriori algorithm, prefixed-itemset, hash map

For More Details :  https://airccj.org/CSCP/vol6/csit64824.pdf

VIRTUAL SCENE CONSTRUCTION OF LARGE-SCALE CULTURAL HERITAGE : A FRAMEWORK INITIATED FROM THE CASE STUDY OF THE GRAND CANAL OF CHINA

Author :  Jian Tan

Affiliation :  Key Laboratory of Digital Earth Science

Country :  China

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 1, November, 2016

ABSTRACT

Virtual reality technology has been applied to the protection of cultural heritage for about 20 years. However, methods or systems of cultural heritage reported in previous studies are still unable to represent large-scale cultural heritage sites such as the Beijing-Hangzhou Grand Canal, the Struve Geodetic Arc and the boundaries of the Roman Empire. We aimed at constructing a large-scale cultural-heritage 3-D model with the focus on better management and organization of the scene. Starting from the case study of the Beijing-Hangzhou Grand Canal, we first explore various remote sensing data suitable for large-scale cultural heritage modeling, and then adopt a 3-D geographic global information system for large-scale 3-D scene organization and management.

Keyword :  Virtual scene construction, large-scale cultural heritage, the Grand Canal

For More Details :  https://airccj.org/CSCP/vol6/csit64823.pdf