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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,327 篇 会议
41 篇 期刊文献
12 册 图书

馆藏范围

2,380 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,469 篇 工学
- 1,075 篇 计算机科学与技术...
- 1,032 篇 软件工程
- 357 篇 电气工程
- 151 篇 信息与通信工程
- 103 篇 控制科学与工程
- 32 篇 机械工程
- 25 篇 电子科学与技术（可...
- 21 篇 土木工程
- 18 篇 建筑学
- 12 篇 生物工程
- 12 篇 安全科学与工程
- 11 篇 仪器科学与技术
- 11 篇 动力工程及工程热...
- 11 篇 网络空间安全
- 8 篇 航空宇航科学与技...
- 8 篇 环境科学与工程（可...
- 8 篇 生物医学工程（可授...
169 篇 管理学
- 121 篇 管理科学与工程(可...
- 67 篇 图书情报与档案管...
- 46 篇 工商管理
130 篇 理学
- 74 篇 数学
- 40 篇 系统科学
- 19 篇 物理学
- 13 篇 生物学
- 9 篇 统计学（可授理学、...
16 篇 教育学
- 16 篇 教育学
14 篇 经济学
- 14 篇 应用经济学
11 篇 法学
- 8 篇 社会学
9 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
1 篇 农学
1 篇 军事学

主题

668 篇 software archite...
634 篇 computer archite...
263 篇 software
213 篇 software systems
182 篇 software enginee...
175 篇 application soft...
109 篇 hardware
101 篇 computer science
92 篇 programming
85 篇 unified modeling...
80 篇 software design
77 篇 costs
63 篇 documentation
51 篇 analytical model...
50 篇 security
49 篇 runtime
48 篇 prototypes
48 篇 computer aided s...
48 篇 protocols
45 篇 monitoring

机构

16 篇 software enginee...
16 篇 vrije univ amste...
12 篇 carnegie mellon ...
9 篇 computer science...
8 篇 vu university
8 篇 university of gr...
7 篇 fraunhofer iese ...
6 篇 johannes kepler ...
6 篇 gran sasso scien...
6 篇 george mason uni...
6 篇 carnegie mellon ...
6 篇 jet propulsion l...
6 篇 vrije universite...
6 篇 vrije univ amste...
6 篇 vu university am...
5 篇 caltech jet prop...
5 篇 department of co...
5 篇 school of comput...
5 篇 univ zurich soft...
5 篇 nokia research c...

作者

18 篇 lago patricia
16 篇 paris avgeriou
16 篇 avgeriou paris
16 篇 van vliet hans
12 篇 nenad medvidovic
12 篇 babar muhammad a...
12 篇 patrizio pellicc...
11 篇 patricia lago
11 篇 uwe zdun
11 篇 tang antony
10 篇 yuanfang cai
10 篇 medvidovic nenad
10 篇 kazman rick
10 篇 rick kazman
10 篇 hans van vliet
9 篇 bosch jan
9 篇 cai yuanfang
9 篇 knodel jens
9 篇 nord robert l.
8 篇 weyns danny

语言

2,369 篇 英文
6 篇 其他
4 篇 中文
1 篇 俄文

检索条件"任意字段=Working IEEE/IFIP Conference on Software Architecture"

共 2380 条记录，以下是31-40 订阅

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

详细简洁

排序：

The architecture of Scientific software: ifip TC2/WG2.5 working conference on the architecture of Scientific software October 2-4, 2000, Ottawa, ... in Information and Communication Technology)

引用

2013年

作者： Ronald Boisvert Ping Tak Peter Tang

ISBN: (纸本)9781475767193

Scientific applications involve very large computations that strain the resources of whatever computers are available. Such computations implement sophisticated mathematics, require deep scientific knowledge, depend on subtle interplay of different approximations, and may be subject to instabilities and sensitivity to external input. software able to succeed in this domain invariably embeds significant domain knowledge that should be tapped for future use. Unfortunately, most existing scientific software is designed in an ad hoc way, resulting in monolithic codes understood by only a few developers. software architecture refers to the way software is structured to promote objectives such as reusability, maintainability, extensibility, and feasibility of independent implementation. Such issues have become increasingly important in the scientific domain, as software gets larger and more complex, constructed by teams of people, and evolved over decades. In the context of scientific computation, the challenge facing mathematical software practitioners is to design, develop, and supply computational components which deliver these objectives when embedded in end-user application codes. The architecture of Scientific software addresses emerging methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, application programmer interface design, and the role of object-oriented languages. This book comprises the proceedings of the International Federation for Information Processing (ifip) conference on the architecture of Scientific software, which was held in Ottawa, Canada, in October 2000. It will prove invaluable reading for developers of scientific software, as well as for researchers in computational sciences and engineering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mining Security Documentation Practices in OpenAPI Descriptions

Mining Security Documentation Practices in OpenAPI Descripti...

引用

working ieee/ifip conference on software architecture

作者： Diana Carolina Muñoz Hurtado Souhaila Serbout Cesare Pautasso Software Institute USI Lugano Switzerland

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

Security is an integral requirement of any trustworthy software architecture, particularly critical for application programming interfaces (APIs). In this paper, we survey security documentation practices, specifically API security schemes related to authentication and authorization, by mining a large collection of OpenAPI descriptions retrieved from open-source GitHub repositories. Our study focuses on detecting existing security schemes and evaluating their prevalence and positioning within API descriptions. We distinguish whether security schemes are introduced locally (at the path or operation level) or globally (for the entire API). Our analysis highlights scenarios where security schemes are featured in APIs in different proportions over time, thus tracking whether the API documentation tends to include more (or less) security details as the API evolves.

关键词： Surveys Authorization software architecture Authentication Documentation Security Data mining Application programming interfaces software development management

来源：评论

学校读者我要写书评

暂无评论

architecture as Code

Architecture as Code

引用

working ieee/ifip conference on software architecture

作者： Alessio Bucaioni Amleto Di Salle Ludovico Iovino Patrizio Pelliccione Franco Raimondi Mälardalen University Sweden Gran Sasso Science Institute Italy

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

After more than thirty-five years of research and development in software architecture, several fundamental challenges remain unsolved. First, despite the importance of having a well-defined architecture description aligned with the system, inconsistencies and misalignments are still prevalent. Second, although numerous languages exist to describe architectures, none have achieved widespread use or recognition as a de facto standard. Third, while architecture is dynamic and evolving, with architectural decisions often made by non-architect stakeholders, there are no universally accepted methodologies to capture emergent aspects and incorporate them into the *** this paper, we explore the emerging concept of architecture as code. Inspired by the success of infrastructure as code, which enables infrastructure management in a codified, automated, and repeatable manner, architecture as code aims to bring similar benefits to software architecture. To the best of our knowledge, this is the first scientific paper to study this concept in depth within the context of software architecture, providing a comprehensive description and analysis of its characteristics. We also investigate how architecture as code is implemented and applied in practice.

关键词： Codes software architecture Computer architecture Stakeholders Standards Research and development

来源：评论

学校读者我要写书评

暂无评论

RISC-V Based Secure Processor architecture for Return Address Protection 38

RISC-V Based Secure Processor Architecture for Return Addres...

引用

38th International conference on VLSI Design, VLSID 2025

作者： Sharma, Lalit Goel, Neeraj Indian Institute of Technology Ropar India

ISBN: (纸本)9798331522445

RISC-V-based cores are increasingly becoming pop-ular in embedded system applications because of their open-source architecture. Protecting such systems against memory-based attacks is one of the most difficult challenge. Buffer over-flow (BFO) attacks, specifically on Stack, can alter the program execution flow and are extensively employed by attackers. RISC-V foundation is working on specifications that will be used to maintain the control flow integrity (CFI) of the overall system. It will add 'zicfiss' and 'zicfiip' extensions for both backward edge and forwarded edge CFI, respectively. We propose a hardware-based approach that uses existing Return Address Stack (RAS) and requires low overhead, minimal microarchitecture changes, and limited software overhead to protect against such attacks. We assessed the performance of our design using buffer-intensive benchmarks. We verified its security by subjecting it to evaluation with the RIPE benchmark and our in-house test cases for BFO check. This approach safeguards the system from BFO attacks and could also enhance its security against Spectre attacks that exploit RAS vulnerabilities. We validated our design with Rocket-Core-based SoC and found less than 0.1% memory overhead and 2% timing overhead from the best case. © 2025 ieee.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Investigating the Impact of software Design Patterns on Energy Consumption

Investigating the Impact of Software Design Patterns on Ener...

引用

working ieee/ifip conference on software architecture

作者： Adel Noureddine Olivier Le Goaer E2S UPPA LIUPPA Universite de Pau et des Pays de l’Adour France

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

GoF’s design patterns are popular structures designed for flexible and reusable object-oriented software. However, their energy impact is not well understood, with contradictory existing results. In this paper, we aim to answer the relation between design patterns and energy consumption through a multi-platform and multi-software stack empirical study, covering all design patterns, and multiple hardware, OS, languages and compilers. We found, with a high confidence level, that none of the GoF’s design patterns has a significant impact on energy consumption. Therefore, they can be considered energy-neutral, allowing eco-friendly developers to continue using them. We argue that software energy efficiency should rather be considered within the business logic embedded by a design pattern, and ultimately raised to a higher perspective of software development.

关键词： Energy consumption software design software architecture Operating systems Full stack Programming software Hardware software development management Business

来源：评论

学校读者我要写书评

暂无评论

Do Large Language Models Contain software Architectural Knowledge? : An Exploratory Case Study with GPT

Do Large Language Models Contain Software Architectural Know...

引用

working ieee/ifip conference on software architecture

作者： Mohamed Soliman Jan Keim Heinz Nixdorf Institut Universität Paderborn Germany Karlsruhe Institute of Technology (KIT) Germany

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

Architectural knowledge (AK) of existing systems is essential for software engineers to make design decisions. Recently, Large Language Models (LLMs) trained on large-scale datasets, including software repositories, have shown promise in embedding knowledge and answering questions. However, LLMs have not been evaluated for their abilities to answer questions about AK, leaving doubts about their accuracy. This paper assesses GPT, a leading LLM, by evaluating its responses’ accuracy, quality, and trustworthiness on the AK of the large-scale open-source system HDFS. We conducted an exploratory case study with 14 software engineers who posed questions to GPT and compared its responses to a predefined ground truth. The engineers rated GPT’s answers with moderate quality and trustworthiness. Our findings on GPT’s accuracy indicates moderate recall but lower precision, especially in identifying quality attribute solutions and design rationales. These results suggest that while GPT and similar models can provide initial insights into AK, expert validation remains necessary for reliability. This study underscores LLMs’ potential and limitations to discover software AK.

关键词： Knowledge engineering Accuracy software architecture Large language models Computer architecture software software reliability

来源：评论

学校读者我要写书评

暂无评论

An architecture-Based Approach to Mitigate Confidentiality Violations Using Machine Learning

An Architecture-Based Approach to Mitigate Confidentiality V...

引用

working ieee/ifip conference on software architecture

作者： Nils Niehues Sebastian Hahner Robert Heinrich Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

Today’s software systems have become increasingly connected and complex, requiring comprehensive analysis to ensure quality properties like confidentiality. architecture-based confidentiality analysis enables the early identification of confidentiality violations to counter data breaches effectively. However, uncertainty within the software system and its environment hinders the precise and comprehensive analysis of software architectures. Furthermore, the complexity of both architectural models and uncertainties and their outcomes impede automated model repair due to combinatorial explosion. Ultimately, software architects must manually address all confidentiality violations, which is both bothersome and error-prone. Although existing approaches can identify confidentiality violations due to uncertainty, they fall short of mitigating their effects. In this paper, we address this by utilizing machine learning in the confidentiality analysis both to evaluate the criticality of identified violations and to automatically repair them. This bridges the gap between analysis and mitigation, thereby effectively supporting software architects. Evaluation results show that logistic regression provides the best ranking of the importance of uncertainty sources. Combined with incremental testing, our approach outperforms the state of the art and achieves up to a 60-fold reduction in runtime.

关键词： Logistic regression Uncertainty Runtime Costs software architecture Prevention and mitigation Machine learning Maintenance engineering software systems Testing

来源：评论

学校读者我要写书评

暂无评论

A Map of Cloud-Native Practices and Tools to Achieve Desirable System Qualities

A Map of Cloud-Native Practices and Tools to Achieve Desirab...

引用

working ieee/ifip conference on software architecture

作者： Haoran Wei Nazim Madhavji John Steinbacher Computer Science Western University London Canada IBM Canada Lab Toronto Canada

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

Cloud-native technologies have been widely adopted, enabling organizations to build scalable, observable, resilient, and secure software systems within cloud environments. However, the rapid evolution of these technologies and the multitude of available tools present challenges to architects and developers in staying informed and making optimal choices for achieving the described qualities. While scientific literature summarizes quality attributes (QAs) and their corresponding cloud-native architectural patterns and tactics, it does not generally describe how qualities are achieved through the adoption of specific implementation practices and tools. To address this gap, we conducted a multivocal review of scientific papers, books, standards, and related grey literature. Through thematic analysis, we identified and organized cloud-native practices, tools, and related QAs. Our findings resulted in a map that comprises 15 high-level cloud-native practices that link to 87 specific sub-practices and 171 associated tools for addressing 8 desirable system qualities.

关键词： software architecture Reviews Standards organizations Microservice architectures Organizations software systems

来源：评论

学校读者我要写书评

暂无评论

Swiss Cheese Model for AI Safety: A Taxonomy and Reference architecture for Multi-Layered Guardrails of Foundation Model Based Agents

Swiss Cheese Model for AI Safety: A Taxonomy and Reference A...

引用

working ieee/ifip conference on software architecture

作者： Md Shamsujjoha Qinghua Lu Dehai Zhao Liming Zhu Data61 CSIRO Australia

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

Foundation Model (FM)-based agents are revolutionizing application development across various domains. However, their rapidly growing capabilities and autonomy have raised significant concerns about AI safety. Researchers are exploring better ways to design guardrails to ensure that the runtime behavior of FM-based agents remains within specific boundaries. Nevertheless, designing effective runtime guardrails is challenging due to the agents’ autonomous and non-deterministic behavior. The involvement of multiple pipeline stages and agent artifacts, such as goals, plans, tools, at runtime further complicates these issues. Addressing these challenges at runtime requires multilayered guardrails that operate effectively at various levels of the agent architecture. Therefore, in this paper, based on the results of a systematic literature review, we present a comprehensive taxonomy of runtime guardrails for FM-based agents to identify the key quality attributes for guardrails and design dimensions. Inspired by the Swiss Cheese Model, we also propose a reference architecture for designing multi-layered runtime guardrails for FM-based agents, which includes three dimensions: quality attributes, pipelines, and artifacts. The proposed taxonomy and reference architecture provide concrete and robust guidance for researchers and practitioners to build AI-safety-by-design from a software architecture perspective.

关键词： Runtime Dairy products software architecture Foundation models Large language models Taxonomy Pipelines Computer architecture Safety Systematic literature review

来源：评论

学校读者我要写书评

暂无评论

From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity

From Legacy to Intelligent IIoT Systems: Automation, Scalabi...

引用

working ieee/ifip conference on software architecture

作者： Gianluca Caiazza Teodors Lisovenko Pietro Ferrara Fabio Berti Francesca Ferrari Alessandro Zaupa Guangzheng Zhang Ca’ Foscari University Venice Italy Zamperla Vicenza Italy

ISBN: (数字)9798331520908

ISBN: (纸本)9798331520915

The Internet of Things (IoT) revolution is reshaping how physical devices embedded with software connect to the Internet, facilitating seamless data exchange and driving automation. Industrial IoT (IIoT) extends these capabilities to industrial devices and Cyber-Physical Systems (CPS), driving Intelligent Manufacturing. This integration supports advanced applications like remote monitoring, predictive maintenance, machine learning (ML), and artificial intelligence (AI) optimization, enhancing production efficiency, adaptability, and decisionmaking. However, managing the vast amounts of data generated requires scalable, automated software architectures. Many small and medium-sized enterprises (SME) face challenges in building such systems due to limited resources and expertise, often starting with manual data collection and basic *** paper presents a solution: a fully automated, configurable, and scalable software architecture for Intelligent Manufacturing. Our system has been operational for almost one and a half years on 21 plants, processing about 17K tasks, amounting to more than three months of computations. The experimental results show that automation and elasticity have been needed by such systems since the beginning, while scalability is not required during an initial experimentation phase.

关键词： Automation software architecture Scalability Computer architecture Production Manuals Elasticity software Manufacturing Industrial Internet of Things

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：