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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

326 篇 会议
4 册 图书
1 篇 期刊文献

馆藏范围

331 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

237 篇 工学
- 162 篇 计算机科学与技术...
- 119 篇 软件工程
- 74 篇 控制科学与工程
- 49 篇 信息与通信工程
- 43 篇 电气工程
- 33 篇 生物工程
- 26 篇 交通运输工程
- 26 篇 安全科学与工程
- 24 篇 机械工程
- 23 篇 仪器科学与技术
- 21 篇 生物医学工程（可授...
- 20 篇 动力工程及工程热...
- 17 篇 网络空间安全
- 16 篇 化学工程与技术
- 15 篇 光学工程
- 13 篇 材料科学与工程（可...
- 12 篇 电子科学与技术（可...
- 10 篇 纺织科学与工程
118 篇 理学
- 43 篇 数学
- 34 篇 物理学
- 33 篇 生物学
- 31 篇 化学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
73 篇 管理学
- 57 篇 管理科学与工程(可...
- 35 篇 图书情报与档案管...
- 22 篇 工商管理
15 篇 医学
- 15 篇 基础医学(可授医学...
- 15 篇 临床医学
11 篇 法学
- 10 篇 社会学
9 篇 经济学
4 篇 教育学
2 篇 农学
2 篇 军事学

主题

14 篇 computer archite...
11 篇 smart cities
8 篇 software enginee...
8 篇 real-time system...
8 篇 security
8 篇 privacy
7 篇 optimization
7 篇 costs
6 篇 software systems
6 篇 deep learning
6 篇 task analysis
6 篇 embedded systems
6 篇 complexity theor...
6 篇 hardware
6 篇 data models
5 篇 adaptive systems
5 篇 reinforcement le...
5 篇 application soft...
5 篇 neural networks
5 篇 servers

机构

4 篇 college of compu...
4 篇 school of cyber ...
4 篇 fraunhofer cente...
3 篇 ca united states
3 篇 research centre ...
3 篇 institute of inf...
3 篇 school of comput...
3 篇 department of el...
2 篇 university of po...
2 篇 school of comput...
2 篇 islamia universi...
2 篇 institute for au...
2 篇 department of co...
2 篇 sino-us global l...
2 篇 pmas arid agricu...
2 篇 rwth aachen univ...
2 篇 school of electr...
2 篇 centre for infor...
2 篇 pazhou lab
2 篇 college of compu...

作者

3 篇 abreu pedro henr...
3 篇 liu wei
3 篇 emaminejad sam
2 篇 kroning martin
2 篇 martin kröning
2 篇 răzvan deaconesc...
2 篇 dobrescu radu
2 篇 puffitsch wolfga...
2 篇 rodrigues pedro ...
2 篇 yeung christophe...
2 篇 pagano michele
2 篇 moiseeva svetlan...
2 篇 tomasz stach
2 篇 mocanu stefan
2 篇 zhao yichao
2 篇 spichkova maria
2 篇 abonyi wj.
2 篇 lin haisong
2 篇 mariusz pelc
2 篇 monti antonello

语言

328 篇 英文
3 篇 中文
2 篇 其他
1 篇 西班牙文

检索条件"任意字段=23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018"

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

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

详细简洁

排序：

Proceedings of the IEEE international conference on engineering of complex computer systems, iceccs

Proceedings of the IEEE International Conference on Engineer...

引用

23rd international conference on engineering of complex computer systems, iceccs 2018

ISBN: (纸本)9781538693414

The proceedings contain 29 papers. The topics discussed include: layered and collecting NDFS with subsumption for parametric timed automata;offline timed pattern matching under uncertainty;HOMESCAN: scrutinizing implementations of smart home integrations;state compression based on one-sided communications for distributed model checking;towards mining comprehensive android sandboxes;cultural influences on the requirements engineering process: lessons learned from practice;modeling and verification of large-scale sensor network infrastructures;and multi-level multi-stage agent-based decision support system for simulation of crowd dynamics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

AFFOrdANCES IN ACTION UP TO USER NEEDS: READING DESIGN-ORIENTED SOCIOLOGY IN THE DESIGN OF A RELATIONAL TRUSTWORTHY GOVERNABLE PLATFORM 18

AFFORDANCES IN ACTION UP TO USER NEEDS: READING DESIGN-ORIEN...

引用

18th international conferences IADIS Information systems 2025 and 23rd international conference on e-Society 2025

作者： Jacucci, Gianni Department of Information Engineering and Computer Science - DISI University of Trento Via Sommarive TN Povo9I-38123 Italy

ISBN: (纸本)9789898704658

This focused and dedicated short research paper examines the architectural design work of a Trustworthy Governable Platform (TGP), that redefines the information paradigm for institutional communication platforms-particularly in relational enterprises-where complex social dynamics are at play. Examples include addressing accountability and ensuring contextual integrity. We adopt a design-oriented sociological perspective to uncover how the platform's creator ensured that its social use and meaning align with the specific situational needs from the outset. The study begins by examining the key features of social interactions that characterise relational enterprises, as identified and articulated by the author of the design process through selected theoretical approaches. Next, we analyse the communicative affordances of technology in action that are necessary to realise these social interaction features. Finally, we explore the design elements of the supporting information and communication infrastructure that the author deemed essential to enable the appropriate options for action. These elements ensure users experience the intended social usage and meaning of the technology in the context of relational enterprises. The purpose of the essay is to stimulate discussion on what we deem a most promising enterprise. TGP has been under active technical development for a number of years and, at the time of writing, is undergoing initial trials for deployment and appropriation. © 2025 Proceedings of the international conferences IADIS Information systems 2025 and e-Society 2025. All rights reserved.

关键词： Communications on Information complex Adaptive System Entrepreneurial Management & Organisation Cybernetics Relational Enterprises Socio-Cybernetics Theory

来源：评论

学校读者我要写书评

暂无评论

The Application of Blockchain Technology in the Transmission of Semiconductor Process Recipes

The Application of Blockchain Technology in the Transmission...

引用

28th international conference on Image Processing, computer Vision, and Pattern Recognition, IPCV 2024, and 23rd international conference on Information and Knowledge engineering, IKE 2024, held as part of the World Congress in computer Science, computer engineering and Applied Computing, CSCE 2024

作者： Lin, Iuon-Chang Hsu, Mao-Hsiu Wan, Hung-Kai National Chung Hsing University Taichung Taiwan Department of Electro-Optical Engineering National Formosa University Yunlin Taiwan

ISBN: (纸本)9783031859328

In contemporary society, semiconductors have become an indispensable part of daily life. From traffic lights, electric vehicles, computers, and smartphones to aerospace and military applications, most instruments requiring precise control feature semiconductors. However, the semiconductor manufacturing process is extremely complex and challenging, leading to the development of various semiconductor-related management systems, such as automated transport systems and production scheduling systems. Among these, the recipe management system, which controls production parameters, is particularly *** this backdrop, the main objective of this thesis is to address the semiconductor production process by utilizing blockchain technology to design a secure and immutable recipe transmission process. This ensures that the recipe remains consistent with the experimental results after being verified and uploaded by process engineers, thereby reducing errors due to manual modifications that could lead to production mistakes. This thesis proposes integrating a secure hashing algorithm with blockchain into the recipe management system. When recipes are uploaded, the blockchain data is simultaneously updated, and computations are performed during the download process. By comparing the current recipe with the records in the blockchain using a binary tree algorithm, a list of differing files is obtained. This allows for differential downloads, thereby reducing file transmission time and accelerating the production process. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Carrier transport

来源：评论

学校读者我要写书评

暂无评论

Shifting Gears: A Systematic Literature Review of Process Model Transitioning in Software engineering

Shifting Gears: A Systematic Literature Review of Process M...

引用

22nd international conference on Software engineering Research and Practice, SERP 2024, and 23rd international conference on e-Learning, e-Business, Enterprise Information systems, and e-Government, EEE 2024, held as part of the World Congress in computer Science, computer engineering and Applied Computing, CSCE 2024

作者： Trank, Aaron Asada, Clayton Rahim, Muhammad Abdul Basit Ur Computer Engineering and Computer Science California State University Long Beach Long BeachCA United States

ISBN: (纸本)9783031866432

Process models are essential in guiding teams through the software development process. Initial process models, such as the waterfall model, offered clear and defined stages that must be completed sequentially before the next. However, they need to be more flexible and adaptable to the needs of businesses and their consumers. Newer process models are designed with versatility in mind, reflecting the ever-changing requirements of the software development industry to improve product speed and quality. The transition between process models can be complex and time-consuming, requiring careful coordination and training for many teams. Despite challenges, many groups recognize the benefits of newer process models that can help them respond to changing market demands. In this research, we conducted a systematic literature review (SLR) to find the current state of the process model transition. The Key concepts, challenges, and limitations are extracted from an SLR, and an empirical study is administered at Amazon and Experian. In the SLR, several factors for software process improvement are identified and further classified into seven categories. The responses are analyzed and compared with the current research literature to determine if the research literature properly covers real-world problems and challenges. Our findings show a disconnect between the current literature and realities experienced by process model practitioners and suggest areas for further research. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Plan-Based and Agile Companies: A Comparison of Project Management Approaches

Plan-Based and Agile Companies: A Comparison of Project Ma...

引用

作者： Khomyakov, Ilya Mazzara, Manuel Mirgalimova, Ruzilya Sillitti, Alberto Innopolis University Innopolis Russia Centre for Applied Software Engineering Genova Genova Italy

ISBN: (纸本)9783031866432

Background: Agile Methods have been around for nearly 25 years, yet there is still ongoing debate about their effectiveness in improving software development. Project management remains one of the most critical aspects of Agile Methods. Objective: This paper examines how Agile companies implement project management compared to those using plan-based approaches extending the works performed in 2005 and 2016–2019 by some of the authors. Methodology: The research problem is defined using the Goal Question Metric approach. A questionnaire was developed and administered to senior staff members of 152 companies over five years (2018–2023). Results: The results of the research highlight that even if some important differences exist, all the companies approach project management in similar ways: many approaches that are considered Agile are used in Plan-Based companies as well. Comparison with previous studies: There is a stronger alignment in the usage of the approaches making the two groups nearly indistinguishable. Moreover, compared to the study of the 2005, Agile is now mainstream and widely adopted and understood in many application domains. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

Cultural Influences on the Requirements engineering Process: Lessons Learned from Practice 23

Cultural Influences on the Requirements Engineering Process:...

引用

23rd international conference on engineering of complex computer systems (iceccs)

作者： Alsanoosy, Tawfeeq Spichkova, Maria Harland, James RMIT Univ Sch Sci Melbourne Vic Australia

ISBN: (纸本)9781538693414

The Requirements engineering (RE) process is crucial for identifying users' requirements and the success of the software development process. As RE is a socio-technical activity in nature, an individuals' culture might influence its activities deeply. The aim of this study is to observe and evaluate the influence of culture on the RE process. In total, we conducted 16 interviews with requirements engineer practitioners in Saudi Arabia and Australia. We found that both cultures have an impact on the RE process. This paper describes the lessons learned from practice on how to improve RE practices, taking into account cultural aspects.

关键词： Requirement engineering Software Development Process Culture Cultural Aspects

来源：评论

学校读者我要写书评

暂无评论

SMI: Stack Management Interface 23

SMI: Stack Management Interface

引用

23rd international conference on engineering of complex computer systems (iceccs)

作者： Spichkova, Maria Bartlett, Jesse Howard, Ryan Seddon, Adrian Zhao, Xing Jiang, Yuanqing RMIT Univ Melbourne Vic Australia

ISBN: (纸本)9781538693414

Many businesses prefer to run their web application in a cloud, as this provides an access to large numbers of computing and storage resources. To run a web application in a cloud, a virtual environment with the corresponding technology stack has to be created. The interfaces provided by cloud services (Amazon Web Services, Microsoft Azure, etc.) require micromanagement of all individual components. This makes the management of technology stacks an extremely time consuming and complex task, which involves a high degree of expertise. We present here SMI, a stack management interface that let you think about your cloud infrastructure as stacks of cloud technologies and enables moderately experienced users to manage the stacks as a whole.

关键词： software engineering cloud-based development stack management

来源：评论

学校读者我要写书评

暂无评论

Back Propagating B System Updates on SysML/KAOS Domain Models 23

Back Propagating <i>B System</i> Updates on SysML/KAOS Domai...

引用

23rd international conference on engineering of complex computer systems (iceccs)

作者： Tueno, Steve Frappier, Marc Laleau, Regine Mammar, Amel Univ Sherbrooke GRIL Sherbrooke PQ J1K 2R1 Canada Univ Paris Est Creteil LACL F-94010 Creteil France Telecom SudParis SAMOVAR CNRS F-91000 Evry France

ISBN: (纸本)9781538693414

Nowadays, the usefulness of the formal verification and validation of system specifications is well established, at least for critical systems. However, one of the main obstacles to their adoption lies in obtaining the formal specification of the system, and, in the case of refinement-based formal methods such as B System or Event-B, in obtaining the most abstract specification that heads the development of the system. The SysML/KAOS requirements engineering method is proposed to overcome this difficulty. It includes a goal modeling language to model requirements from stakeholders needs. Translation rules from a goal model to a B System specification have already been defined. They allow to obtain a skeleton of the system specification. To complete it, a language has been defined to express the domain model associated to the goal model. Its translation gives the structural part of the B System specification. However, it very often appears that new elements must be added in the B System specification obtained from SysML/KAOS models, discovered for instance when specifying the body of events and/or by using formal validation and/or verification tools. We have therefore defined a set of rules allowing the back propagation, within domain models, of every newly added element. This paper describes these rules and how they are specified in Event-B. Their consistency is proved using the Rodin tool. We show that they are structure preserving: two related elements within the B System specification remain related within the domain model. This is done by proving various isomorphisms between the B System specification and the domain models.

关键词： Requirements engineering Domain Modeling SysML/KAOS Event-B B System

来源：评论

学校读者我要写书评

暂无评论

Controllability, observ ability and robustness improvement of heat exchanger networks 23

Controllability, observ ability and robustness improvement o...

引用

23rd international Congress of Chemical and Process engineering, CHISA 2018 and 21st conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction, PRES 2018

作者： Leiiold, D. Vathy-Fogarassy, A. Abonyi, Wj. Department of Computer Science Systems Technology Al University of Pannonia Egyetem Sir. 10 VeszprcmH-8200 Hungary MTA-PE Lendulet Complex Systems Monitoring Research Group University of Pannonia Egyetem Str. 10. POB. 158 VcszprcmH-8200 Hungary Department of Process Engineering University of Pannonia Egyetem Str. 10.. POB. 158 VcszpremH-8200 Hungary

来源：评论

学校读者我要写书评

暂无评论

P-graph and reliability function based problem representation of risk-based maintenance optimization of process systems 23

P-graph and reliability function based problem representatio...

引用

23rd international Congress of Chemical and Process engineering, CHISA 2018 and 21st conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction, PRES 2018

作者： Sule, Jz. Baumgartncr, Uj. Abonyi, Wj. Department of Computer Science and Systems Technology University of Pannonia Egyetem Str. 10 VcszpremH-8200 Hungary MTA-PE UndOkt Complex Systems Monitoring Rcscarch Group University of Pannonia Egyetem Str. 10.. POB. 158 VcszpremH-8200 Hungary Department of Process Engineering University of Pannonia Egyetem Sir. 10. POB. 158 VeszpremH-8200 Hungary

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：