2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS)最新文献_第2页

A polynomial-time algorithm for the maximum clique problem 最大团问题的多项式时间算法

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607889

Z. Akbari

引用次数: 12

An on-the-fly provenance tracking mechanism for stream processing systems 流处理系统的动态溯源跟踪机制

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607885

Watsawee Sansrimahachai, L. Moreau, M. Weal

{"title":"An on-the-fly provenance tracking mechanism for stream processing systems","authors":"Watsawee Sansrimahachai, L. Moreau, M. Weal","doi":"10.1109/ICIS.2013.6607885","DOIUrl":"https://doi.org/10.1109/ICIS.2013.6607885","url":null,"abstract":"Applications that operate over streaming data with high-volume and real-time processing requirements are becoming increasingly important. These applications process streaming data in real-time and deliver instantaneous responses to support precise and on-time decisions. In such systems, traceability - the ability to verify and investigate the source of a particular output - in real-time is extremely important. This ability allows raw streaming data to be checked and processing steps to be verified and validated in timely manner. Therefore, it is crucial that stream systems have a mechanism for dynamically tracking provenance - the process that produced result data - at execution time, which we refer to as on-the-fly stream provenance tracking. In this paper, we propose a novel on-the-fly provenance tracking mechanism that enables provenance queries to be performed dynamically without requiring provenance assertions to be stored persistently. We demonstrate how our provenance mechanism works by means of an on-the-fly provenance tracking algorithm. The experimental evaluation shows that our provenance solution does not have a significant effect on the normal processing of stream systems given a 7% overhead. Moreover, our provenance solution offers low-latency processing (0.3 ms per additional component) with reasonable memory consumption.","PeriodicalId":345020,"journal":{"name":"2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131119392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

A survey on the usability and effectiveness of web-based trust rating systems 基于网络的信任评级系统的可用性和有效性调查

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607882

I. Pranata, G. Skinner, R. Athauda

引用次数: 5

Design and implementation of multiagent-based distributed backup system 基于多代理的分布式备份系统的设计与实现

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607847

Motohiro Shibakawa, Takahiro Uchiya, I. Takumi, Tetsuo Kinoshita

引用次数: 0

Collaborative filtering based spot recommendation seamlessly available in home and away areas 协同过滤为基础的现场推荐无缝提供在主场和客场地区

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607896

Takafumi Hasegawa, Takahiro Hayashi

引用次数: 5

P2P traffic localization by forcing packet loss 通过强制丢包实现P2P流量定位

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607861

Hiep Hoang-Van, Koki Mizutani, T. Miyoshi, Olivier Fourmaux

{"title":"P2P traffic localization by forcing packet loss","authors":"Hiep Hoang-Van, Koki Mizutani, T. Miyoshi, Olivier Fourmaux","doi":"10.1109/ICIS.2013.6607861","DOIUrl":"https://doi.org/10.1109/ICIS.2013.6607861","url":null,"abstract":"Recently, peer-to-peer (P2P) traffic is increasing rapidly in volume day by day. One of the main causes is that most of P2P applications including file sharing and streaming applications often form overlay networks for exchanging data that are oblivious to the underlay network topology. As a result, they generate a large amount of inter-domain traffic causing higher cost for Internet service providers (ISPs). This raises a problem of traffic localization. To optimize the cross-ISP/AS traffic, existing approaches focus on solving the problem on the application layer where each P2P application must be equipped with an additional protocol to obtain underlay network information from an “Oracle” server or an additional locality-aware procedure to estimate location by itself. Therefore some modifications of application software are required for these approaches. In this paper, we propose a novel solution for addressing the problem, called PLS, forcing packet loss to each P2P packet based on geographical location of each destination at the network layer. Since PLS is implemented at a network router, no software modification is required. This proposal can be applied to all types of P2P applications in order to localize the traffic. The experiment in this study evaluated on popular P2P streaming applications show that our proposed method significantly improves the performance of traffic localization problem.","PeriodicalId":345020,"journal":{"name":"2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114354110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

A hybrid parallel algorithm for computer simulation of Electrocardiogram based on a CPU-GPU cluster 一种基于CPU-GPU集群的心电图计算机模拟混合并行算法

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607835

W. Shen, Lianqiang Sun, D. Wei, Weimin Xu, Hui Wang, Xin Zhu

引用次数: 3

Model-based test generation for software product line 软件产品线基于模型的测试生成

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607865

Xinying Cai, Hong-wei Zeng

引用次数: 1

An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements 一种表示和利用需求的计算机辅助形式化的规范模式知识的方法

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607887

Xi Wang, Shaoying Liu

{"title":"An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements","authors":"Xi Wang, Shaoying Liu","doi":"10.1109/ICIS.2013.6607887","DOIUrl":"https://doi.org/10.1109/ICIS.2013.6607887","url":null,"abstract":"Formalizing requirements in formal specifications usually requires high skills for abstraction and experience in using the formal notation in which the specification is written. This poses a challenge to many practitioners who have to deal with realistic systems within the required schedule and budget. To handle this challenge, a pattern system has been proposed for computer-aided construction of formal expressions. It organizes various inter-related patterns on computer, each of which deals with the formalization of a kind of informal ideas. But how to represent such knowledge to facilitate its automatic utilization and maintenance remains a problem. This paper presents an approach to representing and utilizing the pattern knowledge on the basis of a formal definition of the pattern system. The application process of the pattern system is described in HFSM (Hierarchical Finite State Machine) and treated as knowledge. By performing a proposed algorithm, necessary information can be retrieved from the HFSM for capturing informal requirements and automatically generating formal expressions. We also describe a prototype tool that implements the approach and present a case study on modeling a bank data management system.","PeriodicalId":345020,"journal":{"name":"2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131306480","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Reusable business tier architecture driven by a wide typed service 由广泛类型的服务驱动的可重用业务层体系结构

2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) Pub Date : 2013-06-16 DOI: 10.1109/ICIS.2013.6607830

Ó. Pereira, R. Aguiar, M. Y. Santos

引用次数: 4