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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

39,148 篇 会议
174 篇 期刊文献
43 册 图书
1 篇 学位论文

馆藏范围

39,366 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

26,476 篇 工学
- 20,530 篇 计算机科学与技术...
- 17,934 篇 软件工程
- 5,163 篇 信息与通信工程
- 4,563 篇 控制科学与工程
- 3,717 篇 电气工程
- 3,063 篇 电子科学与技术（可...
- 2,517 篇 机械工程
- 1,770 篇 生物工程
- 1,614 篇 仪器科学与技术
- 1,452 篇 生物医学工程（可授...
- 1,430 篇 动力工程及工程热...
- 1,087 篇 光学工程
- 1,085 篇 化学工程与技术
- 1,084 篇 安全科学与工程
- 990 篇 交通运输工程
- 887 篇 土木工程
- 840 篇 材料科学与工程（可...
10,680 篇 理学
- 6,347 篇 数学
- 2,740 篇 物理学
- 1,919 篇 生物学
- 1,484 篇 统计学（可授理学、...
- 1,083 篇 化学
- 1,077 篇 系统科学
7,070 篇 管理学
- 4,960 篇 管理科学与工程(可...
- 2,518 篇 图书情报与档案管...
- 2,327 篇 工商管理
1,280 篇 医学
- 1,043 篇 临床医学
- 952 篇 基础医学(可授医学...
948 篇 法学
921 篇 经济学
- 915 篇 应用经济学
884 篇 教育学
- 874 篇 教育学
383 篇 农学
258 篇 文学
124 篇 军事学
87 篇 艺术学
3 篇 哲学
2 篇 历史学

主题

1,744 篇 computer science
1,605 篇 software
1,437 篇 application soft...
1,259 篇 software enginee...
598 篇 computer archite...
556 篇 hardware
526 篇 computational mo...
471 篇 data mining
461 篇 conferences
430 篇 software systems
430 篇 educational inst...
417 篇 costs
400 篇 testing
397 篇 software testing
386 篇 feature extracti...
353 篇 semantics
346 篇 training
338 篇 deep learning
334 篇 internet of thin...
327 篇 programming

机构

157 篇 school of inform...
143 篇 college of compu...
113 篇 university of el...
104 篇 school of comput...
88 篇 school of softwa...
82 篇 state key labora...
75 篇 school of comput...
69 篇 huazhong univers...
63 篇 nanjing univ sta...
62 篇 ieee
54 篇 school of comput...
43 篇 university of sc...
41 篇 school of big da...
41 篇 department of co...
37 篇 college of infor...
34 篇 institute of inf...
34 篇 software college...
33 篇 college of compu...
33 篇 faculty of infor...
32 篇 school of automa...

作者

55 篇 li li
43 篇 liu yang
39 篇 zhang lei
36 篇 baowen xu
31 篇 li yang
29 篇 lei wang
25 篇 zhang tao
25 篇 wang jian
25 篇 wei li
24 篇 qing wang
23 篇 wang hui
22 篇 xiao liu
22 篇 wei liu
22 篇 liu xin
21 篇 wang lei
20 篇 rehman attique u...
20 篇 zhang chao
19 篇 li jin
19 篇 baojian hua
18 篇 min huang

语言

38,207 篇 英文
658 篇 其他
491 篇 中文
5 篇 土耳其文
4 篇 西班牙文
2 篇 法文
1 篇 葡萄牙文

检索条件"任意字段=IEEE International Conference on Software - Science, Technology and Engineering 2005"

共 39366 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

ICSESS 2020 - Proceedings of 2020 ieee 11th international conference on software engineering and Service science

ICSESS 2020 - Proceedings of 2020 IEEE 11th International Co...

引用

11th ieee international conference on software engineering and Service science, ICSESS 2020

ISBN: (纸本)9781728165783

The proceedings contain 119 papers. The topics discussed include: research on intelligent linkage server switch in case of power loss in computer room;IWO optimization SKohonen network in the application of detecting malicious domain name;research on monitoring networking and information collection technology of hazardous chemicals based on converged communication;ridge regression based on gradient descent method with memory dependent derivative;a malware similarity analysis method based on network control structure graph;Chinese speech synthesis system based on end to end;evaluation of secure OpenID-based RAAA user authentication protocol for preventing specific web attacks in web apps;an improved method to build the KD tree based on presorted results;handwriting text-line detection and recognition in answer sheet composition with few labeled data;and dissolved oxygen prediction using RBF network based on improved conjugate gradient method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback 24

Detecting Atomicity Violations for Interrupt-driven Programs...

引用

39th ACM/ieee international conference on Automated software engineering (ASE)

作者： Li, Ruixue Yu, Bin Lu, Xu Ke, Lei Chen, Jiawei Yuan, Zixuan Wang, Jingxian Tian, Cong Dong, Yansong Xidian Univ Sch Comp Sci & Technol Xian Peoples R China Beijing Sunwise Informat Technol Ltd Beijing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Interrupt-driven programs are widely used in safety-critical fields like aerospace and embedded systems. However, the unpredictable interleaving of Interrupt Service Routines (ISRs) can lead to concurrency bugs, particularly atomicity violations when ISRs preempt atomic sequences of instructions. To address this, we propose a dynamic approach for detecting atomicity violations in interrupt-driven programs. Extensive experiments demonstrate that our method is more precise and efficient than related approaches.

关键词： Concurrent computing Systematics Embedded systems Computer bugs Aerodynamics Aerospace safety software engineering

来源：评论

学校读者我要写书评

暂无评论

AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models 24

AACEGEN: Attention Guided Adversarial Code Example Generatio...

引用

39th ACM/ieee international conference on Automated software engineering (ASE)

作者： Li, Zhong Zhang, Chong Pan, Minxue Zhang, Tian Li, Xuandong Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Adversarial code examples are important to investigate the robustness of deep code models. Existing work on adversarial code example generation has shown promising results yet still falls short in practical applications due to either the high number of model invocations or the limited naturalness of generated examples. In this paper, we propose AACEGEN, an attention-guided adversarial code example generation method for deep code models. The key idea of AACEGEN is to utilize the attention distributions behind deep code models to guide the generation of adversarial code examples. As such, the code elements critical for model predictions could be prioritized for exploration, enhancing the effectiveness and efficiency of adversarial code example generation. In addition, AACEGEN implements a code transformation library providing diverse semantic-preserving code transformations for various code elements, and further conducts a search under the constraint of a maximum number of allowable code transformations to generate adversarial code examples with subtlety and stealth. Our extensive experiments on 9 diverse subjects, taking into account different software engineering tasks and varied deep code models, demonstrate that AACEGEN outperforms 3 baseline approaches under comprehensive evaluation.

关键词： Adversarial Example Deep Code Model Code Transformation Search-based Testing

来源：评论

学校读者我要写书评

暂无评论

software engineering Research in a World with Generative Artificial Intelligence 24

Software Engineering Research in a World with Generative Art...

引用

44th ACM/ieee international conference on software engineering, ICSE 2024

作者： Rinard, Martin Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science CambridgeMA United States

Generative artificial intelligence systems such as large language models (LLMs) exhibit powerful capabilities that many see as the kind of flexible and adaptive intelligence that previously only humans could exhibit. ... 详细信息

ISBN: (纸本)9798400702174

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

software Development Life Cycle for Web Application by Using Traditional Methodology vs Agile Methodology 9

Software Development Life Cycle for Web Application by Using...

引用

9th international conference on science, technology, engineering and Mathematics, ICONSTEM 2024

作者： Krishna, V. Vamsi Gopinath, G. School of Computer Science Engineering & Applications Bharathidasan University Tiruchirappalli India

ISBN: (纸本)9798350365092

Life cycle software development is concerned in the software development process (SDP), which inspects the software development region. Life cycle of software development (SDLC) is a technique that assures that the software abides by the recognized necessities. In this methodologies, to create the method more effective and also conventional it applies numerous grades in the SDP. In this work, the heavy class methodology (traditional SDLC) and as well the Lightweight Methodology (Agile SDLC) are explicated and also conducted a correlation betwixt the policy of Method. © 2024 ieee.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Prioritizing Test Inputs for DNNs Using Training Dynamics 24

Prioritizing Test Inputs for DNNs Using Training Dynamics

引用

39th ACM/ieee international conference on Automated software engineering (ASE)

作者： Shen, Jian Li, Zhong Pan, Minxue Li, Xuandong Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China

ISBN: (数字)9798400712487

ISBN: (纸本)9798400712487

Deep Neural Network (DNN) testing is one of the most widely-used techniques to guarantee the quality of DNNs. However, DNN testing typically requires the ground truth of test inputs, which is time-consuming and labor-intensive to obtain. To relieve the labeling-cost problem of DNN testing, we propose TDPR, a test input prioritization technique for DNNs based on training dynamics. The key insight of TDPR is that bug-revealing samples exhibit different learning trajectories compared to normal ones. Based on this, TDPR constructs a learning trajectory for each test input, which characterizes the evolving learning behavior of DNNs. Then, TDPR extracts features from these learning trajectories and applies learning-to-rank techniques to build a ranking model, which can intelligently utilize the generated features to prioritize test inputs. To evaluate TDPR, we conduct extensive experiments on 8 diverse subjects, considering various domains of test inputs, different DNN architectures, and diverse types of test inputs. The evaluation results demonstrate that TDPR outperforms 7 baseline approaches in both prioritizing test inputs and guiding the retraining of DNNs.

关键词： Deep neural network Test input prioritization Deep learning testing Training dynamics

来源：评论

学校读者我要写书评

暂无评论

Modeling and Simulation of Curing Cycle of Thermoset Epoxy Resin: Comparison of OpenFOAM solver and licensed simulation software 30

Modeling and Simulation of Curing Cycle of Thermoset Epoxy R...

引用

30th ieee international conference on engineering, technology, and Innovation

作者： Sempere Torregrosa, Jaume de la Rosa Ramirez, Harrison Cosma, Leonardo Gerardi, Antonio Ferrandiz Bou, Santiago Univ Politecn Valencia Univ Inst Mat Technol IUTM Alcoy Spain Ctr Ric Europeo Tecnol Design & Mat CETMA Brindisi BR Italy

ISBN: (纸本)9798350362442;9798350362435

This work introduces a novel approach by modifying an existing solver used to calculate the curing resin process simulation analysis. The laplacianFoam solver was used as the starting point, adding new features to the heat equation and the evolution equation of the resin curing degree. This modification led to the development of a new solver with significantly enhanced capacity. To validate its efficiency, a typical differential scanning calorimetry (DSC) curve of a resin was considered, corroborating the outcome results. Furthermore, a comparison was made between the experimental data results and those from a licensed simulation software, demonstrating the superior performance of the developed solver with over 96% accuracy. This research also presents a more practical approach than the licensed simulation software.

关键词： Curing resin simulation modeling composite material

来源：评论

学校读者我要写书评

暂无评论

Integrating software and Systems engineering: A Framework for Human-Centric Design of Augmented Reality Applications 18

Integrating Software and Systems Engineering: A Framework fo...

引用

18th Annual ieee international Systems conference (SysCon)

作者： Aoki, Emi Tran, Bach Norceide, Flore Tran, Vinh Sastry, Shivakumar Thompson, Charles Chandra, Kavitha Univ Massachusetts Lowell Lowell MA 01854 USA Dassault Syst Amer Corp Waltham MA USA Dayananda Sagar Univ Bengaluru India

ISBN: (纸本)9798350358810;9798350358803

Modeling from the perspectives of software engineering and systems engineering have co-evolved over the last two decades as orthogonal approaches. Given the central role of software in modern cyber-physical systems and the increasing adoption of digital engineering practices in complex systems design, there is now significant opportunity for collaborative design among system users, software developers, and systems engineers. Model-based systems engineering (MBSE) and systems modeling languages can support seamless cross-domain connectivity for design, simulation, and analysis of emerging technologies such as Augmented Reality (AR). This paper presents a co-design process for extending the capability of an existing AR application referred to as a No-Code AR Systems (NCARS) framework. NCARS enables content developed by multi-domain authors to be deployed on AR devices through a software layer that bridges the content to the game engine that drives the AR system. Utilizing a software dependency diagram of the AR Annotation function, an existing MBSE model of the AR system is extended to include the structure and behavior of relevant software components. This allows a modular design of the system to address needs in integrating new requirements into the existing application. New user requirements for tracking items in motion in the user's physical environment with virtual annotations in the augmented space are collaboratively designed and visualized through use case, block definition, internal block, and sequence diagrams. They capture the required structure and behavior of the proposed to-be system.

关键词： Augmented Reality Digital Transformation Dynamic Annotation Model-Based Systems engineering Item Tracking software engineering

来源：评论

学校读者我要写书评

暂无评论

Systematic Literature Review on Model Transformation for Advanced Generation of Pipelines within DevOps Solutions 65

Systematic Literature Review on Model Transformation for Adv...

引用

65th international Scientific conference on Information technology and Management science

作者： Karlovs-Karlovskis, Uldis Nikiforova, Oksana Riga Tech Univ Fac Comp Sci Informat Technol & Energy Riga Latvia

ISBN: (纸本)9798331533847;9798331533830

Since its inception in 2009, DevOps has driven significant advancements in software development in terms of methodologies and support tools, developed both by industry, as well as a result of academic research. In turn to further enhance software development speed without compromising quality, this paper argues that DevOps as such also requires a digital solution for its automation. While previous studies have extensively explored the evolution of DevOps and its associated methodologies, these efforts have been insufficient. Existing research lacks comprehensive analysis and fails to address the full scope of DevOps formalization challenges and opportunities, which is the key prerequisite for automation. Researchers and practitioners are actively seeking innovative approaches, such as model-driven engineering, to expedite automation of software development processes even further. This systematic literature review aims to fill these gaps by providing a more thorough examination of the literature and offering deeper insights into the potential of combining DevOps and model-driven approaches. The paper investigates literature of the last 15 years on how to streamline DevOps pipeline generation that are grounded in model transformation techniques.

关键词： Model-Driven engineering build deployment Continuous software engineering DevOps pipeline UML

来源：评论

学校读者我要写书评

暂无评论

Generative Artificial Intelligence Platform Ecosystems 30

Generative Artificial Intelligence Platform Ecosystems

引用

30th ieee international conference on engineering, technology, and Innovation

作者： Heimburg, Vincent Schreieck, Maximilian Wiesche, Manuel TU Dortmund Univ Chair Digital Transformat Dortmund Germany Univ Innsbruck Dept Informat Syst Prod & Logist Management Innsbruck Austria

ISBN: (纸本)9798350362442;9798350362435

Generative AI platform ecosystems exhibit unique features and dynamics. The platforms employ a novel approach to user interaction, and the complementors' offerings on the supply side of the platform are tightly coupled with a highly dynamic large language model (LLM) operated by the platform owner. We conducted a case study of OpenAI's ChatGPT platform ecosystem to examine the architecture of generative AI platform ecosystems. We identify that the interplay of platform core and modules (i.e., GPTs) in the platform periphery differs significantly from traditional software platforms. We contribute to the literature on digital platform ecosystems by revealing the novel layered modular architecture of this emerging type of platform ecosystem. We also highlight novel opportunities and challenges for platform complementors who offer modules in generative AI platform ecosystems.

关键词： software platforms digital platforms generative AI digital ecosystem large language model case study

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：