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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是3901-3910 订阅

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

详细简洁

排序：

On History-Sensitive Models of Interactive Queues

On History-Sensitive Models of Interactive Queues

引用

International conference on computer and Information Science (ACIS)

作者： W. Dosch W. Ruanthong Institute of Software Technology University of Lübeck Lubeck Germany Department of Computer Engineering Chulalongkom University Bangkok Thailand

We characterize different implementations of interactive queues in the setting of history functions. the component's internal state is systematically introduced as an abstraction of the input history. We explore different history abstractions and describe the corresponding history-sensitive models by state transition machines with input and output. For each implementation, we discuss the possibilities of inverting the interaction history with undo commands

关键词： History State-space methods Computational modeling Interactive systems Message passing Application software Information science conferences software engineering software architecture

来源：评论

学校读者我要写书评

暂无评论

An Approach to Analyzing the Windows and Linux Security Models

An Approach to Analyzing the Windows and Linux Security Mode...

引用

International conference on computer and Information Science (ACIS)

作者： Xinyue Song M. Stinson R. Lee P. Albee Computer Science Department Central Michigan University Mount Pleasant MI USA

When assessing the potential security risks that exist in the features of different operating systems, there is not a common set of metrics. As a result, it is very difficult to objectively assess the risks associated with a specific feature in the operating system. In this paper, we propose a simple set of metrics to quantify and measure the security risks associated with a specific feature or configuration of any operating systems. We present how the risks in a specific feature in Windows can be quantified and measured with the formula and metrics we have developed in this study. Further more, it is also applicable to other operating systems such as Linux

关键词： Linux Operating systems Information security computer security computer science Prototypes Information technology Mathematical model Information science conferences

来源：评论

学校读者我要写书评

暂无评论

Evaluation of quality of e-learning environments 5

Evaluation of quality of e-learning environments

引用

5th European conference on e-Learning, ECEL 2006

作者： Lundqvist, Karsten Williams, Shirley Baker, Keith University of Reading School of Systems Engineering Reading United Kingdom

ISBN: (纸本)9781905305308

there is a perception that the quality of eLearning environments is variable;however there is little empirical evidence. there is reluctance by users to complete evaluation forms and so alternative ways of collecting user feedback need to be considered. computer users are used to "chatting" using Instant Messaging (such as provided by MSN Messenger and Jabber). So an evaluation tool based on chatting has been developed. the approach is based on a chatbot (a chatting software agent or robot). the chatbot is based on the AIML chatbot language, supplemented by a domain specific knowledge base. this instantiation of the chatbot asks the user questions related to the quality of a particular module that is offered via the Blackboard Managed Learning Environment. For example the chatbot may ask one of the users: "Would you agree that the discussion board in programming is easy to navigate?" By using natural language the user is engaged in conversation and depending on the response the chatbot will ask a follow up question. the chatbot has been trialled with a first year class and the results of the chat are compared to the results of the form-based evaluation of the module. Initial results indicate that a more detailed level of response about the quality of the environment is elicited using the chatbot;however the response rate appears to be lower.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

A metamodeling approach to pattern specification 06

引用

9th International conference on Model Driven engineering Languages and systems

作者： Elaasar, Maged Briand, Lionel C. Labiche, Yvan Carleton Univ Dept Syst & Comp Engn SQUALL Ottawa ON K1S 5B6 Canada IBM Canada Ltd Rat Software Ottawa Lab Kanata ON K2V 1C8 Canada Simula Res Lab Dept Software Engn N-1325 Lysaker Norway

ISBN: (纸本)3540457720

this paper presents the Pattern Modeling Framework (PMF), a new metamodeling approach to pattern specification for MOF-compliant modeling frameworks and languages. Patterns need to be precisely specified before a tool can manipulate them, and though several approaches to pattern specification have been proposed, they do not provide the scalability and flexibility required in practice. PMF provides a pattern specification language called Epattern, which is capable of precisely specifying patterns in MOF-compliant metamodels. the language is defined as an extension to MOF by adding semantics inspired from the UML composite structure diagram. the language also comes with a graphical notation and a recommended iterative specification process. It also contains features to manage the complexity of specifying patterns and simplify their application and detection in user models. Most importantly, the language is implemented using state-of-the-art technologies that are heavily used by major modeling tool vendors, thus facilitating its adoption.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Mapping COSA software Architecture Concepts into UML 2.0

Mapping COSA Software Architecture Concepts into UML 2.0

引用

International conference on computer and Information Science (ACIS)

作者： T. Khammaci A. Smeda M. Oussalah LINA FRE CNRS 2729 Université de Nantes Nantes France

In this article we contribute to the issue of documenting architectural description with UML. Describing the architecture of a software system using UML notations is a tricky task due to the lack of explicit support for architectural description concepts. thus, we try to define a strategy to map any ADL into UML, particularly UML 2.0. Our strategy is based on constructing a meta ADL that next can be mapped into MOF. We show how this strategy can be used by mapping COSA architectural description concepts into UML 2.0

关键词： software architecture Unified modeling language Object oriented modeling computer architecture software systems software standards software engineering software maintenance Standards development Programming

来源：评论

学校读者我要写书评

暂无评论

software engineering for Pervasive Computing: An Outlook for Educational Reform

Software Engineering for Pervasive Computing: An Outlook for...

引用

International conference on computer and Information Science (ACIS)

作者： G. Pour College of Engineering San Jose State University Foundation San Jose CA USA

Pervasive human-centric computing, the emerging next-generation computing, focuses on humans rather than machines. Pervasive computing's goal of "all the time, everywhere" access replaces today's mobile and distributed computing's goal of "anytime, anywhere" access. Pervasive computing requires cross-disciplinary collaborations among experts in fields such as intelligent systems, agent technologies, autonomic computing, security and privacy, human factors engineering and ergonomics, human factors psychology, augmented reality computing, wearable computing, wireless and mobile computing, location-and context-aware computing, sensor computing, device technology, and social sciences. thus, it is crucial to reform software engineering education in order to well prepare software engineers for the new challenges and opportunities presented by pervasive human-centric computing. this paper presents and discusses our project results and the lessons learned about the software engineering education reform

关键词： software engineering Pervasive computing Wearable computers Mobile computing Intelligent sensors Human factors Distributed computing Collaboration Intelligent systems Intelligent agent

来源：评论

学校读者我要写书评

暂无评论

Analysis and visualization of behavioral dependencies among distributed objects based on UML models 06

引用

9th International conference on Model Driven engineering Languages and systems

作者： Garousi, Vahid Briand, Lionel C. Labiche, Yvan Carleton Univ Dept Syst & Comp Engn Software Qual Engn Lab SQUALL Ottawa ON K1S 5B6 Canada Dept Softwrae Engn Simula Res Lab N-1325 Lysaker Norway

ISBN: (纸本)3540457720

the development of Behavioral Dependency Analysis (BDA) techniques and the visualization of such dependencies have been identified as a high priority in industrial Distributed Real-Time systems (DRTS). BDA determines the extent to which the functionality of one system entity (e.g., an object, a node) is dependent on other entities. Among many uses, a BDA is traditionally used to perform risk analysis and assessment, fault tolerance and redundancy provisions (e.g. multiple instances of a system entity) in DRTS. Traditionally, most BDA techniques are based on source code or execution traces of a system. However, as model driven development is gaining more popularity, there is a need for model-based BDA techniques. To address this need, we propose a set of procedures and measures for the BDA of distributed objects based on behavioral models (UML sequence diagrams). In contrast to the conventional code-based and execution-trace-based BDA techniques, this measure can be used earlier in the software development life cycle, when the UML design model of a system becomes available, to provide engineers with early insights into dependencies among entities in a DRTS (e.g., early risk identification). We also present a dependency visualization model to visualize measured dependencies. Our approach is applied to a case study to show its applicability and potential usefulness in predicting behavioral dependencies based on UML models.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Eliciting an Enhancive Maintenance Model in three Organisations in Ghana

Eliciting an Enhancive Maintenance Model in Three Organisati...

引用

International conference on computer and Information Science (ACIS)

作者： M. Kajko-Mattsson M. Bosu Department of Computer and Systems Sciences Stockholm University and Royal Institute of Technology Sweden

To continuously meet the changing needs of the customers, organisations follow their own enhancive maintenance process models. Unfortunately, these models are not easily available to the academic world. In this paper, we study enhancive maintenance in three organisations in Ghana. Our goal is to explore information about the initial phases of the enhancive maintenance process and put them into a process model. Our model makes provision for process phases, their activities, roles, and data needed for managing enhancements. Although the primary goal of this paper is to elicit an enhancive maintenance model, we do not deny that it also provides the information on the state of enhancive maintenance practice in one developing country - Ghana

关键词： Human resource management Inventory management Terminology Telecommunications Bonding Job production systems software systems Contracts Programming software maintenance

来源：评论

学校读者我要写书评

暂无评论

Representing Security Goals, Policies, and Objects

Representing Security Goals, Policies, and Objects

引用

International conference on computer and Information Science (ACIS)

作者： E.A. Oladimeji S. Supakkul L. Chung Architecture and eServices IT Verizon Communications Irvine TX USA Department of Computer Science University of Texas Dallas Richardson TX USA

As information security is increasingly becoming critical for today's computer based systems, there is increasing need for integrating security concerns into the early phases system development processes. As a result, more attention is being drawn to modeling of security goals and their refinements into implementable security policies. With the growing adoption of the UML for object oriented analysis and design, there is need to incorporate security concepts into UML models to offer an attractive approach to engineering security into the system being developed. In this paper, we present a visual approach to unifying goal oriented analysis of security objectives and their associated security policies, with UML functional models. We also show how this representation leads to the early discovery of conflicts and inconsistencies in security policies during analysis. A simplified college department information system is used to illustrate the major concepts of this approach

关键词： Information security Unified modeling language Object oriented modeling computer security Protection computer architecture computer science Design engineering systems engineering and theory Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Storytelling in interaction: Agility in practice

引用

7th International conference on Extreme Programming and Agile Processing in software engineering

作者： Hunt, Johanna Romero, Pablo Good, Judith Univ Sussex Brighton BN1 9RH E Sussex England

ISBN: (纸本)3540350942

One of the stated beliefs common to practitioners of all the agile methodologies is that "the most efficient and effective method of conveying information to and within a development team is face-to-face conversation." this view is pervasive throughout Agile systems techniques and approaches. there is starting to be some interest and in-depth investigation into the nature of programmer interaction and dialogue within the case of pair-programming [2] as well as larger scale ethnographic studies of XP practice [10]. Although interesting metaphoric features have already been found in the language of expert software developers [12] [8] [7], more detailed qualitative analysis can also be made into the nature of such communication. Narrative analysis [9] is an in-depth qualitative analysis methodology, and focuses on the ways in which people make and use stories to interpret the world. Storytelling and its role for communicating social tacit knowledge and historical and organisational identity is well recognised [4]. So far there are fairly few cases where narrative analysis has been applied to Information systems (an analysis of these are given in Wagner [11]), but it is beginning to find popularity within the information systems community as it has proved particularly useful when considering tacit knowledge transfer and related communication issues, especially during periods of organisational change [1] [5]. Narratives are considered to be social products within specific contexts, and an interpretive device through which people communicate knowledge and define their own identity. It is arguable that the most basic and prevalent form of narrative arises as the product of ordinary conversation [6]. As Gregori-Signes [3] points out "We tell stories to each other as a means of packaging experience in cognitively and effectively coherent ways, or [...] as a way to test the borderlines between the exceptional and the ordinary." Conversational stories are "negotiable and colla

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 387 388 389 390 391 392 393 394 395 396 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：