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

Journal of software 2014年第2期9卷 398-403页

作者： Ni, Youcong Chen, Bei Ye, Peng Wang, Chunyan State Key Lab of Software Engineering Wuhan University Wuhan China College of Mathematics and Computer Wuhan Textile University Hubei China

In order to improve efficiency and quality of mobile application development on the iOS platform, this paper proposes a framework named AF4iOS, which is designed based on class libraries and existing software frameworks on iOS platform. The AF4iOS framework is divided into three independent layers: user interface (UI) layer, domain layer and resource layer. The AF4iOS framework encompasses a variety of components, which encapsulate the usage, and accessing of various resources, such as UI, data, web service and communication. These extensible and reusable components can accelerate the progress of development and enhance the quality of product. Finally, the availability and effectiveness of the AF4iOS framework is demonstrated through a case study. © 2014 ACADEMY PUBLISHER.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

A Metamodel for Enabling a Service Oriented Architecture

引用

On the Move Confederated International Conference and Workshops

作者： Piprani, Baba Wang, Chong He, Keqing SICOM Canada State Key Lab. of Software Engineering Wuhan University 430072 China

ISBN: (纸本)9783540888741

Process modelling initiatives generally develop their process models without much emphasis on data, burying their sequence of operations as a thread within a non-elementary process. More often than not, these buried operations are elementary atomic reusable components. The resulting models are generally not flexible or sufficiently reusable, suffering from update anomalies and redundancies. Addressing "service" as a major deliverable component, an ORM metamodel was developed in line with ISO 19763-5 Metamodel Framework for Interoperability: Metamodel for Process Model Registration, to harmonize atomic component processes using a control sequence and event models to enable the delivery of a totally flexible model set facilitating metamodel interoperability and cooperation between systems via their respective models. The paper provides a limited ORM based review of ISO 19763-5, and uses underlying component processes to develop a metamodel for a deliverable Services Oriented Architecture containing control sequence models, event models, and bridges to associated data models or web services.

关键词： Services Event Modelling Service Oriented Architecture ORM ISO19763-5

来源：评论

学校读者我要写书评

暂无评论

Dependence-Induced Risk: Security Metrics and Their Measurement Framework

引用

China Communications 2016年第11期13卷 119-128页

作者： Liqiang Zhang Fei Yan Bo Zhao Shouhuai Xu Computer School Wuhan University Key Lab of Aerospace Information Security and Trusted Computing Wuhan University State Key Lab of Software Engineering Wuhan University Department of Computer Science University of Texas at San Antonio

Despite the tremendous effort made by industry and academia,we are still searching for metrics that can characterize Cyberspace and system security risks. In this paper,we study the class of security risks that are inherent to the dependence structure in software with vulnerabilities and exhibit a "cascading" effect. We present a measurement framework for evaluating these metrics,and report a preliminary case study on evaluating the dependence-induced security risks in the Apache HTTP Server. The experiment results show that our framework can not only clearly analyze the root cause of the security risks but also quantitatively evaluate the attack consequence of the risks.

关键词： Cyberspace security security metrics exploitability surface attack conse quence risk assessment

来源：评论

学校读者我要写书评

暂无评论

Mobile agent-enabled framework for structuring and building distributed systems on the internet

引用

Science in China(Series F) 2006年第6期49卷 885-905页

作者： CAO Jiannong ZHOU Jingyang ZHU Weiweit LI Xuhui Internet and Mobile Computing Lab Department of Computing Hong Kong Polytechnic University Hung Hom KLW Hong Kong China State Key Lab of Novel Software Technologies Nanjing University Nanjing 210093 China State Key Lab of Software Engineering Wuhan University Wuhan 430072 China

Mobile agent has shown its promise as a powerful means to complement and enhance existing technology in various application areas. In particular, existing work has demonstrated that MA can simplify the development and improve the performance of certain classes of distributed applications, especially for those running on a wide-area, heterogeneous, and dynamic networking environment like the Internet. In our previous work, we extended the application of MA to the design of distributed control functions, which require the maintenance of logical relationship among and/or coordination of processing entities in a distributed system. A novel framework is presented for structuring and building distributed systems, which use cooperating mobile agents as an aid to carry out coordination and cooperation tasks in distributed systems. The framework has been used for designing various distributed control functions such as load balancing and mutual ex- clusion in our previous work. In this paper, we use the framework to propose a novel approach to detecting deadlocks in distributed system by using mobile agents, which demonstrates the advantage of being adaptive and flexible of mobile agents. We first describe the MAEDD （Mobile Agent Enabled Deadlock Detection） scheme, in which mobile agents are dispatched to collect and analyze deadlock information distributed across the network sites and, based on the analysis, to detect and resolve deadlocks. Then the design of an adaptive hybrid algorithm derived from the framework is presented. The algorithm can dynamically adapt itself to the changes in system state by using different deadlock detection strategies. The performance of the proposed algorithm has been evaluated using simulations. The results show that the algorithm can outperform existing algorithms that use a fixed deadlock detection strategy.

关键词： mobile agent internet computing distributed systems deadlock detection.

来源：评论

学校读者我要写书评

暂无评论

CodeRAG: Supportive Code Retrieval on Bigraph for Real-World Code Generation

arXiv

引用

arXiv 2025年

作者： Li, Jia Shi, Xianjie Zhang, Kechi Li, Lei Li, Ge Tao, Zhengwei Liu, Fang Tao, Chongyang Jin, Zhi Key Lab of High Confidence Software Technology Peking University MoE School of Computer Science Peking University China The University of Hong Kong Hong Kong School of Computer Science and Engineering State Key Laboratory of Complex & Critical Software Environment Beihang University China Beihang University China

Large language models (LLMs) have shown promising performance in automated code generation, especially excelling in simple tasks such as generating standalone codes. Different from simple tasks, real-world code generation usually depends on specific programming environment (e.g., code repositories). It contains complex dependencies and domain knowledge, which is needed for LLMs when generating target code snippets. In this paper, we propose CodeRAG, a retrieval-augmented code generation (RAG) framework to comprehensively retrieve supportive codes for real-world code generation. Beginning with the requirement, CodeRAG first constructs a requirement graph for the current repository, and retrieves sub- and similar- requirement nodes of the target requirement on the graph. Meanwhile, it models the repository into a DS-code graph. CodeRAG then maps these relevant requirement nodes into their corresponding code nodes, and treats these code nodes as archors for LLM reasoning on DS-code graph. Finally, CodeRAG introduces a code-oriented agentic reasoning process, seamlessly allowing LLMs to reason and comprehensively retrieve for supportive codes which LLMs’ need for generating correct programs. Experiments show that CodeRAG achieves significant improvements (i.e., increasing 40.90 and 37.79 Pass@1 on GPT-4o and Gemini-Pro on DevEval) compared to no RAG scenarios. Further tests on reasoning LLMs (i.e., QwQ-32B) confirm CodeRAG’s adaptability and efficacy across various types of LLMs. In addition, CodeRAG outperforms commercial programming products such as Copilit and Cursor. We further investigate the performance of our framework on different dependency types, and observe that CodeRAG is superior in generating examples where target codes invoke predefined cross-file code snippets. These results demonstrate CodeRAG’s potential in solving real-world repo-level coding challenges. Copyright © 2025, The Authors. All rights reserved.

关键词： Report generators

来源：评论

学校读者我要写书评

暂无评论

VOEditor: A visual environment for ontology construction and collaborative querying of semantic web resources

VOEditor: A visual environment for ontology construction and...

引用

31st Annual International Computer software and Applications Conference, COMPSAC 2007

作者： Ling, Li Shengqun, Tang Lina, Fang Ruliang, Xiao Xinguo, Deng Youwei, Xu Yang, Xu State Key Lab of Software Engineering Wuhan University Wuhan 430072 China

ISBN: (纸本)9780769528700

In this paper, a visual ontology modeling tool called VOEditor and an architecture based on the tool aimed at collaborative querying of Semantic Web resources are presented. A visual environment for ontology construction is deployed, providing a convenient mechanism for ontology engineers to create and edit their ontologies in a graphical mode. Search and coordination activities are carried out by a system of multi-agent designed for such environments. Finally, the tool and the architecture are demonstrated in the Tourism Recommendation System which is based on a tourism domain ontology created by the VOEditor. © 2007 IEEE.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Parameter estimation for asymptotic regression model by particle swarm optimization 09

Parameter estimation for asymptotic regression model by part...

引用

2009 World Summit on Genetic and Evolutionary Computation, 2009 GEC Summit - 1st ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC'09

作者： Xing, Xu Yuanxiang, Li Yu, Wu Xin, Du State Key Lab. of Software Engineering Wuhan University Wuhan China

ISBN: (纸本)9781605583266

Asymptotic regression model (ARM) has been widely used in the field of agriculture, biology and engineering, especially in agriculture. Parameter estimation for ARM is a significant, challenging and difficult issue. The modern heuristic algorithm has been proved to be a highly effective and successful technique in parameter estimation of nonlinear models. As a novel evolutionary computation paradigm based on social behavior of bird flocking or fish schooling, particle swarm optimization (PSO) has shown outstanding performance in many real-world applications, for it is conceptually simple and practically easy to be implemented. In the present work, parameters of ARM are estimated on the basis of PSO for the first time. Firstly, PSO is compared with evolutionary algorithm (EA) on seven groups of actual data;PSO, while using less number of function evaluations, can find a parameter set as well as EA. Secondly, we estimate one-dimensional, two-dimensional and threedimensional parameter by fixing two, one and zero of all parameters of ARM, respectively. Finally, how sampling range and data with Gaussian noise influence on the performance of PSO is considered. Experimental results show that PSO is a stable, reliable and effective method in parameter estimation for ARM and it's robust to noise. Copyright 2009 ACM.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Stakeholders-driven requirements semantics acquisition for networked software systems

Stakeholders-driven requirements semantics acquisition for n...

引用

IEEE International Workshop on Requirements engineering for Services

作者： Wen, Bin Liang, Peng He, Keqing State Key Lab. of Software Engineering Wuhan University Wuhan China

ISBN: (纸本)9780769541051

Large-scale and complex system exhibits adaptive feature, and evolutionary emergence of collective behaviors is its fundamental phenomena. Considering service oriented requirements engineering (SORE), this paper explores requirements semantics acquisition technique and analyzes its adaptive feature. The strategy of evolutionary growth to gain domain-specific requirements semantics model is proposed. Also, this approach combines with folks and experts intelligence to create requirements semantics. The instantiation of semantics is performed based on this model. The semantic model can facilitate consistency check and reasoning for high-quality requirements. By employing the functions provided by semantic wikis, a stakeholders-driven semantics acquisition platform for prerequirements is designed. Apart from traditional documentary specification, on-demand semantics artifacts will be exported to the subsequent services aggregation and semantics-driven service customization. © 2010 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Object identifier reuse mechanism for TOTEM 22

Object identifier reuse mechanism for TOTEM

引用

22nd International Conference on Data engineering Workshops, ICDEW 2006

作者： Shi, Yuan Zhai, Boxuan Zhou, Xiang Peng, Zhiyong State Key Lab of Software Engineering Computer School Wuhan University China

ISBN: (纸本)0769525717

During the development of our object deputy database system, called TOTEM, we find that OID exhaustion becomes a serious problem, which may also exist in other databases. To our knowledge, most current database systems don't reuse OIDs in the fear of destroying referential consistency, which, however, can get well resolved in our OID Reuse Mechanism with the help of bilateral pointers. This paper firstly introduces the basic concepts of OID, states the necessity and importance of OID Reuse, and then introduces the implementation of OID Reuse Mechanism in TOTEM. At last, its performance evaluation is presented. © 2006 IEEE.

关键词： Object deputy model Object identifier Reclamation Reuse

来源：评论

学校读者我要写书评

暂无评论

A new population initialization method based on space transformation search

A new population initialization method based on space transf...

引用

5th International Conference on Natural Computation, ICNC 2009

作者： Wang, Hui Wu, Zhijian Wang, Jing Dong, Xiaojian Yu, Song Chen, G. State Key Lab of Software Engineering Wuhan University Wuhan 430072 China

ISBN: (纸本)9780769537368

Population initialization, as an important step in population-based stochastic algorithm, can affect the convergence speed and the quality of solutions. Generally, random initialization is used to generate initial population when lacking priori information. This paper presents a new Initialization method by applying space transformation search (STS) strategy to generate initial population. Experimental results on 8 well-known benchmark problems show that the population initialization based on STS outperforms traditional random initialization and opposition-based population initialization. © 2009 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：