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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,526 篇 会议
4 册 图书
2 篇 期刊文献

馆藏范围

1,532 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,137 篇 工学
- 965 篇 计算机科学与技术...
- 824 篇 软件工程
- 269 篇 信息与通信工程
- 207 篇 控制科学与工程
- 170 篇 生物工程
- 150 篇 电气工程
- 91 篇 电子科学与技术（可...
- 84 篇 动力工程及工程热...
- 81 篇 生物医学工程（可授...
- 75 篇 机械工程
- 66 篇 光学工程
- 64 篇 安全科学与工程
- 54 篇 交通运输工程
- 38 篇 化学工程与技术
- 34 篇 环境科学与工程（可...
- 29 篇 仪器科学与技术
537 篇 理学
- 258 篇 数学
- 180 篇 生物学
- 120 篇 物理学
- 77 篇 统计学（可授理学、...
- 69 篇 系统科学
- 41 篇 化学
317 篇 管理学
- 208 篇 管理科学与工程(可...
- 138 篇 图书情报与档案管...
- 122 篇 工商管理
70 篇 法学
- 59 篇 社会学
59 篇 医学
- 55 篇 临床医学
- 51 篇 基础医学(可授医学...
- 34 篇 药学(可授医学、理...
52 篇 经济学
- 52 篇 应用经济学
24 篇 农学
19 篇 教育学
6 篇 文学
5 篇 军事学

主题

35 篇 software
32 篇 internet of thin...
32 篇 computer softwar...
27 篇 application soft...
26 篇 computer archite...
24 篇 software enginee...
24 篇 real-time system...
20 篇 deep learning
20 篇 cloud computing
20 篇 computer vision
19 篇 computational mo...
17 篇 costs
17 篇 convolutional ne...
16 篇 feature extracti...
16 篇 machine learning
16 篇 training
15 篇 programming
15 篇 recommender syst...
14 篇 computer science
14 篇 object detection

机构

22 篇 wuhan donghu uni...
17 篇 school of comput...
8 篇 school of cyber ...
8 篇 school of inform...
8 篇 university of ta...
8 篇 school of electr...
7 篇 school of comput...
7 篇 college of compu...
6 篇 school of electr...
6 篇 school of electr...
6 篇 school of automa...
6 篇 school of inform...
5 篇 chitkara univers...
5 篇 beijing key labo...
5 篇 beijing universi...
4 篇 college of engin...
4 篇 school of comput...
4 篇 school of big da...
4 篇 school of comput...
4 篇 beijing engineer...

作者

8 篇 lian ren-zun
7 篇 zhang bo
5 篇 wang jing
5 篇 li zixin
5 篇 li jiawen
5 篇 li jianqiang
4 篇 mirchandani sanj...
4 篇 liang meiyu
4 篇 zhang rui
4 篇 surendran r.
4 篇 chen xiangning
4 篇 li weixin
4 篇 li jian
4 篇 zhang li
4 篇 liu hai
4 篇 meiyu liang
3 篇 wang lei
3 篇 yawen li
3 篇 li yang
3 篇 dai fei

语言

1,513 篇 英文
16 篇 中文
14 篇 其他
3 篇 土耳其文
1 篇 德文

检索条件"任意字段=8th IEEE International Conference on Software Engineering and Computer Systems, ICSECS 2023"

共 1532 条记录，以下是61-70 订阅

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

详细简洁

排序：

Capturing complete and accurate requirements by refinement 8

Capturing complete and accurate requirements by refinement

引用

8th ieee international conference on engineering of Complex computer systems

作者： Liu, SY Hosei Univ Fac Comp & Informat Sci Tokyo Japan

ISBN: (纸本)0769517579

Complete and accurate functional requirements are the foundation for valid specification refinement and correctness verification of implemented software systems when they are developed with a formal method. However, capturing quality requirements is a difficult task, and there is a lack of well-defined and effective technique that solves the problem as well. In this paper we argue that the refinement technique used in conventional formal methods for transforming formal specifications into programs is actually an effective technique for capturing the functional requirements. We define the completeness of formal specifications and explain by examples how it can be achieved.

关键词： Concrete Educational technology Formal languages Formal specifications Object oriented modeling Performance analysis Power engineering and energy Programming software systems

来源：评论

学校读者我要写书评

暂无评论

Validating run-time interactions in distributed Java applications 8

Validating run-time interactions in distributed Java applica...

引用

8th ieee international conference on engineering of Complex computer systems

作者： Ghosh, S Bawa, N Goel, S Reddy, YR Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA

ISBN: (纸本)0769517579

Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techniques for visualizing interactions, specifying and verifying assertions, and checking conformance of the implementation with its design. Our work helps in making the debugging and testing activities more systematic.

关键词： assertions distributed applications interaction diagrams interceptors Java RMI software design test adequacy criteria Unified Modeling Language visualization

来源：评论

学校读者我要写书评

暂无评论

Multiple-view meta-modeling of software product lines 8

Multiple-view meta-modeling of software product lines

引用

8th ieee international conference on engineering of Complex computer systems

作者： Gomaa, H Shin, ME George Mason Univ Dept Informat & Software Engn Fairfax VA 22030 USA

ISBN: (纸本)0769517579

this paper describes a multiple-view meta-modeling approach for software product lines using the Unified Modeling Language notation (UML). A multiple-view model for a software product line is an object-oriented domain model which defines the different aspects of a software product line, namely the use case model, static model, collaboration model, statechart model, and feature model, including the commonality and variability. the meta-model depicts life cycle phases, views within each phase, and meta-classes within each view. the relationships between the different views are described Consistency checking rules are defined based on the relationships among meta-classes in the meta-model. Finally, tool support for the approach is described.

关键词： Collaboration Collaborative software computer science Design methodology Metamodeling Object oriented modeling software engineering Unified modeling language Vehicle dynamics Workstations

来源：评论

学校读者我要写书评

暂无评论

Unsupervised Anomaly Detection Based on CNN-VAE with Spectral Residual for KPIs 24

Unsupervised Anomaly Detection Based on CNN-VAE with Spectra...

引用

24th ieee international conference on High Performance Computing and Communications, 8th ieee international conference on Data Science and systems, 20th ieee international conference on Smart City and 8th ieee international conference on Dependability in Sensor, Cloud and Big Data systems and Application, HPCC/DSS/SmartCity/DependSys 2022

作者： Li, Gongliang Wen, Zepeng Xie, Xin Institute of Computer Application Technology China Academy of Engineering Physics College of Computer Science Sichuan University Mianyang China Institute of Computer Application Technology China Academy of Engineering Physics Mianyang China

ISBN: (纸本)9798350319934

Current large-scale applications, such as trading systems, blockchain, social software, etc, are increasingly adopting microservice architecture, which bring challenges to manual operation and maintenance, intrusion detection. In both operations and intrusion detection, there are a common characteristic that service metrics and network traffic are normal for most of the time, but anomaly data is more important. In this paper, we propose an unsupervised anomaly detection algorithm based on convolutional neural network with Spectral Residual, which is verified experimentally and has potential application capability with 19.2% f1-score improvement compared to the Variational AutoEncoder. © 2022 ieee.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

A New Model of software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information systems

A New Model of Software Life Cycle Processes for Consistent ...

引用

8th ieee/ACIS international conference on computer and Information Science

作者： Horie, Daisuke Kasahara, Toshio Goto, Yuichi Cheng, Jingde Saitama Univ Dept Informat & Comp Sci Saitama 3388570 Japan

ISBN: (纸本)9780769536415

this paper presents a new model of software life cycle processes for consistent design, development, management, maintenance, and abolition of secure information systems. the model clearly specifies tasks for engineering security facilities, standards underlying the tasks, and a regular sequence of the tasks. We defined the model according to ISO/IEC 12207 and other ISO standards related to security. the model can be customized as software life cycle processes for various systems with particular purposes. Users of software life cycle processes according to the model can continuously and consistently design, develop, manage, maintain, and abrogate secure information systems whose security is ensured by ISO standards.

关键词： ISO Standards

来源：评论

学校读者我要写书评

暂无评论

Composability for software components: An approach based on the whole-part theory 8

Composability for software components: An approach based on ...

引用

8th ieee international conference on engineering of Complex computer systems

作者： Barbier, F Univ Pau LIUPPA F-64013 Pau France

ISBN: (纸本)0769517579

software components differ from ordinary software parts in the sense that they own composition potentialities, commonly named composability or compositionality. the lack of influence on Component-Based software engineering (CBSE), of reputable and recognized theories, somehow precludes for having comprehensive views and contributions on what composability really is. this paper is grounded on the Whole-Part theory, broadly used in other domains as ontology, knowledge engineering, and more recently, object modeling. However, the use of this theory in CBSE remains low. We on purpose formalize a special kind of composability for components operating on the same deployment node. the foundation of our approach is encapsulation of sub-components by components, emergent and resultant properties for components with regard to their sub-components and finally, state and lifetime dependencies. We lay down a general-purpose framework for designing components that truly possess composition potentialities, based on the fact that relationships between components and sub-components are highly coercive.

关键词： Assembly Collaboration Encapsulation Knowledge engineering Ontologies Shape software design software engineering Taxonomy Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

the new metamodeling generation

The new metamodeling generation

引用

8th Annual ieee international conference and Workshop on the engineering of computer Based systems (ECBS)

作者： Sprinkle, JM Karsai, G Ledeczi, A Nordstrom, G Vanderbilt Univ Nashville TN 37240 USA

ISBN: (纸本)0769510868

Model integrated computing (MIC) is an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific software applications for computer-based systems (CBSs). On a higher level, it is possible to use MIC to develop, maintain, and evolve the meta-level tools (metamodeling environments) themselves, by modeling the metamodeling environment (meta-metamodeling). this paper documents the evolution of one metamodeling environment into another: specifically the design choices of the newer metamodeling environment with regard to the old one, and the solutions to problems that were introduced with the change.

关键词： computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Strategies for developing distributed computing solutions for industrial environments

Strategies for developing distributed computing solutions fo...

引用

8th Annual ieee international conference and Workshop on the engineering of computer Based systems (ECBS)

作者： Chisholm, A Smith, S Westmont Syst Riccarton EH14 4AP Scotland

ISBN: (纸本)0769510868

Manufacturing environments are currently largely isolated from the wider community of general purpose networking and software technologies. this paper explores strategies for developing distributed computing solutions for industrial environments. It offers a case study which introduces emerging cooperating technologies and demonstrates how they can be engineered to bridge between proprietary industrially based networks and component based software technologies such as Active X.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A Comparative Case Study on the engineering of Self-Testable Autonomic software

A Comparative Case Study on the Engineering of Self-Testable...

引用

ieee Int Conf/Workshops on engineering of Autonomic and Autonomous systems/Int Conf on the engineering of computer-Based systems/Int Conf on the engineering of Complex computer systems

作者： King, Tariq M. Allen, Andrew A. Wu, Yali Clarke, Peter J. Ramirez, Alain E. North Dakota State Univ Dept Comp Sci Fargo ND 58108 USA Florida Int Univ Sch Comp & Informat Sci Miami FL 33199 USA TracFone Wireless Inc IT Dev Miami FL 33178 USA

ISBN: (纸本)9780769543802

A survey on the landscape of self-adaptive systems identified testing and assurance as one of the most neglected areas in the engineering of autonomic software. However, since the structure and behavior of autonomic software can vary during its execution, runtime testing is critical to ensure that faults are not introduced into the system as a result of dynamic adaptation. Some researchers have developed approaches and supporting designs for integrating runtime testing into the workflow of autonomic software. In this paper, we describe a comparative case study performed on three autonomic applications that were engineered to include an implicit self-test characteristic. the findings of our study provide evidentiary insight into the benefits and software engineering challenges associated with developing these types of systems.

关键词： software testing self-testing autonomic computing adaptive systems case study

来源：评论

学校读者我要写书评

暂无评论

Reasoning about asynchronous behaviour in distributed systems 8

Reasoning about asynchronous behaviour in distributed system...

引用

8th ieee international conference on engineering of Complex computer systems

作者： Henderson, P Univ Southampton Dept Elect & Comp Sci Southampton SO17 1BJ Hants England

ISBN: (纸本)0769517579

When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn't interfere badly with the original system. Adding new components to an existing system is simplified if their communication is asynchronous. It allows for looser coupling. Unfortunately, the fact that the communication between components is asynchronous adds to the difficulty of reasoning about their behaviour. this paper gives an illustrative example of a simple distributed system with asynchronous behaviour and discusses how its behaviour can be described and reasoned about in terms of goals. this formalises what we believe to be contemporary engineering practice. Experimental support for reasoning, including animation, is particularly appropriate and practical in these circumstances, because the properties which we must reason about are emergent rather than compositional.

关键词： Animation Application software Banking Buildings Collaborative software computer architecture computer science Design engineering Internet Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共154页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：