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

IEEE Photonics Society Summer Topical Meeting Series

作者： Robert Konig Graeme Smith Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai P.R. China

ISBN: (纸本)9781467350587

Characterizing information-carrying capacities of bosonic communication channels is of significant practical interest. For thermal noise channels, using coherent (product) states yields an achievable rate for classical communication which is conjectured to be optimal. However, it is not known whether coding strategies using entanglement may perform better. Here we discuss upper bounds on classical capacities of thermal noise channels. These imply that coherent-state coding is close to optimal. Our main tool is a quantum analog of the entropy power inequality introduced Shannon. It gives a lower bound on the output von Neumann entropy when two independent signals combine at a beamsplitter.

关键词： Entropy Noise Thermal noise Photonics Channel coding

来源：评论

学校读者我要写书评

暂无评论

Usage-pattern based Statistical Web testing and Reliability Measurement

引用

Procedia computer Science 2013年 21卷 140-147页

作者： Chao Chen Yihai Chen Huaikou Miao Hao Wang School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China McMaster Centre for Software Certification McMaster University Hamilton Ontario Canada

With the increasing complexity of Web applications, ensuring the reliability of Web applications becomes an enormous challenge. Statistical Web testing, proposed by researchers in recent years, is an appropriate approach to testing Web applications and to estimating their reliability. However, most of the researchers only focus on estimating the overall reliability of Web applications. They only discuss the failures which are recorded in error log files. In fact, the overall reliability cannot reflect the quality of Web applications under different usage patterns. In this paper, we propose an approach to estimating the particular reliability of Web applications under a particular usage pattern. Moreover, our approach can automatically identify the difference between output and expected pages.

关键词： statistical Web testing Markov usage model reliability measurement

来源：评论

学校读者我要写书评

暂无评论

Semantic Analysis and Implicit Target Extraction of Comments from E-Commerce Websites

Semantic Analysis and Implicit Target Extraction of Comments...

引用

WRI World Congress on software Engineering, WCSE

作者： Hui Song Jianfeng Chu Yun Hu Xiaoqiang Liu School of Computer Science and Technology Donghua University China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

In e-commerce websites, customers usually make comments, which include the properties of the product, the attitude to the vendor, express delivery information after buying the products. The information provides an important reference when others buy products in the website. In sentiment analysis, a finer-grained opinion mining approach focuses on not only the product itself as a whole but also product features, which can be a part or attribute of the product. Previous related research focuses on the explicit target mining but neglects the implicit ones. Whereas, the implicit features, which are implied by some words or phrases, are very significant and meaningful to express users' opinion. In this paper, we propose a new approach to uniformly extract explicit and implicit opinion features from the comments. Our experimental results prove the effectiveness of the approach. The recall is improved, suggesting that taking the implicit features into consideration can extract more useful information, meanwhile, the precision is stable, not decreases.

关键词： Feature extraction Encyclopedias Electronic publishing Internet Data mining Semantics

来源：评论

学校读者我要写书评

暂无评论

An algorithm on fairness verification of mobile sink routing in wireless sensor network

An algorithm on fairness verification of mobile sink routing...

引用

作者： Xu, Guangquan Li, Weisheng Xu, Rui Xiao, Yingyuan Gao, Honghao Li, Xiaohong Feng, Zhiyong Mei, Jia Institute of Knowledge Science and Engineering School of Computer Science and Technology Tianjin University 92 Weijin Road Nankai District Tianjin 300072 China College of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China Guangxi Economic Management Cadre College Guangxi China

Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited communication capabilities of all nodes and sink or in the case of a mobile sink moving to a new place. The problem to be solved is to balance the network and keep the fairness for all nodes. For this purpose, this paper focuses on verifying the fairness of mobile sink routing based on both state and action, which is realized mainly by composing Labeled Kripke Transition Systems (LKTS). First, an approach is presented by LKTS to model node behaviors. Second, a notion of Fair Computational Tree Logic (CTL) is introduced to describe the fairness formulae in branching time transitions, and four kinds of fairness assumptions are defined for fairness verification. Moreover, in order to avoid the problem of state-space explosion, Bounded model Checking to explore states and transitions on-the-fly until a witness is found, while Strong Connected Components algorithm is used to pick up fair paths under fairness constraints of Fair CTL. The experimental results show the superiority of our method by the savings in memory and time consumptions during the mobile sink routing process. © 2012 Springer-Verlag London Limited.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An approach to test generation for web applications

引用

International Journal of u- and e- Service, Science and Technology 2013年第1期6卷 61-76页

作者： Liu, Pan Miao, Huaikou Zeng, Hongwei Cai, Lizhi College of Computer Engineering and Science Shanghai Business School Shanghai 201400 China School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China

The paper presents a method of test generation for Web applications based on model partition. Compared with the method of test tree for test generation, our approach ensures the effectiveness of test paths generated from the model of Web applications. In this paper, we first employ the Kripke structure to modeling the navigation behavior of a Web application. Then the theory for model partition is proposed to solve the problem of inefficiency test paths. Next a frame of test generation based on model partition is designed to support test generation and redundancy reduction of test paths. Finally, we take the student course system as an example to illustrate our approach.

关键词： testing

来源：评论

学校读者我要写书评

暂无评论

Securing personal health records in clouds by enforcing sticky policies

引用

Telkomnika - Indonesian Journal of Electrical Engineering 2013年第4期11卷 2200-2208页

作者： Leng, Chunxia Yu, Huiqun Wang, Jingming Huang, Jianhua Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China School of Computer and Information Engineering Chuzhou University Anhui 239012 China

The personal health records (PHR) always contain much health-related privacy information in different categories. When storing the PHR data in the cloud, the PHR owner losescontrol to the sensitive information and is confronted with potential privacy exposure. In this paper, we propose a scheme to enable the protection of the PHR data hosted in the cloud. It not only supports that the data access can be fine-grained and base on the privacy policies specified by the PHR owner, but also affords an effective encryption mechanism and flexible key management approach to enforce the privacy policies sticky to the PHR data. © 2013 Universitas Ahmad Dahlan.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Application and method of quality management for small-size software project

Application and method of quality management for small-size ...

引用

IET International Conference on Information Science and Control Engineering 2012, ICISCE 2012

作者： Yang, Lin Liu, Zhenyu Cai, Lizhi Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781849196413

This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics and the disadvantages of project management in small-sized software project. Therefore, some quality activities should be considered in small-sized software project. The paper proposed lightweight quality planning, quality execution and quality monitoring activities in project management. Finally, the paper gives practical applications and proves method effective.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

PWMDS: A system supporting provenance-based matching and discovery of workflows in proteomics data analysis

PWMDS: A system supporting provenance-based matching and dis...

引用

2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012

作者： Zhai, Guangmeng Lu, Tun Huang, Xing Chen, Zhaocan Ding, Xianghua Gu, Ning School of Computer Science Fudan University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9781467312127

Provenance plays a fundamental role in e-science to keep track of the data processing execution, evaluate the data quality, reproduce the analysis results, and especially share and re-use workflows. How to take full advantage of provenance to help scientists discover, match and select scientific workflows is a challenging work. Although some studies have been done to model, store, and query scientific workflows, little is done to build practical systems to support workflow matching and discovery. In this paper, we devise and implement a Provenance-Based Workflow Matching and Discovery System (PWMDS) for task-based pipelines in a proteomics data analysis platform called CoPExplorer to address the above challenge. With the proposed novel provenance model and workflow matching & discovery algorithms, PWMDS can provide scientists a ranked list of suitable service candidates for their specified workflows, and initial experiments demonstrate its effectiveness. © 2012 IEEE.

关键词： e-Science

来源：评论

学校读者我要写书评

暂无评论

Research on VAF of IFPUG method based on Fuzzy Analytic Hierarchy Process

Research on VAF of IFPUG method based on Fuzzy Analytic Hier...

引用

2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012

作者： Peng, Hong Yang, GenXing Cai, Lizhi School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769546940

As the weight of the general system characteristics (GSC) in IFPUG method is the same in the different types of software systems. To solve the problem, this article uses the Fuzzy AHP (Analytic Hierarchy Process) approach to assign weight to the fourteen general system characteristics, and gives the improved formula of VAF. It makes IFPUG method more suitable to these other types of software systems besides the information management system. An example of functional size measurement is given to illustrate the feasibility of this method. And it also illustrates that the fuzzy AHP approach can get a better accuracy of the function point counting, and reduces the deviation. © 2012 IEEE.

关键词： Analytic hierarchy process

来源：评论

学校读者我要写书评

暂无评论

Non-structure data storage technology-An discussion

Non-structure data storage technology-An discussion

引用

2012 IEEE/ACIS 11th International Conference on computer and Information Science, ICIS 2012

作者： Huang, Shidong Cai, Lizhi Liu, Zhenyu Hu, Yun School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China

ISBN: (纸本)9780769546940

The traditional database is designed for the structured data and the complex query. In the environment of the cloud, the scale of data is very large, the data is nonstructured, the request of the data is dynamic, these characteristics raise new challenges for the data's storage and administration, in this context, the NoSQL database comes into being. The article compares and analyzes the general structure of the Cassandra, HBase, MongoDB, the data's distribution mechanism in the cluster, the mechanism of the fault tolerance, their support for the programming model and some relevant technologies, in order to provide some references for selecting or building the NoSQL database solution. © 2012 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：