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

2012 International Conference on Information Technology and Software engineering, ITSE 2012

作者： Zhai, Jie Shao, Zhiqing Guo, Yi Zhang, Haiteng Department of Computer Science and Engineering ECUST Shanghai China

ISBN: (纸本)9783642345302

This paper presents a novel formal method to describe contracrt-regulated service composition components using abstract concepts and (semi-) automatically verify the specification. We model web service component behaviours and the contracts based on Tecton language expressed using "concept descriptions", to be used with Violet verification system to prove properties of service composition component. The verified generic contract-regulated composition specification at an abstract level will be used in a variety of instances as BPEL specification without repeating the proof. The main advantage of this method is to improve the reusability of specification and seamlessly integrate behaviour descriptions with contacts. © 2013 Springer-Verlag.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Generic web services composition verification based on batch proof method

Generic web services composition verification based on batch...

引用

2011 International Conference on Computational and Information sciences, ICCIS 2011

作者： Zhai, Jie Shao, Zhiqing Department of Computer Science and Engineering ECUST Shanghai China

ISBN: (纸本)9780769545011

Present verification techniques only verify the property of composition specification in one situation every time, there will be a substantial waste of effort. We propose batch proof method for verifying the property of generic services composition specification in all situations simultaneously. The main advantage of this method is to improve the efficiency of proof. The verified generic composition specification at an abstract level will be used in a variety of instances without repeating the proof. © 2011 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

A novel verification method for contract-regulated cloud service composition 3

A novel verification method for contract-regulated cloud ser...

引用

3rd IEEE International Conference on Progress in Informatics and Computing, PIC 2015

作者： Zhai, Jie Zhang, Haiteng Shao, Zhiqing S. He, Gaoqi Department of Computer Science and Engineering ECUST Shanghai China

ISBN: (纸本)9781467380867

When cloud services are combined, transactions are regulated by binding contracts specifying obligations of the parties. Contract-regulated cloud is a new class of cloud computing systems. Concerning contract-regulated cloud service compositions, a significant challenge is how to efficiently ensure contract-regulated reliable execution without repeating the proof. This paper describes GPTS (a generic proof approach based on true-situation) method for efficiently and effectively verifying the properties of contract-regulated cloud service composition. We model cloud service behaviours and the contracts governing them as generic specification to reduce the need for proof. We propose the definition of true-situation based on the contracts and PATSS (proof in all true-situations simultaneously) algorithm used to verify completeness of generic specification's properties with more efficiency. Furthermore, a case study is provided to illustrate the proposed method. © 2015 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

FedGAN: Federated GAN for Few-shot Image Generation 3

FedGAN: Federated GAN for Few-shot Image Generation

引用

3rd International Conference on Electronic Information engineering and computer science, EIECS 2023

作者： Zhang, Yanbing Zhang, Qian Yang, Mengping Xiao, Ting Wang, Zhe East China University of Science and Technology Ecust Department of Computer Science and Engineering Shanghai China

ISBN: (纸本)9798350316674

Few-shot image generation can generate new samples of the same class using a limited number of images. However, the progressive tightening of data privacy policies has made it difficult to obtain data for model training, which leads to the problem of poor quality of the generated samples. To address this problem, this paper proposes FedGAN, a few-shot generation model incorporating a federated framework. By combining the few-shot generation algorithm with a federated framework that protects data privacy, it applies model training based on data privacy protection and train generation adversarial networks by splicing Gaussian noise after image dimensionality reduction to achieve few-shot generation model training. Experiments results show that the designed few-shot generation method generates high-quality images on two datasets and compares with other non-federated methods achieving the best results on FID and LPIPS metrics. © 2023 IEEE.

关键词： Federated learning Few-shot learning Image generation

来源：评论

学校读者我要写书评

暂无评论

Unified model of functional size measurement

Unified model of functional size measurement

引用

International Conference on E-Product E-Service and E-Entertainment

作者： Ji, Chunlei Yan, Shuncheng Ma, Xiaowei Song, Guoxin School of Electronic Information Shanghai Dianji University Shanghai China Department of Computer Science and Engineering ECUST Shanghai China

ISBN: (纸本)9781424471614

Functional Size Measurement (FSM) is one of the most important parts of software measurement research. In response to different users' needs, organizations may measure software size using different FSM methods. In order to measure software simultaneously by more than one FSM methods, this paper discusses three common FSM methods (IFPUG FPA, COSMIC FFP and MarkII FPA), gives a unified model of functional size measurement (FSM-UM) and proposes the mapping rulers of FSM-UM to the three FSM methods. Moreover,this paper provides a case study using FSM-UM in brief. ©2010 IEEE.

关键词： Cosmology

来源：评论

学校读者我要写书评

暂无评论

A Novel Intelligent Service Selection Method for Third-Party IT Service

A Novel Intelligent Service Selection Method for Third-Party...

引用

2016 IEEE International Conference on Progress in Informatics and Computing

作者： Jie Zhai Haiteng Zhang Guolin Hu Gaoqi He Lujin You Department of Computer Science and Engineering ECUST

The third party IT service providers with multi brand service abilities maintain the competitive advantage over single original equipment manufacturers. It’s a professional and efficient way to select a suitable service from each type of services to form a unified system of "one-stop" service for the user. DGSS method is presented to match services’ QoS with users’ QoS requirements. A key challenge is how to enhance the efficiency of D-GSS method. Therefore, an improved discrete group search service(ID-GSS) is presented in this paper. The framework is mainly based on the producer–scrounger-ranger model. A mincost function is presented in this paper to help all members in the group to find their respective approximate optimal solutions at each iteration more quickly. Thus ID-GSS has faster convergence speed than D-GSS. We study the convergence of ID-GSS method through verification and simulations.

关键词： The third party IT service Min-cost function ID-GSS method

来源：评论

学校读者我要写书评

暂无评论

A Novel Verification Method for Contract-Regulated Cloud Service Composition

A Novel Verification Method for Contract-Regulated Cloud Ser...

引用

2015 IEEE International Conference on Progress in Informatics and Computing(PIC 2015)

作者： Jie Zhai Haiteng Zhang Zhiqing Shao Gaoqi He Department of Computer Science and Engineering ECUST

When cloud services are combined, transactions are regulated by binding contracts specifying obligations of the parties. Contract-regulated cloud is a new class of cloud computing systems. Concerning contract-regulated cloud service compositions, a significant challenge is how to efficiently ensure contract-regulated reliable execution without repeating the proof. This paper describes GPTS(a generic proof approach based on true-situation) method for efficiently and effectively verifying the properties of contract-regulated cloud service composition. We model cloud service behaviours and the contracts governing them as generic specification to reduce the need for proof. We propose the definition of true-situation based on the contracts and PATSS(proof in all true-situations simultaneously) algorithm used to verify completeness of generic specification's properties with more efficiency. Furthermore, a case study is provided to illustrate the proposed method.

关键词： Generic specification Contract regulation GPTS method

来源：评论

学校读者我要写书评

暂无评论

A novel verification method for contract-regulated cloud service composition

A novel verification method for contract-regulated cloud ser...

引用

IEEE International Conference on Progress in Informatics and Computing (PIC)

作者： Jie Zhai Haiteng Zhang Zhiqing Shao Gaoqi He Department of Computer Science and Engineering ECUST Shanghai China

关键词： Switches Reliability Computational modeling Contracts

来源：评论

学校读者我要写书评

暂无评论

Generic Web Services Composition Verification Based on Batch Proof Method

Generic Web Services Composition Verification Based on Batch...

引用

International Conference on Computational and Information sciences (ICCIS)

作者： Jie Zhai ZhiQing Shao Department of Computer Science and Engineering ECUST Shanghai China

关键词： Web services Logistics Computational modeling Buildings Dispatching Semantic Web

来源：评论

学校读者我要写书评

暂无评论

FreGAN: Exploiting Frequency Components for Training GANs under Limited Data

arXiv

引用

arXiv 2022年

作者： Yang, Mengping Wang, Zhe Chi, Ziqiu Zhang, Yanbing Department of Computer Science and Engineering ECUST China Key Laboratory of Smart Manufacturing in Energy Chemical Process ECUST China

Training GANs under limited data often leads to discriminator overfitting and memorization issues, causing divergent training. Existing approaches mitigate the overfitting by employing data augmentations, model regularization, or attention mechanisms. However, they ignore the frequency bias of GANs and take poor consideration towards frequency information, especially high-frequency signals that contain rich details. To fully utilize the frequency information of limited data, this paper proposes FreGAN, which raises the model’s frequency awareness and draws more attention to producing high-frequency signals, facilitating high-quality generation. In addition to exploiting both real and generated images’ frequency information, we also involve the frequency signals of real images as a self-supervised constraint, which alleviates the GAN disequilibrium and encourages the generator to synthesize adequate rather than arbitrary frequency signals. Extensive results demonstrate the superiority and effectiveness of our FreGAN in ameliorating generation quality in the low-data regime (especially when training data is less than 100). Besides, FreGAN can be seamlessly applied to existing regularization and attention mechanism models to further boost the performance. 2 © 2022, CC BY-NC-ND.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：