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

丛书名： Lecture Notes in computer science

1000年

作者： Zhenan Sun Shiguang Shan Haifeng Sang Weiqi Yuan Jie Zhou Yunhong Wang

ISBN: (数字)9783319124841

ISBN: (纸本)9783319124834

This book constitutes the refereed proceedings of the 9th Chinese Conference on Biometric Recognition, CCBR 2014, held in Shenyang, China, in November 2014. The 60 revised full papers presented were carefully reviewed and selected from among 90 submissions. The papers focus on face, fingerprint and palmprint, vein biometrics, iris and ocular biometrics, behavioral biometrics, application and system of biometrics, multi-biometrics and information fusion, other biometric recognition and processing.

关键词： Biometrics Pattern Recognition Image Processing and computer Vision Algorithm Analysis and Problem Complexity computer Graphics Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-trained Language Models

引用

ACM Transactions on Software Engineering and Methodology 1000年

作者： Quanjun Zhang Chunrong Fang Yi Zheng Yaxin Zhang Yuan Zhao Rubing Huang Jianyi Zhou Yun Yang Tao Zheng Zhenyu Chen Department of Computing Technologies Swinburne University of Technology Australia and State Key Laboratory for Novel Software Technology Nanjing University China State Key Laboratory for Novel Software Technology Nanjing University China School of Computer Science and Engineering Macau University of Science and Technology China Huawei Cloud Computing Technologies Co. Ltd. China Department of Computing Technologies Swinburne University of Technology Australia State Key Laboratory for Novel Software Technology Nanjing University China and Shenzhen Research Institute of Nanjing University China

Unit testing validates the correctness of the units of the software system under test and serves as the cornerstone in improving software quality and reliability. To reduce manual efforts in writing unit tests, some techniques have been proposed to generate test assertions automatically, including deep learning (DL)-based, retrieval-based, and integration-based ones. Among them, recent integration-based approaches inherit from both DL-based and retrieval-based approaches and are considered state-of-the-art. Despite being promising, such integration-based approaches suffer from inherent limitations, such as retrieving assertions with lexical matching while ignoring meaningful code semantics, and generating assertions with a limited training *** this paper, we propose a novel Retrieval-Augmented Deep Assertion Generation approach, namely RetriGen, based on a hybrid assertion retriever and a pre-trained language model (PLM)-based assertion generator. Given a focal-test, RetriGen first builds a hybrid assertion retriever to search for the most relevant test-assert pair from external codebases. The retrieval process takes both lexical similarity and semantical similarity into account via a token-based and an embedding-based retriever, respectively. RetriGen then treats assertion generation as a sequence-to-sequence task and designs a PLM-based assertion generator to predict a correct assertion with historical test-assert pairs and the retrieved external assertion. Although our concept is general and can be adapted to various off-the-shelf encoder-decoder PLMs, we implement RetriGen to facilitate assertion generation based on the recent CodeT5 model. We conduct extensive experiments to evaluate RetriGen against six state-of-the-art approaches across two large-scale datasets and two metrics. The experimental results demonstrate that RetriGen achieves 57.66% and 73.24% in terms of accuracy and CodeBLEU, outperforming all baselines with an average improvement of 50.66%

关键词： Unit Testing Assertion Generation Pre-trained Language Models AI4SE

来源：评论

学校读者我要写书评

暂无评论

Grid and Cooperative computing - GCC 2004 Workshops 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Hai Jin Yi Pan Nong Xiao Jianhua Sun

ISBN: (数字)9783540302070

ISBN: (纸本)9783540235781

Welcome to the proceedings of GCC2004 and the city of Wuhan. Grid computing has become a mainstream research area in computer science and the GCC conference has become one of the premier forums for presentation of new and exciting research in all aspectsofgridandcooperativecomputing. Theprogramcommitteeispleasedtopresent the proceedings of the 3rd International Conference on Grid and Cooperative Comp- ing (GCC2004), which comprises a collection of excellent technical papers, posters, workshops, and keynote speeches. The papers accepted cover a wide range of exciting topics, including resource grid and service grid, information grid and knowledge grid, grid monitoring,managementand organizationtools, grid portal, grid service, Web s- vices and their QoS, service orchestration, grid middleware and toolkits, software glue technologies, grid security, innovative grid applications, advanced resource reservation andscheduling,performanceevaluationandmodeling,computer-supportedcooperative work, P2P computing, automatic computing, and meta-information management. The conference continues to grow and this year a record total of 581 manuscripts (including workshop submissions) were submitted for consideration. Expecting this growth, the size of the program committee was increased from 50 members for GCC 2003 for 70 in GCC 2004. Relevant differences from previous editions of the conf- ence: it is worth mentioning a signi?cant increase in the number of papers submitted by authors from outside China; and the acceptance rate was much lower than for p- vious GCC conferences. From the 427 papers submitted to the main conference, the program committee selected only 96 regular papers for oral presentation and 62 short papers for poster presentation in the program.

关键词： Theory of Computation computer Communication Networks Operating systems Information systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human computer Interaction

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Reinforcement Learning based Edge Content Caching for Connected Autonomous Vehicles in IoV

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Xiaolong Xu Linjie Gu Muhammad Bilal Maqbool Khan Yiping Wen Guoqiang Liu Yuan Yuan School of Software Jiangsu Province Engineering Research Center of Advanced Computing and Intelligent Services Nanjing University of Information Science and Technology China Changwang School of Honors Nanjing University of Information Science and Technology China Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies Korea Department of IT and Computer Science Pak-Austria Fachhochschule-Institute of Applied Sciences and Technology Pakistan School of Computer Science and Engineering Hunan University of Science and Technology China School of Software Nanjing University of Information Science and Technology China School of Computer Science and Engineering Beihang University State Key Laboratory of Software Development Environment Zhongguancun Laboratory China

Connected Autonomous Vehicle (CAV) Driving, as a data-driven intelligent driving technology within the Internet of Vehicles (IoV), presents significant challenges to the efficiency and security of real-time data management. The combination of Web3.0 and edge content caching holds promise in providing low-latency data access for CAVs’ real-time applications. Web3.0 enables the reliable pre-migration of frequently requested content from content providers to edge nodes. However, identifying optimal edge node peers for joint content caching and replacement remains challenging due to the dynamic nature of traffic flow in IoV. Addressing these challenges, this article introduces GAMA-Cache, an innovative edge content caching methodology leveraging Graph Attention Networks (GAT) and Multi-Agent Reinforcement Learning (MARL). GAMA-Cache conceptualizes the cooperative edge content caching issue as a constrained Markov decision process. It employs a MARL technique predicated on cooperation effectiveness to discern optimal caching decisions, with GAT augmenting information extracted from adjacent nodes. A distinct collaborator selection mechanism is also developed to streamline communication between agents, filtering out those with minimal correlations in the vector input to the policy network. Experimental results demonstrate that, in terms of service latency and delivery failure, the GAMA-Cache outperforms other state-of-the-art MARL solutions for edge content caching in IoV.

关键词： Content Caching Reinforcement Learning Connected Autonomous Driving

来源：评论

学校读者我要写书评

暂无评论

DrWASI: LLM-assisted Differential Testing for WebAssembly system Interface Implementations

引用

ACM Transactions on Software Engineering and Methodology 1000年

作者： Yixuan Zhang Ningyu He Jianting Gao Shangtong Cao Kaibo Liu Haoyu Wang Yun Ma Gang Huang Xuanzhe Liu Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of Education School of Computer Science Peking University China The Hong Kong Polytechnic University China Huazhong University of Science and Technology China Beijing University of Posts and Telecommunications China Institute for Artificial Intelligence Peking University China School of Computer Science Peking University National Key Laboratory of Data Space Technology and System China

WebAssembly (Wasm) is an emerging binary format that serves as a compilation target for over 40 programming languages. Wasm runtimes provide execution environments that enhance portability by abstracting away operating systems and hardware details. A key component in these runtimes is the WebAssembly system Interface (WASI), which manages interactions with operating systems, like file operations. Considering the critical role of Wasm runtimes, the community has aimed to detect their implementation bugs. However, no work has focused on WASI-specific bugs that can affect the original functionalities of running Wasm binaries and cause unexpected results. To fill the void, we present DrWASI, the first general-purpose differential testing framework for WASI implementations. Our approach uses a large language model to generate seeds and applies variant and environment mutation strategies to expand and enrich the test case corpus. We then perform differential testing across major Wasm runtimes. By leveraging dynamic and static information collected during and after the execution, DrWASI can identify bugs. Our evaluation shows that DrWASI uncovered 33 unique bugs, with all confirmed and 7 fixed by developers. This research represents a pioneering step in exploring a promising yet under-explored area of the Wasm ecosystem, providing valuable insights for stakeholders.

关键词： WebAssembly WebAssembly system Interface

来源：评论

学校读者我要写书评

暂无评论

An X Language-Driven Framework for systematic Development of Digital Twin Healthcare systems

引用

ACM Transactions on Multimedia computing, Communications, and Applications 1000年

作者： Kunyu Xie Lin Zhang Yuan Yang Xiaohe Li Ridha Khedri Zhen Chen M. Jamal Deen Simulation Technology Innovation Center Hangzhou International Innovation Institute of Beihang University Hangzhou 311115 Zhejiang China School of Automation Science and Electrical Engineering Beihang University Beijing 100191 China State Key Laboratory of Intelligent Manufacturing Systems Technology Beijing 100191 China School of Automation Science and Electrical Engineering Beihang University Beijing 100191 China Shenzhen Third People’s Hospital & Second Hospital Affiliated to Southern University of Science and Technology Shenzhen 518112 Guangdong China Dept. of Computing and Software McMaster University Hamilton Ontario Canada L8S 4K1 Department of Electrical and Computer Engineering McMaster University Hamilton ON L8S 4L8 Canada

The rapid advancements in big data and the Internet of Things (IoT) have significantly accelerated the digital transformation of medical institutions, leading to the widespread adoption of Digital Twin Healthcare (DTH). The Cloud DTH Platform (CDTH) serves as a cloud-based framework that integrates DTH models, healthcare resources, patient data, and medical services. By leveraging real-time data from medical devices, the CDTH platform enables intelligent healthcare services such as disease prediction and medical resource optimization. However, the platform functions as a system of systems (SoS), comprising interconnected yet independent healthcare services. This complexity is further compounded by the integration of both black-box AI models and domain-specific mechanistic models, which pose challenges in ensuring the interpretability and trustworthiness of DTH models. To address these challenges, we propose a Model-Based systems Engineering (MBSE)-driven DTH modeling methodology derived from systematic requirement and functional analyses. To implement this methodology effectively, we introduce a DTH model development approach using the X language, along with a comprehensive toolchain designed to streamline the development process. Together, this methodology and toolchain form a robust framework that enables engineers to efficiently develop interpretable and trustworthy DTH models for the CDTH platform. By integrating domain-specific mechanistic models with AI algorithms, the framework enhances model transparency and reliability. Finally, we validate our approach through a case study involving elderly patient care, demonstrating its effectiveness in supporting the development of DTH models that meet healthcare and interpretability requirements.

关键词： Digital Twin Model-based system engineering X Language Medical Cyber-Physical systems Digital Twin Healthcare Design

来源：评论

学校读者我要写书评

暂无评论

Web-Age Information Management 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Yunjun Gao Kyuseok Shim Zhiming Ding Peiquan Jin Zujie Ren Yingyuan Xiao An Liu Shaojie Qiao

ISBN: (数字)9783642395277

ISBN: (纸本)9783642395260

This book constitutes the refereed proceedings of six workshops of the 14th International Conference on Web-Age Information Management, WAIM 2013, held in Beidaihe, China, June 2013. The 37 revised full papers are organized in topical sections on the six following workshops: The International Workshop on Big Data Management on Emerging Hardware (HardBD 2013), the Second International Workshop on Massive Data Storage and Processing (MDSP 2013), the First International Workshop on Emergency Management in Big Data Age (BigEM 2013), the International Workshop on Trajectory Mining in Social Networks (TMSN 2013), the First International Workshop on Location-based Query Processing in Mobile Environments (LQPM 2013), and the First International Workshop on Big Data Management and Service (BDMS 2013).

关键词： Information Storage and Retrieval Information systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management computer Communication Networks Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Secure Collaborative Learning for Self-Adaptive systems on Connected Autonomous Vehicles

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Xiaotong Wu Yuwen Liu Xiaoxiao Chi Rong Jiang Xiaokang Zhou Wajid Rafique Maqbool Khan Alibaba Business School Hangzhou Normal University China College of Computer Science and Technology China University of Petroleum (East China) China Department of Computing Macquarie University Australia Yunnan Key Laboratory of Service Computing Yunnan University of Finance and Economics China Faculty of Business Data Science Kansai University Japan and RIKEN Center for Advanced Intelligence Project Japan Department of Electrical and Software Engineering University of Calgary Canada Software Competence Center Hagenberg Austria

As an advanced carrier of on-board sensors, connected autonomous vehicle (CAV) can be viewed as an aggregation of self-adaptive systems with monitor-analyze-plan-execute (MAPE) for vehicle-related services. Meanwhile, machine learning (ML) has been applied to enhance analysis and plan functions of MAPE so that self-adaptive systems have optimal adaption to changing conditions. However, most of ML-based approaches don’t utilize CAVs’ connectivity to collaboratively generate an optimal learner for MAPE, because of sensor data threatened by gradient leakage attack (GLA). In this article, we first design an intelligent architecture for MAPE-based self-adaptive systems on Web 3.0-based CAVs, in which a collaborative machine learner supports the capabilities of managing systems. Then, we observe by practical experiments that importance sampling of sparse vector technique (SVT) approaches cannot defend GLA well. Next, we propose a fine-grained SVT approach to secure the learner in MAPE-based self-adaptive systems, that uses layer and gradient sampling to select uniform and important gradients. At last, extensive experiments show that our private learner spends a slight utility cost for MAPE (e.g., \(0.77\%\) decrease in accuracy) defending GLA and outperforms the typical SVT approaches in terms of defense (increased by \(10\%\sim 14\%\) attack success rate) and utility (decreased by \(1.29\%\) accuracy loss).

关键词： collaborative learning optimal adaption vehicle application data security self-adaptive system

来源：评论

学校读者我要写书评

暂无评论

Network and Parallel computing 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Hai Jin Daniel Reed Wenbin Jiang

ISBN: (数字)9783540322467

ISBN: (纸本)9783540298106

These proceedings contain the papers presented at the 2005 IFIP International Conference on Network and Parallel computing (NPC 2005), held in Beijing, China, between November 30 and December 3, 2005. The goal of the conference was to establish an international forum for engineers and scientists to present their ideas and experiences in network and parallel computing. A total of 320 submissions were received in response to our Call for Papers. These papers were from the following countries or regions: Australia, Canada, China, France, Germany, Hong Kong, India, Iran, Italy, Japan, Korea, Lux- burg, Nepal, Netherlands, Taiwan, United Arab Emirates, and United States. Each submission was sent to at least three *** paper was judged - cording to its originality, innovation, readability, and relevance to the expected ***,atotalof68paperswereretainedfor- clusionin *** the 68 papers,48 wereacceptedasfull papers for presentation at the conference. We also accepted 20 papers as short papers for a possible brief presentation at the conference, followed by discussion during a poster session. Thus, only 21% of the total submissions could be included in the ?nal program.

关键词： Theory of Computation computer Communication Networks Software Engineering Operating systems Algorithm Analysis and Problem Complexity Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

AMSPM: Adaptive Model Selection and Partition Mechanism for Edge Intelligence-driven 5G Smart City with Dynamic computing Resources

引用

ACM Transactions on Sensor Networks 1000年

作者： Xin Niu Xuejiao Cao Chen Yu Hai Jin National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

With the help of 5G network, edge intelligence (EI) can not only provide distributed, low-latency, and high-reliable intelligent services, but also enable intelligent maintenance and management of smart city. However, the constantly changing available computing resources of end devices and edge servers cannot continuously guarantee the performance of intelligent inference. In order to guarantee the sustainability of intelligent services in smart city, we propose the Adaptive Model Selection and Partition Mechanism (AMSPM) in 5G smart city where EI provides services, which mainly consists of Adaptive Model Selection (AMS) and Adaptive Model Partition (AMP). In AMSPM, the model selection and partition of deep neural network (DNN) are formulated as an optimization problem. Firstly, we propose a recursive-based algorithm named AMS based on the computing resources of edge devices to derive an appropriate DNN model that satisfies the latency demand of intelligent services. Then, we adaptively partition the selected DNN model according to the computing resources of edge devices. The experimental results demonstrate that, when compared with state-of-the-art model selection and partition mechanisms, AMSPM not only reduces latency but also enhances computing resource utilization.

关键词： Edge intelligence changing available computing resources adaptive model selection and partition smart city sustainable intelligent services

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：