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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

723 篇 会议
359 篇 期刊文献
15 册 图书

馆藏范围

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

日期分布

学科分类号

639 篇 工学
- 460 篇 计算机科学与技术...
- 385 篇 软件工程
- 122 篇 信息与通信工程
- 115 篇 控制科学与工程
- 57 篇 电气工程
- 43 篇 机械工程
- 43 篇 电子科学与技术（可...
- 38 篇 生物工程
- 29 篇 仪器科学与技术
- 27 篇 生物医学工程（可授...
- 25 篇 光学工程
- 21 篇 安全科学与工程
- 20 篇 动力工程及工程热...
- 18 篇 土木工程
- 17 篇 化学工程与技术
- 15 篇 航空宇航科学与技...
283 篇 理学
- 159 篇 数学
- 57 篇 系统科学
- 50 篇 统计学（可授理学、...
- 49 篇 物理学
- 48 篇 生物学
- 21 篇 化学
182 篇 管理学
- 114 篇 管理科学与工程(可...
- 77 篇 图书情报与档案管...
- 57 篇 工商管理
33 篇 医学
- 29 篇 临床医学
- 26 篇 基础医学(可授医学...
- 15 篇 药学(可授医学、理...
22 篇 经济学
- 22 篇 应用经济学
18 篇 教育学
- 18 篇 教育学
17 篇 法学
8 篇 农学
3 篇 艺术学
2 篇 文学
1 篇 军事学

主题

83 篇 laboratories
72 篇 computer science
64 篇 software enginee...
45 篇 application soft...
42 篇 grid computing
33 篇 software systems
33 篇 quality of servi...
32 篇 resource managem...
32 篇 computational mo...
29 篇 systems engineer...
29 篇 software quality
26 篇 costs
26 篇 distributed comp...
25 篇 cloud computing
25 篇 unified modeling...
24 篇 software testing
21 篇 computer archite...
20 篇 processor schedu...
20 篇 semantics
19 篇 data mining

机构

31 篇 beijing key labo...
28 篇 state key labora...
26 篇 grid computing a...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
20 篇 state key labora...
19 篇 college of compu...
17 篇 key laboratory o...
16 篇 software enginee...
15 篇 college of compu...
14 篇 jiangsu institut...
14 篇 zhongguancun lab...
12 篇 school of comput...
11 篇 state key labora...
11 篇 state key labora...
9 篇 cloud computing ...
9 篇 zhengzhou univer...
9 篇 decision systems...
9 篇 university of ch...

作者

47 篇 rajkumar buyya
35 篇 junping du
34 篇 yingmin jia
24 篇 fashan yu
20 篇 buyya rajkumar
18 篇 ismail leila
13 篇 m. parashar
13 篇 materwala huned
13 篇 labiche yvan
12 篇 l.c. briand
12 篇 veera boonjing
11 篇 y. labiche
10 篇 cheng betty h. c...
10 篇 p.k. mckinley
10 篇 parashar manish
10 篇 jianwei niu
9 篇 baowen xu
9 篇 sarun intakosum
9 篇 xinjun mao
9 篇 selamat ali

语言

1,055 篇 英文
28 篇 其他
12 篇 中文
2 篇 日文

检索条件"机构=Software Quality Engineering Laboratory Systems and Computer Engineering"

共 1097 条记录，以下是911-920 订阅

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

详细简洁

排序：

Lessons learned from automated analysis of industrial UML class models (an experience report) 05

引用

8th International Conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Cheng, Betty H. C. Stephenson, Ryan Berenbach, Brian Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States Siemens Corporate Research Inc.

ISBN: (纸本)3540290109

Automated analysis of object-oriented design models can provide insight into the quality of a given software design. Data obtained from automated analysis, however, is often too complex to be easily understood by a designer. This paper examines the use of an automated analysis tool on industrial software UML class models, where one set of models was created as part of the design process and the other was obtained from reverse engineering code. The analysis was performed by DesignAdvisor, a tool developed by Siemens Corporate Research, that supports metrics-based analysis and detection of design guideline violations. The paper describes the lessons learned from using the automated analysis techniques to assess the quality of these models. We also assess the impact of design pattern use in the overall quality of the models. Based on our lessons learned, identify design guidelines that would minimize the occurrence of these errors. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer aided design

来源：评论

学校读者我要写书评

暂无评论

An integration of Global and Enterprise Grid computing: Gridbus Broker and Xgrid perspective

引用

4th International Conference on Grid and Cooperative Computing - GCC 2005

作者： De Assunção, Marcos Dias Nadiminti, Krishna Venugopal, Srikumar Ma, Tianchi Buyya, Rajkumar Grid Computing and Distributed Systems Laboratory Australia Department of Computer Science and Software Engineering University of Melbourne Parkville Campus Melbourne Vic. 3010 Australia

ISBN: (纸本)3540305106

In this work, we present two perspectives of Grid computing by using two different Grid middleware as examples: an Enterprise Grid using Xgrid and a Global Grid with Gridbus. We also present the integration of Enterprise and Global Grids by proposing the integration of Gridbus Broker with diverse enterprise Grid middleware including Xgrid, PBS, Condor and SGE. The sample performance results demonstrate the usefulness of this integration effort. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Instrumenting contracts with aspect-oriented programming to increase observability and support debugging

Instrumenting contracts with aspect-oriented programming to ...

引用

21st IEEE International Conference on software Maintenance, ICSM 2005

作者： Briand, Lionel C. Dzidek, W.J. Labiche, Yvan Software Quality Engineering Laboratory Systems and Computer Eng. Dept. Carleton University Ottawa Ont. K1S 5B6 Canada Simula Research Laboratory Martin Linges v 17 Fornebu 1325 Lysaker Norway

ISBN: (纸本)0769523684

In this paper we report on how Aspect-Oriented Programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java, The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov Substitution Principle. © 2005 IEEE.

关键词： computer software maintenance

来源：评论

学校读者我要写书评

暂无评论

Approximate information retrieval for heterogeneity ontologies

Approximate information retrieval for heterogeneity ontologi...

引用

2005 International Conference on Cyberworlds, CW 2005

作者： Kang, Dazhou Xu, Baowen Lu, Jianjiang Li, Keyue Chu, William C. Chen, Hanwu Department of Computer Science and Engineering Southeast University Nanjing 210096 China Jiangsu Institute of Software Quality Nanjing 210096 China State Key Laboratory of Software Wuhan University Wuhan 430072 China PLA University of Science and Technology Nanjing 210007 China Department of Computer Science and Information Engineering TungHai University Taiwan Taiwan Department of Computer Science and Engineering Southeast University 210096 Nanjing China

ISBN: (纸本)0769523781

Ontology-based information retrieval is precise and effective but suffers from the problem of ontology heterogeneity. This paper focuses on the approximate information retrieval approach to solve the heterogeneity problem of both common ontologies as well as fuzzy ontologies on the semantic web. Approximate information retrieval needs to find approximations of concepts. However, current methods cannot find the best approximations of concepts for common ontologies, and there is still no published work for fuzzy ontologies. This paper firstly proposes a method of approximate information retrieval between common ontologies. It defines multielement least upper bounds and multielement greatest lower bounds, and then simplifies the multielement bounds to remove redundancy. It provides effective algorithms to find the simplified multielement bounds, and get the best approximations of concepts from the bounds. Then for the fuzzy ontologies, the paper defines cut concepts to transform fuzzy concepts into common concepts, and then applies the proposed method for approximate information retrieval between fuzzy ontologies. The improved algorithms for fuzzy ontologies are given to make the method more feasible and effective. © 2005 IEEE.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Cost-based scheduling of scientific workflow applications on utility grids

Cost-based scheduling of scientific workflow applications on...

引用

1st International Conference on e-Science and Grid Computing, e-Science 2005

作者： Yu, Jia Buyya, Rajkumar Tham, Chen Khong Grid Computing and Distributed Systems Laboratory Dept. of Computer Science and Software Engineering University of Melbourne Vic. 3010 Australia Dept. of Electrical and Computer Engineering National University of Singapore 10 Kent Ridge Crescent Singapore 119260 Singapore

ISBN: (纸本)0780394631

over the last few years, Grid technologies have progressed towards a service-oriented paradigm that enables a new way of service provisioning based on utility computing models. Users consume these services based on their QoS (quality of Service) requirements. In such "pay-per-use" Grids, workflow execution cost must be considered during scheduling based on users' QoS constraints. In this paper, we propose a cost-based workflow scheduling algorithm that minimizes execution cost while meeting the deadline for delivering results. It can also adapt to the delays of service executions by rescheduling unexecuted tasks. We also attempt to optimally solve the task scheduling problem in branches with several sequential tasks by modeling the branch as a Markov Decision Process and using the value iteration method. © 2005 IEEE.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Logic-based inference detection in querying XML document

Logic-based inference detection in querying XML document

引用

2005 International Conference on Information and Knowledge engineering, IKE'05

作者： Baowen, Xu Jixiang, Jiang Jianjiang, Lu Peng, Wang Dazhou, Kang Department of Computer Science and Engineering Southeast University Nanjing 210096 China Jiangsu Institute of Software Quality Nanjing 210096 China State Key Laboratory of Software Wuhan University Wuhan 430072 China PLA University of Science and Technology Nanjing 210007 China

ISBN: (纸本)9781932415810

The widely use of extensible Markup Language (XML) raises the importance of security and access control for XML documents. Besides access control for XML document on node-level, it is also important to control users for accessing association between the nodes. Inference detection plays a central role in associationlevel access control. In this paper we propose a logicbased approach for inference detection in querying XML document. At first, Basic information is obtained from user query logs and "information-trees" are used to represent all the information a user gets. Then Logic-based method is used to find overlapping parts between "information-trees". Finally, inference detection is achieved by merging the "information-trees". This approach can be used to detect much common inference channels, and can serve as a basic model for future extension.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Research on the analysis and measurement for testing results of web applications

Research on the analysis and measurement for testing results...

引用

2005 International Conference on Cyberworlds, CW 2005

作者： Xu, Lei Xu, Baowen He, Yanxiang Chen, Hanwu Zhu, Qiaoming Department of Computer Science and Engineering Southeast University Nanjing 210096 China Jiangsu Institute of Software Quality Nanjing 210096 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China School of Computers National University of Defense Technology Changsha 410073 China School of Computer Science and Technology Soochow University Soochow 215006 China

ISBN: (纸本)0769523781

Reasonable analysis and corrective measurement for the testing results of Web applications can effectively judge the effect and efficiency of the testing. Therefore, based on the previous work, we propose a new method for testing results analysis and comparison, which uses the semantic label and XML description technique to realize the information separation between data and display in the Web pages, so as to directly compare the testing results and the expected results. Furthermore, combined with the realities, we determine the metric indexes of Web application testing, so as to provide the criterions and guidelines for the evaluations of the Web applications and their testing processes. And we introduce the feedback control mechanism into the development and evolvement of Web applications, so as to further improve the system quality. © 2005 IEEE.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

Instrumenting contracts with aspect-oriented programming to increase observability and support debugging

Instrumenting contracts with aspect-oriented programming to ...

引用

International Conference on software Maintenance (ICSM)

作者： L.C. Briand W.J. Dzidek Y. Labiche Simula Research Laboratory Lysaker Norway Software Quality Engineering Laboratory Systems and Computer Eng. Department Carleton University Ottawa ONT Canada

In this paper we report on how aspect-oriented programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java. The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov substitution principle.

关键词： Instruments Contracts Observability Debugging Java Laboratories software quality systems engineering and theory Automatic programming Law

来源：评论

学校读者我要写书评

暂无评论

Tracing distributed systems executions using AspectJ

Tracing distributed systems executions using AspectJ

引用

International Conference on software Maintenance (ICSM)

作者： L.C. Briand Y. Labiche J. Leduc Software Quality Engineering Laboratory Systems and Computer Engineering Department Carleton University Ottawa ONT Canada Siemens Corporate Research Inc. Princeton NJ USA

This article addresses the generation of traces to monitor the execution of distributed Java systems, and investigates the use of aspect-oriented programming (AOP) as the instrumentation strategy to get the necessary information at runtime. The overall objective is to gather enough information to help people understand program executions by abstracting out design details related to thread and distributed communications, for instance under the form of UML sequence diagrams. We show how AspectJ, the main Java implementation of AOP, can be used to solve such issues, assuming RMI is the distribution middleware and thread communications employ specific data structures. The most important aspects are discussed and experiments on a case study are reported.

关键词： Instruments Object oriented modeling Unified modeling language Reverse engineering Yarn systems engineering and theory Java Runtime Information retrieval software quality

来源：评论

学校读者我要写书评

暂无评论

Comet: a scalable coordination space for decentralized distributed environments

Comet: a scalable coordination space for decentralized distr...

引用

International Workshop on Hot Topics in Peer-to-Peer systems

作者： Zhen Li M. Parashar Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University NJ USA

The scale, heterogeneity, and dynamism of emerging distributed and decentralized environments make coordination a significant and challenging problem. In this paper we present Comet, a scalable peer-to-peer content-based coordination space. Comet provides a global virtual shared-space that can be associatively accessed by all peer nodes in the system, and access is independent of the physical location of the tuples or identifiers of the host. Dynamically constructed, transient coordination spaces are also supported to enable context locality to be explicitly exploited for improving system performance. The design, implementation, and experimental evaluation of Comet using the PlanetLab platform are presented.

关键词： Peer to peer computing Distributed computing Context software systems System performance Disaster management Runtime Management information systems Grid computing Pervasive computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共110页 << < 88 89 90 91 92 93 94 95 96 97 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：