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

丛书名： Lecture Notes in Computer Science

1000年

作者： Bing Xie Juergen Branke S. Masoud Sadjadi Daqing Zhang Xingshe Zhou

ISBN: (数字)9783642165764

ISBN: (纸本)9783642165757

computing systems including hardware, software, communication, and networks are becoming increasingly large and heterogeneous. In short, they have become - creasingly complex. Such complexity is getting even more critical with the ubiquitous permeation of embedded devices and other pervasive systems. To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on self-manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-* properties to the maximum extent possible without human intervention or guidance. Organic computing (OC) additionally addresses adaptability, robustness, and c- trolled emergence as well as nature-inspired concepts for self-organization. Any autonomic or organic system must be trustworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems, and services. Trusted/ trustworthy computing (TC) aims at making computing and communication systems––as well as services––available, predictable, traceable, controllable, asse- able, sustainable, dependable, persistent, security/privacy protectable, etc. A series of grand challenges exists to achieve practical autonomic or organic s- tems with truly trustworthy services. Started in 2005, ATC conferences have been held at Nagasaki (Japan), Vienna (Austria), Three Gorges (China), Hong Kong (China), Oslo (Norway) and Brisbane (Australia). The 2010 proceedings contain the papers presented at the 7th International Conference on Autonomic and Trusted computing (ATC 2010), heldin Xi’an, China, October 26–29, 2010.

关键词： Systems and Data Security software engineering Computer Communication Networks Cryptology Information Systems Applications (incl. Internet) Management of computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

FM’99 — Formal Methods 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Jeannette M. Wing Jim Woodcock Jim Davies

ISBN: (数字)9783540481188

ISBN: (纸本)9783540665885

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent *** comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.

关键词： Theory of Computation software engineering/Programming and Operating Systems Logics and Meanings of Programs software engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Rough Sets and Knowledge Technology 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Tianrui Li Hung Son Nguyen Guoyin Wang Jerzy Grzymala-Busse Ryszard Janicki Aboul Ella Hassanien Hong Yu

ISBN: (数字)9783642319006

ISBN: (纸本)9783642318993

This book constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Knowledge Technology, RSKT 2012, held in Chengdu, China during August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012. The 63 revised papers (including 42 regular and 21 short papers) were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on rough sets and its generalizations, rough sets in data and knowledge processing, knowledge technology, advances in granular computing (AGC 2012 workshop), decision-theoretic rough set model and applications (special session), intelligent decision making and granular computing (special session), rough set foundations (special session).

关键词： Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Imaging, Vision, Pattern Recognition and Graphics Numeric computing Information Systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

SOFSEM 2010: Theory and Practice of Computer Science 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Jan Leeuwen Anca Muscholl David Peleg Jaroslav Pokorný Bernhard Rumpe

来源：评论

学校读者我要写书评

暂无评论

software Language engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Mark Brand Dragan Gašević Jeff Gray

来源：评论

学校读者我要写书评

暂无评论

SOFSEM 2013: Theory and Practice of Computer Science 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Peter Emde Boas Frans C. A. Groen Giuseppe F. Italiano Jerzy Nawrocki Harald Sack

ISBN: (数字)9783642358432

ISBN: (纸本)9783642358425

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.

关键词： Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Information Storage and Retrieval software engineering Artificial Intelligence Data Structures

来源：评论

学校读者我要写书评

暂无评论

Research of College English Online Course Based on Cloud computing and Exploitation for Multimedia Asian Information Processing

引用

ACM Transactions on Asian and Low-Resource Language Information Processing 1000年

作者： Hongfang Xiao Sathishkumar V E Adhiyaman Manickam Hunan University of Finance and Economics Changsha 410205 Hunan China Post Doctoral Researcher Department of Information and Communication Engineering Sunchon National University Suncheon Republic of Korea Post Doctoral Researcher Research Institute for Future Media Computing College of Computer Science and Software Engineering Shenzhen University Shenzhen China

In today's techno world,teachers worldwide can learn the world-famous masterclasses and access all sorts of courses for school teachers. Learners have more learning opportunities based on the excellent sharing of resources. Technical support is provided in developing the Fuzzy Integrated Cloud computing Framework (FICCF) to develop Online Courses. This paper explores the educational capabilities of cloud computing, the real-time contact between teachers and students, studying, and heterogeneous terminal access to track evaluation-based fuzzy variables. It addresses the benefits of open-ended modes, creating an English course design system in a cloud-based environment, modifying lecture mode, and reforming the English course design mode. The experimental result shows that the proposed cloud computing framework has better efficiency in developing and promoting English online *** self-learning systems make it possible to provide the best possible learning environment. It ensures that sensitive data generated by an application is deleted, and this feature ensures accuracy.

关键词： Education Technical support Teaching of English Online Courses open-ended modes Multimedia Asian information processing self-learning systems

来源：评论

学校读者我要写书评

暂无评论

Advances in Conceptual Modeling – Challenges and Opportunities 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Il-Yeol Song Mario Piattini Yi-Ping Phoebe Chen Sven Hartmann Fabio Grandi Juan Trujillo Andreas L. Opdahl Fernando Ferri Patrizia Grifoni Maria Chiara Caschera Colette Rolland Carson Woo Camille Salinesi Esteban Zimányi Christophe Claramunt Flavius Frasincar Geert-Jan Houben Philippe Thiran

ISBN: (数字)9783540879916

ISBN: (纸本)9783540879909

This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. The 42 revised full papers presented were carefully reviewed and selected from 108 submissions. Topics addressed by the workshops are conceptual modeling for life sciences applications (CMLSA 2008), evolution and change in data management (ECDM 2008), foundations and practices of UML (FP-UML 2008), modeling mobile applications and services (M2AS 2008), requirements, intentions and goals in conceptual modeling (RIGiM 2008), semantic and conceptual issues in geographic information systems (SeCoGIS 2008), and Web information systems modeling (WISM 2008).

关键词： Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval User Interfaces and Human Computer Interaction Artificial Intelligence Computational Biology/Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：