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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,806 篇 会议
357 册 图书
77 篇 期刊文献
1 篇 学位论文

馆藏范围

5,237 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,591 篇 工学
- 3,089 篇 计算机科学与技术...
- 2,587 篇 软件工程
- 585 篇 信息与通信工程
- 435 篇 控制科学与工程
- 341 篇 电气工程
- 229 篇 机械工程
- 198 篇 电子科学与技术（可...
- 194 篇 生物工程
- 142 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 106 篇 建筑学
- 99 篇 动力工程及工程热...
- 94 篇 土木工程
- 83 篇 交通运输工程
- 82 篇 材料科学与工程（可...
- 81 篇 仪器科学与技术
993 篇 理学
- 559 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 171 篇 物理学
- 153 篇 统计学（可授理学、...
- 76 篇 化学
803 篇 管理学
- 568 篇 管理科学与工程(可...
- 303 篇 工商管理
- 291 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
131 篇 教育学
- 128 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
225 篇 software
177 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
131 篇 computer communi...
113 篇 computer science
111 篇 software enginee...
111 篇 computer softwar...
108 篇 hardware
105 篇 real-time system...
95 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
60 篇 software testing
60 篇 logics and meani...

机构

21 篇 college of compu...
11 篇 school of softwa...
8 篇 department of co...
8 篇 state key labora...
8 篇 univ york dept c...
8 篇 dublin city univ...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...
5 篇 school of inform...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 xin xia
6 篇 katz guy
6 篇 maoz shahar
6 篇 exman iaakov
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

4,855 篇 英文
358 篇 其他
56 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5241 条记录，以下是3841-3850 订阅

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

详细简洁

排序：

computer aided process planning, strategy, and models in the aircraft industry

Computer aided process planning, strategy, and models in the...

引用

5th International conference on Integrated Design and Manufacturing in Mechanical engineering

作者： Capponi, V. Zirmi, O. Brissaud, D. Villeneuve, F. Lab Soils Solides Struct Grenoble France

Unlike computer aided design (CAD) and computer aided manufacturing (CAM) systems which have been used in industry for a long time, computer aided process planning (CAPP) systems are yet to be transferred from research laboratories to industry. Aircraft industries are trying to improve their performance by developing CAPP software, and the present study contributes to this effort. Aircraft parts are specific mainly because of their complex geometry, which generates many accessibility problems, and their thin shells, which generate machining deformation and vibration problems. New CAPP approaches have been specified and developed for aircraft structural parts. Machining features are defined as machining faces. the part is split up into a set of machining faces with accessibility, adjacency, and rigidity properties. New set-up strategies are defined. these highlight three particular features in the machining of such parts: the categorization, which is a strict guide as to how the part should be machined;the best-fit blank orientation relative to the part;and the potential machining directions of the part which are the main elements for decision making.

关键词： computer aided process planning machining feature set-up planning aeronautic/aircraft

来源：评论

学校读者我要写书评

暂无评论

Requirements elicitation through model-driven evaluation of software components

Requirements elicitation through model-driven evaluation of ...

引用

5th International conference on Commercial-off-the-Shelf-Based software systems

作者： Chung, L Ma, WM Cooper, K Univ Texas Dallas Dept Comp Sci Richardson TX 75080 USA

ISBN: (纸本)0769525156

the use of software components is perceived to significantly shorten. development time and cost, while improving quality, in developing a large, complex software system. A key premise to this perception seems to be the ability to effectively search, match, rank and select software components, during the requirements engineering process. In this paper we present a technique for eliciting requirements by using model-driven evaluation of software components, where the evaluation revolves around "models" of software components and "models" of the component-based application (CBA). As part of our ongoing project, component-aware requirements engineering (CARE), this model-driven. evaluation technique is intended to match the models of the stakeholders' needs for the component-based application against the models of the capabilities of the set of components that are currently available. More specifically, this technique allows for an integrated use of several searching/matching techniques, such as keyword-based search, case-based reasoning (CBR) and analytic hierarchy process (AHP), in evaluating models of components' requirements against models of the requirements of the stakeholders of the CBA being elicited incrementally. the model-driven evaluation technique is illustrated using a home appliance control system (HACS) example.

关键词： computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

A multidimensional weighted-attributes framework (MWAF) for evaluating agent-oriented software engineering methodologies

A multidimensional weighted-attributes framework (MWAF) for ...

引用

19th IEEE Canadian conference on Electrical and computer engineering

作者： Elamy, Abdel-Halim Far, Behrouz Univ Alberta Dept Comp Sci Edmonton AB T6G 2E1 Canada Univ Calgary Dept Elect & Comp Engn Calgary AB T2N 1N4 Canada

ISBN: (纸本)9781424400379

Agent-Oriented software engineering (AOSE) is concerned with the use of agents in the development of distributed systems, especially in open and dynamic environments that require autonomous processes with communicative and cooperative features. In order to support this perspective, we therefore require special procedures and techniques to support the development process. In this context, AOSE came to the forefront as a new discipline to assist the engineering of complex software systems based on the multi-agent systems paradigm. As a result, a large number of AOSE methodologies and modeling techniques evolved to support the development of agent-based applications in all of their life cycle phases. Deciding what Agent-Oriented software engineering (AOSE) methodology is the best to adopt for developing a potential multi-agent system depends on which aspects are considered more important for the prospective application. However, up till now, there is no industry-wide agreement on the kinds of concepts a methodology should support. this lack of standardization makes the research in this area an open issue with accompanying challenges. Evaluation is a crucial and critical task here to identify the differences between several AOSE methodologies. In this paper, we propose the Multidimensional Weighted-Attributes Framework (MWAF), a new framework that provides a reliable solution with accurate results based on applying state-of-the-art statistical procedures to evaluate AOSE methodologies and come up with a set of measures that help in selecting the most appropriate methodology for developing prospective agent-based applications.

关键词： multiagent systems software evaluation agent-oriented software engineering (AOSE) methodologies

来源：评论

学校读者我要写书评

暂无评论

Model the MPI performance for non-contiguous data

Model the MPI performance for non-contiguous data

引用

5th IEEE/ACIS International conference on computer and Information Science, ICIS 2006. In conjunction with 1st IEEE/ACIS International Workshop on Component-Based software engineering, software Architecture and Reuse, COMSAR 2006

作者： Le, thuy T. Department of Electrical Engineering San Jose State University One Washington Square San Jose CA 95192-0084 United States

ISBN: (纸本)0769526136

MPI (Message Passing Interface) is the inter-node communication interface used in today PC clusters and other cluster-type parallel/distributed systems. Up-to-date the most popular analytical MPI performance model for parallel/distributed machines is the LogGP model, which is based on system hardware parameters. Recently, the improvements in connection network and communication protocols have lead to the dramatically changes in the contributions of hardware parameters to the model communication time. So LogGP model needs to be reevaluated for its format and hardware parameters, to include the effect of message structures, which is in form of communication middleware overheads. In this paper, we use our experiment results to show that the current LogGP communication model is too limited for today parallel/distributed systems. We propose a modification by including into the model additional system parameters to represent middleware costs on non-contiguous data. We show in this paper our theoretical and experimental results for point-to-point communication, and explain how performance models for other communication patterns can be similarly created. © 2006 IEEE.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Automatic testing of SCR specifications

Automatic testing of SCR specifications

引用

19th IEEE Canadian conference on Electrical and computer engineering

作者： Iglewski, Michal Département d'Informatique et d'Ingénierie Université du Québec en Outaouais

ISBN: (纸本)9781424400379

the SCR (software Cost Reduction) requirements method has been used in industrial environments to specify the requirements of many practical systems. To evaluate the correctness of a software implementation, one can apply black-box testing to determine whether the implementation satisfies a system requirements specification, i.e., given a sequence of system inputs, it produces the correct system outputs. A static approach consists in selecting feasible paths through the use of static analysis techniques. Use of paths with lower numbers of traversed predicates ease the feasibility analysis. Our primary goal is to test whether the relation REQ is satisfied by a corresponding system, and in particular, whether critical properties defined by the specification assertions are conserved. Our second goal is to keep the cost of the testing process relatively low.

关键词： testing software requirements SCR branch coverage formal specification testing scenarios

来源：评论

学校读者我要写书评

暂无评论

Applying the MVC design pattern to multi-agent systems

Applying the MVC design pattern to multi-agent systems

引用

19th IEEE Canadian conference on Electrical and computer engineering

作者： Mahmoud, Qusay H. Maamar, Zakaria Univ Guelph Dept Comp & Informat Sci Guelph ON N1G 2W1 Canada Zayed Univ Coll Informat Sci Dubai U Arab Emirates

ISBN: (纸本)9781424400379

As agent technology becomes more wide-spread, the need for agent-based analysis and design methods and tools will keep growing. An agent, which is an autonomous entity that acts on behalf of the user, has different properties than objects. For example, objects are passive entities that react to external stimuli, but do not exhibit goal directed behavior. On the other hand, agents are active entities that may learn about their environment and react to changes. Because of such crucial differences between objects and agents, object-oriented analysis and design methods cannot accommodate the requirements of engineering agent-based systems. Agents, however, can learn a few things from object-oriented analysis and design. In this paper, we present the AgentViews approach for applying the Model View Controller (MVC) design pattern in designing agent-based systems. this approach will help software developers use a familiar design pattern to determine the types of agents needed to build successful agent-based systems.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Session Initiation Protocol (SIP) based event notification system architecture for telemedicine applications

Session Initiation Protocol (SIP) based event notification s...

引用

作者： Sadat, A. Sorwar, G. Chowdhury, M.U. School of Science and Technology Bangladesh Open University Bangladesh School of Commerce and Management Southern Cross University Coffs Harbour Australia Scholl of Engineering and Information Technology Deakin University Melbourne Australia

ISBN: (纸本)0769526136

Mobility service for hospital technicians involved in telemedicine applications is one of the key issues in providing more flexible and efficient in-house or remote health care services. Today, the Internet based communication has widened the opportunity of event monitoring systems in the medical field. the Session Initiation Protocol (SIP) can work on a variety of devices and can be used to create a medical event notification system. Its adoption as the protocol of choice for third generation wireless networks allows for a robust and scalable environment. One of the advantages of SIP is that it supports personal mobility through the separation of user addressing and device addressing. In this paper, the authors propose a possible solution framework for telemedicine alert notification system based SIP-Specific Event Notification. © 2006 IEEE.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Web-based system for electronic navigational charts using GML and SVG

Web-based system for electronic navigational charts using GM...

引用

作者： Kam, Seung Chul Lee, Seong Dae Park, Hyu Chan Zhou, Xiaofang Ohsung Co. Ltd. Korea Republic of Deptartment of Computer Engineering Korea Maritime University Korea Republic of School of Information Technology and Electrical Engineering Univ. of Queensland Australia

ISBN: (纸本)0769526136

Electronic Navigational Charts (ENCs) are official nautical charts which are equivalent to paper charts with supplementary information. Although their main purpose is to be used for the safe navigation of ships, they also contain much information on coasts and seas which may be interesting to ordinary people. However, there is no easy way to access them because of their specialized data format, access method and visualization. this paper proposes a Web-based system for the access and services of ENCs, which makes use of the Geography Markup Language (GML) and the Scalable Vector Graphics (SVG). It accepts ENCs coded in the S-57 format as the source of coast and sea information, and then adopts GML as a coding and data transporting mechanism, database as a storage and query system, and SVG as a visualization means on the Web. By using the system, ordinary people can easily access coast and sea information contained in the ENCs. To validate the feasibility of proposed system, we implement a prototype system, and then conduct several test runs. © 2006 IEEE.

关键词： Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

engineering self-protection for autonomous systems

引用

9th International conference on Fundamental Approaches to software engineering

作者： Koch, M Pauls, K Free Univ Berlin Inst Informat D-14195 Berlin Germany

ISBN: (纸本)3540330933

Security violations occur in systems even if security design is carried out or security tools are deployed. Social engineering attacks, vulnerabilities that can not be captured in the relatively abstract design model (as buffer-overflows), or unclear security requirements are only some examples of such unpredictable or unexpected vulnerabilities. One of the aims of autonomous systems is to react to these unexpected events through the system itself. Subsequently, this goal demands further research about how such behavior can be designed and sufficiently supported throughout the software development process. We present an approach to engineer self-protection rules for autonomous systems that is integrated into a model-driven software engineering process and provides concepts to formally verify that a given intrusion response model satisfies certain security requirements.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

Roadmap for enhanced languages and methods to aid verification 06

Roadmap for enhanced languages and methods to aid verificati...

引用

5th International conference on Generative Programming and Component engineering, GPCE'06. Co-located with the 21st International conference on Object-Oriented Programming, systems, Languages, and Applications, OOPSLA 2006

作者： Leavens, Gary T. Abrial, Jean-Raymond Batory, Don Butler, Michael Coglio, Alessandro Fisler, Kathi Hehner, Eric Jones, Cliff Miller, Dale Peyton-Jones, Simon Sitaraman, Murali Smith, Douglas R. Stump, Aaron Iowa State University Ames IA United States ETH Zürich Switzerland University of Texas Austin TX United States University of Southampton United Kingdom Kestrel Institute CA United States Worcester Polytechnic Institute MA United States University of Toronto Canada INRIA-Futurs Polytechnique France Microsoft Research Cambridge United Kingdom Clemson University SC United States Washington University of St. Louis MO United States

ISBN: (纸本)1595932372

this roadmap describes ways that researchers in four areas - -specification languages, program generation, correctness by construction, and programming languages - -might help further the goal of verified software. It also describes what advances the "verified software" grand challenge might anticipate or demand from work in these areas. that is, the roadmap is intended to help foster collaboration between the grand challenge and these research areas.A common goal for research in these areas is to establish language designs and tool architectures that would allow multiple annotations and tools to be used on a single program. In the long term, researchers could try to unify these annotations and integrate such tools. Copyright © 2006 ACM.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 381 382 383 384 385 386 387 388 389 390 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：