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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 软件工程
- 268 篇 信息与通信工程
- 206 篇 控制科学与工程
- 170 篇 生物工程
- 150 篇 电气工程
- 91 篇 电子科学与技术（可...
- 84 篇 动力工程及工程热...
- 81 篇 生物医学工程（可授...
- 75 篇 机械工程
- 66 篇 光学工程
- 64 篇 安全科学与工程
- 54 篇 交通运输工程
- 38 篇 化学工程与技术
- 34 篇 环境科学与工程（可...
- 29 篇 仪器科学与技术
537 篇 理学
- 258 篇 数学
- 180 篇 生物学
- 120 篇 物理学
- 77 篇 统计学（可授理学、...
- 69 篇 系统科学
- 41 篇 化学
316 篇 管理学
- 208 篇 管理科学与工程(可...
- 137 篇 图书情报与档案管...
- 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,499 篇 英文
28 篇 其他
22 篇 中文
3 篇 土耳其文
1 篇 德文

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

共 1532 条记录，以下是1411-1420 订阅

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

详细简洁

排序：

Modeling crosscutting servies with UML sequence diagrams

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Deubler, Martin Meisinger, Michael Rittmann, Sabine Krüger, Ingolf Technische Universität München Boltzmannstr. 3 85748 Garching Germany Department of Computer Science University of California San Diego San Diego CA 92093-0404 United States

ISBN: (纸本)3540290109

Current software systems increasingly consist of distributed interacting components. the use of web services and similar middleware technologies strongly fosters such architectures. the complexity resulting from a high degree of interaction between distributed components - that we face with web service orchestration for example - poses severe problems. A promising approach to handle this intricacy is service-oriented development;in particular with a domain-unspecific service notion based on interaction patterns. Here, a service is defined by the interplay of distributed system entities, which can be modeled using UML Sequence Diagrams. However, we often face functionality that affects or is spanned across the behavior of other services;a similar concept to aspects in Aspect-Oriented Programming. In the service-oriented world, such aspects form crosscutting services. In this paper we show how to model those;we introduce aspect-oriented modeling techniques for UML Sequence Diagrams and show their usefulness by means of a running example. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Model typing for improving reuse in model-driven engineering 05

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Steel, Jim Jézéquel, Jean-Marc Campus Universitaire de Beaulieu 35042 Rennes Cedex France

ISBN: (纸本)3540290109

Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this model-based paradigm, both for model transformation and for general programming using models. Many of these use single-object approaches to typing, derived from solutions found in object-oriented systems, while others use metamodels as model types, but without a clear notion of polymorphism. Both of these approaches lead to brittle and overly restrictive reuse characteristics. In this paper we propose a simple extension to object-oriented typing to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects. Using a simple example we show how this extended approach permits more flexible reuse, while preserving type safety. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Resonance effects in the electromechanical system of a tissue paper machine

Resonance effects in the electromechanical system of a tissu...

引用

ICEMS 2005: 8th international conference on Electrical Machines nd systems

作者： Michael, C. Safacas, A. University of Patras Department of Electrical and Computer Engineering Laboratory of Electromechanical Energy Conversion 26500 Rion-Patras Greece

ISBN: (纸本)7506274078

In the present work, the resonance effects in the electromechanical drive system of a tissue paper machine are investigated. the drive consists of six D.C. motors. the inertia of the motors and the driven machines in conjunction with the shafts stiffness form mechanical resonators. Because of the harmonic content of the driving torque, resonance phenomena may be triggered which may lead to undesirable results. In this paper the investigation is focused on the Yankee and presses drive, where two three-mass and one five-mass-system result. the use of elastic shafts with different stiffness (and damping) in the transmission system is studied. For the investigation of the resonance effects, a mathematical model algorithm was developed to be used for computer simulation via MATLAB / SIMULINK software, considering the inertia of the motors and driven machines, and the basic mechanical characteristics of the transmission shafts, i.e. the diameter, length, thickness, stiffness and damping,. Characteristic simulation results are presented. Considering the resonance effects analysis and simulation results, mechanical design guidelines can be given for the most significant drive components in order to avoid torsional oscillations resonance phenomena and minimize torsional oscillations in the drive system.

关键词： Papermaking machinery

来源：评论

学校读者我要写书评

暂无评论

Distributed large-scale network modeling with paramics implementation

Distributed large-scale network modeling with paramics imple...

引用

8th international ieee conference on Intelligent Transportation systems

作者： Liu, Henry X. Ma, Wenteng Jayakrishnan, R. Recker, Will Department of Civil and Environment Engineering Utah State University Logan UT 84322 United States Institute of Transportation Studies University of California Irvine United States

ISBN: (纸本)0780392159

Distributed simulation modeling is in urgent need for two reasons: one is that the computational power demanded by the large-scale microscopic traffic simulation keeps increasing;the other is that independently and incrementally developed sub-networks of a large region need to be modeled simultaneously due to their interactions. In this paper, we propose a distributed modeling framework which including two categories of modeling strategies, namely, light global control / independent subnets vs. heavy global control / coordinated subnets. We have implemented the distributed scheme of light global control / independent subnets and the implemented details, such as communication techniques and vehicle transferring across the boundary of two subnets are discussed. Unlike the previous studies using the dedicated high performance machines, our efforts are to utilize the low-cost networked PCs that are commonly available. By using the Application Programming Interface (API) functions supported by off-the-shelf Paramics software, we are able to distribute the computational load of microscopic simulation to multiple single-processor PCs without access the proprietary source codes of the simulation program. Performance testing and analysis of the implemented prototype demonstrate that the proposed framework is very promising. © 2005 ieee.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

An ontology-based approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages 05

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Guizzardi, Giancarlo Pires, Luís Ferreira Van Sinderen, Marten Centre for Telematics and Information Technology University of Twente Enschede Netherlands

ISBN: (纸本)3540290109

In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set of real-world phenomena in a given domain. In our approach, this property can be systematically evaluated by comparing the level of homomorphism between a concrete representation of the worldview underlying the language (captured in a metamodel of the language), with an explicit and formal representation of a conceptualization of that domain (a reference ontology). the framework proposed comprises a number of properties that must be reinforced for an isomorphism to take place between these two entities. In order to illustrate the approach proposed, we evaluate and extend a fragment of the UML static metamodel for the purpose of conceptual modeling, by comparing it with an excerpt of a philosophically and cognitive well-founded reference ontology. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Simplifying autonomic enterprise java bean applications via model-driven development: A case study 05

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： White, Jules Schmidt, Douglas C. Gokhale, Aniruddha Department of Electrical Engineering and Computer Science Vanderbilt University Station B Nashville TN 37235 United States

ISBN: (纸本)3540290109

Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimize, self-configure, and self-protect. this paper provides two contributions to the model-driven development (MDD) of autonomic computing systems using Enterprise Java Beans (EJBs). First, we describe the structure and functionality of an MDD tool that formally captures the design of EJB applications, their quality of service (QoS) requirements, and the autonomic properties applied to the EJBs to support the rapid development of autonomic EJB applications via code generation, automatic checking of model correctness, and visualization of complex QoS and autonomic properties. Second, the paper describes how MDD tools can generate code to plug EJBs into a Java component framework that provides an autonomic structure to monitor, configure, and execute EJBs and their adaptation strategies at runtime. We present a case study that evaluates how these tools and frameworks work to reduce the complexity of developing autonomic applications. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Reliability prediction in model-driven development 05

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Rodrigues, Genaína N. Rosenblum, David S. Uchitel, Sebastian London Software Systems Department of Computer Science University College London Gower Street London WC1E 6BT United Kingdom Department of Computing Imperial College London 180 Queen's Gate London SW7 2RH United Kingdom

ISBN: (纸本)3540290109

Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an important concern with regard to the correct delivery of software system service. Recently, the UML Profile for Modeling Quality of Service has defined a set of UML extensions to represent dependability concerns (including reliability) and other non-functional requirements in early stages of the software development lifecycle. Our research has shown that these extensions are not comprehensive enough to support reliability analysis for model-driven software engineering, because the description of reliability characteristics in this profile lacks support for certain dynamic aspects that are essential in modeling reliability. In this work, we define a profile for reliability analysis by extending the UML 2.0 specification to support reliability prediction based on scenario specifications. A UML model specified using the profile is translated to a labelled transition system (LTS), which is used for automated reliability prediction and identification of implied scenarios;the results of this analysis are then fed back to the UML model. the result is a comprehensive framework for addressing software reliability modeling, including analysis and evolution of reliability predictions. We exemplify our approach using the Boiler System used in previous work and demonstrate how reliability analysis results can be integrated into UML models. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Reliability theory

来源：评论

学校读者我要写书评

暂无评论

Keynote address 1: Model driven development for distributed real-time and embedded systems

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Schmidt, Douglas C. Vanderbilt University United States

ISBN: (纸本)3540290109

Despite advances in standards-based commercial-off-the-shelf (COTS) technologies, key challenges must be addressed before COTS software can be used to build mission-critical DRE systems effectively and productively. For example, developers of DRE systems continue to use ad hoc means to develop, configure, and deploy their applications and middleware due to the lack of formally analyzable and verifiable building block components. this talk will describe how Model Driven Development (MDD) techniques and tools can be used to specify, analyze, optimize, synthesize, validate, and deploy product-line architectures (PLAs) and standards-compliant middleware platforms that can be customized for the needs of next-generation DRE systems. MDD is an emerging paradigm that combines: - Domain-specific modeling languages (DSMLs), which provide programming notations that formalize the process of specifying application logic and quality of service (QoS)-related requirements in a PLA. - Metamodeling, which define type systems that precisely express key characteristics and constraints associated with DSMLs for PLAs in particular application domains, such as software defined radios, avionics, vehtronics, and process automation. - Model transformations and synthesis techniques that automate and ensure the consistency of software implementations with analysis information associated with functional and QoS requirements captured by models of PLA structure and behavior. this talk will compare and contrast various model-based approaches (e.g., MIC, MDD, MDA, etc) to developing PLA-based DRE systems. It will also illustrate how MDD techniques and tools have been successfully integrated with standards-based QoS-enabled component middleware to develop PLAs that significantly improve the quality and productivity associated with developing next-generation mission-critical DRE systems. Concrete examples from avionics, process control, software defined radios, and warehouse management systems will b

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Evaluating the effect of composite states on the understandability of UML statechart diagrams 05

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Cruz-Lemus, José A. Genero, Marcela Manso, M. Esperanza Piattini, Mario ALARCOS Research Group Department of Computer Science University of Castilla - La Mancha Paseo de la Universidad 4 13071 Ciudad Real Spain Department of Computer Science Campus Miguel Delibes University of Valladolid 47011 Valladolid Spain

ISBN: (纸本)3540290109

UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. they are also a significant element of OO design, especially in code generation frameworks such as Model Driven Architecture (MDA). In previous works we have defined a set of metrics for evaluating structural properties of UML statechart diagrams and have validated them as early understandability indicators, through a family of controlled experiments. those experiments have also revealed that the number of composite states had, apparently, no influence on the understandability of the diagrams. this fact seemed a bit suspicious to us and we decided to go a step further. So in this work we present a controlled experiment and a replication, focusing on the effect of composite states on the understandability of UML statechart diagrams. the results of the experiment confirm, to some extent, our intuition that the use of composite states improves the understandability of the diagrams, so long as the subjects of the experiment have had some previous experience in using them. there are educational implications here, as our results justify giving extra emphasis to the use of composite states in UML statechart diagrams in software engineering courses. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer graphics

来源：评论

学校读者我要写书评

暂无评论

UML4SPM: A UML2.0-based metamodel for software process modelling 05

引用

8th international conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Bendraou, Reda Gervais, Marie-Pierre Blanc, Xavier 8 rue du Capitaine Scott F75015 Paris University Paris X LIP6 8 rue du Capitaine Scott F75015 Paris

ISBN: (纸本)3540290109

In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][30][24]. In the field of software process modelling, the current version of the OMG SPEM standard (verl.1) has not yet reached the level required for the specification of executable models. the purpose of SPEM 1.1 was limited at providing process descriptions to be read by humans and to be supported by tools, but not to be executed. therefore, the OMG issued a new RFP in order to improve SPEM1.1 [35]. Since we intend to participate in the next major revision of SPEM, namely SPEM2.0, in this work, we: 1) compare SPEM1.1 both with primary process model elements (i.e. Activity, Product, Role,...) and with basic requirements that any Process Modelling Language should support (i.e. expressiveness, understandability, executability,...);2) identify its major limitations and advantages and 3) propose a new UML2.0-based metamodel for software process modelling named: UML4SPM. It extends a subset of UML2.0 concepts - with no impact on the standard - in order to fit software process modelling. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共154页 << < 138 139 140 141 142 143 144 145 146 147 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：