检索结果-内蒙古大学图书馆

2nd International Workshop on Education technology and Computer Science, ETCS 2010

作者： Liu, Wei Du, YuYue Sun, HaiChun Yan, Chun College of Information Science and Engineering Shandong University of Science and Technology Qingdao China State Key Laboratory of Computer Science Chinese Academy of Sciences Institute of Software Beijing China

ISBN: (纸本)9780769539874

Soundness is a vital property of Interorganizational Logical Workflow Nets (ILWN) which can efficiently model cooperative systems. But even though each logical workflow net(LWN) is sound, soundness of arbitrary ILWN is hard to decide. This study analyzes the causes of leading to deadlocks of interface transitions and unboundedness of interface data places: the incorrect order of transitions related to interface data places, conditional routing construct and accumulation of tokens in interface data places. Based on the analysis,this paper defines the concept of T-fair LWNs and proposes an important subclass of ILWNs: T-fair ILWNs. For T-fair ILWNs, this study presents the inheritable conditions of soundness and gives a rigorous analysis approach according to their static net structures only. And then an approach of verifying the soundness of ILWNs composed of n T-fair LWNs is proposed. The concepts and techniques proposed in this study are illustrated with a useful example: an online bookstore and customer system. In addition, This paper discusses some cases which have fewer requirements for interface data. Based on that, a rather simple criteria condition is provided for T-fair ILWNs which are marked by restricted logical expressions. © 2010 IEEE.

关键词： Inheritable conditions Interorganizational logical workflow nets Logical expressions Soundness

来源：评论

学校读者我要写书评

暂无评论

Extended software component model for testing and reuse

Extended software component model for testing and reuse

引用

2010 2nd IEEE International Conference on Information Management and engineering, ICIME 2010

作者： Jiang, Ying Lu, Yu-Ke Wang, Hai-Rui Li, Ying-Na Fu, Xiao-Dong Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming China Key Laboratory of High Confidence Software Technologies Peking University Ministry of Education Beijing China

ISBN: (纸本)9781424452644

Component Based software Development is gaining popularity in recent years. In this way of software development, software components, which are typically black-box components, are intensively reused to construct new systems. The existed component models describe the characteristics of component from different aspects. However, there is not certain information about component testing. In this paper, we propose an extended component model that supported the component testing and reuse. A model for component specification and composition is established through extending the semantic specification, the protocol specification and the testing specification in the component interface. Then we give a model for component implementation based on Web Services. Finally, we discuss the validation of model, and it can support the development, testing and reuse of component. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Enhancing fairness: A novel C2C e-commerce community member reputation algorithm based on transaction social networks

Enhancing fairness: A novel C2C e-commerce community member ...

引用

IADIS International Conference WWW/Internet 2010

作者： Feng, Wangsen Zhang, Bei Xia, Yunni Li, Jiajing Meng, Tao Key Laboratory of Network and Software Security Assurance of Ministry of Education Computing Center Peking University Beijing 100871 China College of Computer Science Chongqing University Chongqing 400044 China School of Mechanical Electronic and Information Engineering China University of Mining and Technology Beijing 100083 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9789728939250

Today, almost all the C2C e-commerce community member reputation evaluating algorithms are time sensitive. The reputation of a community member is accumulated after transactions and the increment of reputation after a successful transaction is computed based on the score given by his or her transaction partner. Since people always tend to do business with those with high reputation value, the reputation of members joined in C2C community at different time will vary greatly although they may provide the same commodity quality and service. It is unfair to new comers. In this paper, we propose a novel algorithm to overcome the shortcoming. Based on the transaction social network, our algorithm employs the random walk strategy to compute member reputation and enhance system fairness. © 2010 IADIS.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Approach of degenerate test set generation based on secure state transition

引用

Ruan Jian Xue Bao/Journal of software 2010年第3期21卷 539-547页

作者： Cheng, Liang Zhang, Yang Feng, Deng-Guo Department of Electronic Engineering and Information Science University of Science and Technology of China Hefei 230027 China State Key Laboratory of Information Security Institute of Software The Chinese Academy of Sciences Beijing 100190 China

Based on predecessors' work, this propose the concept of degenerate test set (DTS) and an approach that performs test generation and redundancy elimination in the light of the special requirement of verification of the secure operating system. This approach is secure state transition-based for the first time and can generate an efficient test set by reducing the redundant system state transitions and similar properties with model checkers in the test case generation. Furthermore, it discusses the validity of the DTS when only some cases of the set fail and improve the DTS generation algorithm. The experiments prove that this approach can reduce the size of test set efficiently. © by Institute of software, the Chinese Academy of Sciences. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A naive feature selection method and its application in network intrusion detection

A naive feature selection method and its application in netw...

引用

International Conference on Computational Intelligence and security

作者： Chen, Tieming Pan, Xiaoming Xuan, Yiguang Ma, Jixia Jiang, Jie College of Computer Sci. and Tech. Zhejiang University of Technology Hangzhou 310023 China State Key Lab. of Software Development Environment Beihang University Beijing 100191 China Zhejiang Key Laboratory of Information Security Hangzhou310012 China

ISBN: (纸本)9780769542973

Network intrusion detection system needs to handle huge data selected from network environments which usually contain lots of irrelevant or redundant features. It makes intrusion detection with high resource consumption, as well as results in poor performance of real-time processing and intrusion detection rate. Without loss of generality, feature selection can effectively improve the classification model performance, study on the feature selection-based intrusion detection method is therefore very necessary. This paper proposes a simple and quick inconsistency-based feature selection method. Data inconsistency is firstly employed to find the optimal features, and the sequential forward search is then utilized to facilitate the selection of subset features. The tests on KDD99 benchmark data show that the proposed feature selection method can directly eliminate irrelevant and redundant features, without degenerating the classification performance. Furthermore, due to experiments, the intrusion detection performance using the proposed method is also a little advantageous than that with the general CFS method. © 2010 IEEE.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Multi-image based photon tracing for interactive global illumination of dynamic scenes

Multi-image based photon tracing for interactive global illu...

引用

作者： Yao, Chunhui Wang, Bin Chan, Bin Yong, Junhai Paul, Jean-Claude School of Software Tsinghua University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China Key Laboratory for Information System Security Ministry of Education of China Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China University of Hong Kong Hongkong Hong Kong INRIA France

Image space photon mapping has the advantage of simple implementation on GPU without pre-computation of complex acceleration structures. However, existing approaches use only a single image for tracing caustic photons, so they are limited to computing only a part of the global illumination effects for very simple scenes. In this paper we fully extend the image space approach by using multiple environment maps for photon mapping computation to achieve interactive global illumination of dynamic complex scenes. The two key problems due to the introduction of multiple images are 1) selecting the images to ensure adequate scene coverage;and 2) reliably computing ray-geometry intersections with multiple images. We present effective solutions to these problems and show that, with multiple environment maps, the image-space photon mapping approach can achieve interactive global illumination of dynamic complex scenes. The advantages of the method are demonstrated by comparison with other existing interactive global illumination methods. © 2010 The Eurographics Association and Blackwell Publishing Ltd.

关键词： Photons

来源：评论

学校读者我要写书评

暂无评论

Research on cooperative anti-worm system model based on distributed honeypots

Research on cooperative anti-worm system model based on dist...

引用

International Conference on Internet technology and Applications, ITAP 2010

作者： Zhang, Ran Yao, Weili Jia, Zhongtian School of Software Engineering Beijing University of Technology Beijing China Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China

ISBN: (纸本)9781424451432

This paper presents a cooperative anti-worm system model based on distributed honeypots for local area network(LAN). This model deployes honeypot systems in DMZ, at the back of firewall and in the internal subnets respectively. Honeypot systems cooperate with intrusion detection system (IDS) and firewall to prevent the worm attack from outside or inside LAN by the monitor center. Honeypots are not only able to lure a variety of network worms and collect new worm data, but also able to take measures to prevent worms from further spreading. The monitoring center is mainly responsible for further analyzing the suspicious data send back by each honeypot system and extracting new type of worm attack patterns and then sending them to the firewall and ID agents. The firewall and ID agents accept the feedback from the monitoring center to update their own rules, so they are able to respond to the new type of worms. By collaborating between honeypots and other security systems, the system is able to quickly respond to a variety of worm attacks from outside or inside LAN and provide a lot of evidence for administrators. ©2010 IEEE.

关键词： Local area networks

来源：评论

学校读者我要写书评

暂无评论

Automatic bug triage using semi-supervised text classification

Automatic bug triage using semi-supervised text classificati...

引用

作者： Xuan, Jifeng Jiang, He Ren, Zhilei Yan, Jun Luo, Zhongxuan School of Mathematical Sciences Dalian University of Technology Dalian 116024 China School of Software Dalian University of Technology Dalian 116621 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)1891706268

In this paper, we propose a semi-supervised text classification approach for bug triage to avoid the deficiency of labeled bug reports in existing supervised approaches. This new approach combines naive Bayes classifier and expectationmaximization to take advantage of both labeled and unlabeled bug reports. This approach trains a classifier with a fraction of labeled bug reports. Then the approach iteratively labels numerous unlabeled bug reports and trains a new classifier with labels of all the bug reports. We also employ a weighted recommendation list to boost the performance by imposing the weights of multiple developers in training the classifier. Experimental results on bug reports of Eclipse show that our new approach outperforms existing supervised approaches in terms of classification accuracy.

关键词： Maximum principle

来源：评论

学校读者我要写书评

暂无评论

An extensible Hash function construction based on embedded chaos maps

An extensible Hash function construction based on embedded c...

引用

10th IEEE International Conference on Computer and Information technology, CIT-2010, 7th IEEE International Conference on Embedded software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010

作者： Zhang, Xiaohong Yang, Yixian Li, Lixiang Peng, Haipeng State Key Laboratory of Networking and Switching Technology Information Security Center Beijing University of Posts and Telecommunications P. O. Box 145 Beijing 100876 China School of Information Engineering Jiangxi University of Science and Technology Ganzhou 341000 China

ISBN: (纸本)9780769541082

Based on chaotic Tent map, this paper proposed a new 5×L (L ≥ 32) bits extensible Hash function with symmetric keys. The structure only performed Boolean algorithm and shift operation. In order to generate fast diffusion, confusion and avalanche effect, Chaos series were embedded in the whole algorithm. The security against statistical attack, birthday attack were analyzed in detail. Many simulations were shown that the Hash value was highly sensitive to initial condition and parameter, and also to a message bit. Performance comparisons with MD5 showed that this scheme was a feasible scheme, and can be applied in e-commerce. © 2010 IEEE.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Spatial Variations in Particle Size and Magnetite Concentration on Cedar Beach:Implications for Grain-Sorting Processes,Western Lake Erie,Canada

引用

Acta Geologica Sinica(English Edition) 2010年第6期84卷 1520-1532页

作者： ZHANG Shuwei Maria T. CIOPPA ZHANG Shihong State Key Laboratory of Geological Processes and Mineral Resources China University of Geosciences Beijing 100083 China Department of Earth and Environmental Sciences University of Windsor Windsor ON N9B 3P4 Canada College of Computer Engineering and Software Taiyuan University of Technology Taiyuan 030024 China

This study examined spatial variations in the concentration,grain size and heavy mineral assemblages on Cedar Beach（Lake Erie,Canada）.Magnetic studies of heavy mineral-enriched,dark-reddish sands present on the beach showed that magnetite（～150μm） is the dominant magnetic *** magnetic susceptibility values defined three zones：a lakeward region close to the water line（Zone 1）,the upper swash zone（Zone 2） and the region landwards of the upper swash zone （Zone 3）.Zone 2 showed the highest bulk and mass susceptibility（κ,χ） and the highest mass percentage of smaller grain-size（250μm） fractions in the bulk sand ***（i.e.κandχ） values decreased and grain size coarsened from Zone 2 lakewards（into Zone 1） and landwards （into Zone 3）,and correlated with the distribution of the heavy mineral assemblage,most probably reflecting preferential separation of large,less dense particles by waves and currents both along and across the *** eroded western section of Cedar Beach showed much higher concentrations of heavy minerals including magnetite,and finer sand grain sizes than the accreting eastern section, suggesting that magnetic techniques could be used as a rapid,cost-effective way of examining erosion along sensitive coastline areas.

关键词： magnetic susceptibility magnetite concentration grain size grain-sorting processes Cedar Beach Lake Erie

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：