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

An integrated recommendation approach based on influence and trust in social networks

9th FTRA InternationalConference on Future Information Technology, FutureTech 2014

作者： Li, Weimin Ye, Zhengbo Jin, Qun School of Computer Engineering and Technology Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Graduate School of Human Sciences Waseda University Tokorozawa Japan

ISBN: (纸本)9783642550379

In real human society, influence on each other is an important factor in a variety of social activities. It is obviously important for recommendation. However, the influence factor is rarely taken into account in traditional recommendation algorithms. In this study, we propose an integrated approach for recommendation by analyzing and mining social data and introducing a set of new measures for user influence and social trust. Our experimental results show that our proposed approach outperforms traditional recommendation in terms of accuracy and stability. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Token Detection Tool 26

Honeytoken-Detector: A Symbolic Execution-Based Honeypot Tok...

引用

26th ACIS International Winter Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD-Winter 2023

作者： Liu, Yi Cai, Lizhi School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Development Center of Computer Software Technology Shanghai Key Laboratory of Computer Testing & Evaluating Shanghai China

ISBN: (纸本)9798350345865

Smart contracts have emerged as one of the most successful applications in the blockchain domain, playing a significant role in various blockchain ecosystems. Inspired by smart contracts, a multitude of cryptographic assets have been created. To standardize these assets, industry standards such as ERC20 (Ethereum Request for Comments 20), ERC721, and ERC1155 have been proposed. In recent years, smart contracts have frequently fallen victim to attacks. Honeypot contracts, disguised as ERC20-compliant tokens, are widely prevalent on the blockchain, enticing victims to make purchases. Such malicious smart contracts exhibiting deceptive behavior are collectively referred to as honeypot tokens. This paper focuses on ERC20-compliant smart contracts and defines six common types of honeypot issues. Building upon advancements in smart contract vulnerability detection, we propose an enhanced symbolic execution-based detection tool called Honeytoken-Detector. We conduct experiments on both contracts known to have similar issues and actual token contracts from the real world. The experimental results demonstrate the effectiveness of our tool in identifying vulnerabilities. © 2023 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

An approach to generating test data for EFSM paths considering condition coverage

An approach to generating test data for EFSM paths consideri...

引用

作者： Lu, Gongzheng Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai200072 China School of Computer Engineering Suzhou Vocational University Suzhou215104 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai201114 China

Model-based test case generation has become a hotspot, and automatic generation of test data is difficult in this area. In this paper, system model is represented by extended finite state machine(EFSM), and genetic algorithm is used to generate test data for EFSM paths. When computing the fitness of an individual, the branch distance and the ratio of uncovered conditions of the individual are considered. In experiments, the proposed method is compared with the Kalaji's, and the results show that our method has a better effect and can get higher quality test data. © 2014 The Authors. Published by Elsevier B.V.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Data Generation, testing and evaluation of Chinese Natural Language Processing in the Cloud 7

Data Generation, Testing and Evaluation of Chinese Natural L...

引用

7th IEEE International Conference on Smart Cloud, SmartCloud 2022

作者： Ding, Minjie Chen, Mingang Chen, Wenjie Cai, Lizhi Chai, Yuanhao Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center Computer Software Technology Shanghai China Washington University in St. Louis McKelvey School of Engineering St. LouisMO United States

ISBN: (数字)9781665451796

ISBN: (纸本)9781665451796

With the rapid development of artificial intelligence, natural language processing, as an important branch, has also become a hot research field. A series of super large-scale pre-trained models represented by BERT and GPT have made great progress in natural language understanding and natural language generation, even some of the experimental accuracy exceed the human benchmark. However, these models will also make some mistakes and even fairness problems when they have the language ability equivalent to human beings. In order to verify whether the models can truly understand natural language, the evaluation of these models is particularly important. More methods are needed to evaluate the model. The language model-based evaluation tools often require a lot of computing resources. In this paper, we propose a method for testing and evaluation of Chinese natural language processing in cloud, generate testing data and design tests for Chinese data and test two pre-trained models. The experimental results show that our method can find defects of the model, though it has high performance on specific dataset. © 2022 IEEE.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

QoS-aware web services composition based on HQPSO algorithm

QoS-aware web services composition based on HQPSO algorithm

引用

International Association for computer and Information Science/JNU International Conference on computers, Networks, Systems and Industrial Engineering

作者： Liu, Yang Miao, Huaikou Li, Zhuang Gao, Honghao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Technology Taishan University Taian Shandong China

ISBN: (纸本)9780769544175

Web services composition is a new software development paradigm, and it is a key point to achieve service-oriented computing currently. For meeting the QoS requirements of consumers, this paper presents the QoS calculation rules and formalizes the services composition as the combinatorial optimization problem. In order to solve services composition, a new algorithm based on QPSO algorithm is proposed, which is called Hybrid QPSO algorithm and the correctness, feasibility, and effectiveness of the algorithm are demonstrated using the experiments. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Research progress in the processing of crowdsourced test reports 14

Research progress in the processing of crowdsourced test rep...

引用

14th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communications, TridentCom 2019

作者： Wang, Naiqi Cai, Lizhi Chen, Mingang Zhang, Chuwei School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Foreign Affairs Service Center Shanghai China

ISBN: (纸本)9783030432140

In recent years, crowdsourced testing, which uses collective intelligence to solve complex software testing tasks has gained widespread attention in academia and industry. However, due to a large number of workers participating in crowdsourced testing tasks, the submitted test reports set is too large, making it difficult for developers to review test reports. Therefore, how to effectively process and integrate crowdsourced test reports is always a significant challenge in the crowdsourced testing process. This paper deals with the crowdsourced test reports processing, sorts out some achievements in this field in recent years, and classifies, summarizes, and compares existing research results from four directions: duplicated reports detection, test reports aggregation and classification, priority ranking, and reports summarization. Finally explored the possible research directions, opportunities and challenges of the crowdsourced test reports. © ICST Institute for computer Sciences, Social Informatics and Telecommunications Engineering. 2020.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Probabilistic petri net and its logical semantics

Probabilistic petri net and its logical semantics

引用

9th ACIS International Conference on software Engineering Research, Management and Applications, SERA 2011

作者： Liu, Yang Miao, Huaikou Zeng, Hongwei Li, Zhuang School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China School of Information Science and Technology Taishan University Taian Shandong China

ISBN: (纸本)9780769544908

There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to address the issue of modeling system with probabilistic behaviors, a kind of Petri net with probability (probabilistic Petri net, PPN) is proposed in this paper. Then an action-based PCTL is developed to interpret logical semantics for PPN system. The usefulness of PPN system is illustrated by modeling and specifying an elaborate model of travel arrangements workflow. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Petri nets based modeling and analysis of UPnP security ceremonies

Petri nets based modeling and analysis of UPnP security cere...

引用

Pacific-Asia Conference on Circuits, Communications and System

作者： Zheng, Hong Li, Chunfang Chen, Zhihua School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200235 China

ISBN: (纸本)9781457708565

UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduces a formal method named the Petri Net, using its advantage such as intuitive graphical representation and rigorous mathematical theory to model the security control of the UPnP security ceremonies. This paper simulates the security control in actual security system, using occurrence step and transition sequence of Petri Net model to analyze the accessibility of model and verify the non-repudiation and security of system. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

LDE-UNet: A Novel Model for Rapid COVID-19 Diagnosis via CT Image Segmentation

LDE-UNet: A Novel Model for Rapid COVID-19 Diagnosis via CT ...

引用

2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023

作者： Wang, QiSong Wu, JiaRou Wang, YingZhuo Qu, HuiLi Nie, Shanling Yang, Hai East China University of Science and Technology Department of Computer Science and Engineering Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China The University of Sydney Faculty of Engineering Australia

ISBN: (纸本)9798350337488

The COVID-19 pandemic has had a profound impact on human society. It has highlighted the need for faster diagnostic methods. Research has shown that combining semantic segmentation with traditional medical approaches can significantly accelerate the process. To address this, leveraging COVID-19 CT images, our team designs a revolutionary semantic segmentation model called Level of Detail Enhancement U-Net (LDE-UNet), which shows the lesion area on CT images. By introducing the LDE block, the model has the unique advantage of overcoming the loss of data details during the downsampling process by emphasizing and transmitting details at the same level. Our SOTA model outperforms the second-best model by at least 0.7% in the most critical indicator precision. Compared with other models, LDE-UNet's strong reliability determines its ability to be used in the medical field to accelerate the localization and division of lesion areas on CT images by professional doctors, thus completing patient diagnosis faster. In addition, we also propose a standardized method for processing medical images. © 2023 IEEE.

关键词： COVID-19 Downsample LDE-UNet Semantic segmentation

来源：评论

学校读者我要写书评

暂无评论

Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts

引用

China Communications 2013年第9期10卷 33-42页

作者：文欣秀虞慧群郑红 Department of Computer Science and Engineering East China University of Science and Technology Shanghai Key Laboratory of Computer Software Evaluating and Testing

The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded *** are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and ***-Oriented software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life ***,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded ***,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic ***,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.

关键词： embedded systems model check-ing timed statecharts computation tree logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：