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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

362 篇 会议
178 篇 期刊文献
6 册 图书

馆藏范围

546 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

326 篇 工学
- 230 篇 计算机科学与技术...
- 196 篇 软件工程
- 66 篇 控制科学与工程
- 47 篇 信息与通信工程
- 28 篇 机械工程
- 24 篇 电气工程
- 21 篇 生物工程
- 19 篇 生物医学工程（可授...
- 15 篇 光学工程
- 15 篇 电子科学与技术（可...
- 13 篇 动力工程及工程热...
- 13 篇 安全科学与工程
- 12 篇 土木工程
- 10 篇 仪器科学与技术
- 8 篇 建筑学
157 篇 理学
- 86 篇 数学
- 42 篇 系统科学
- 29 篇 生物学
- 27 篇 物理学
- 26 篇 统计学（可授理学、...
- 9 篇 化学
89 篇 管理学
- 67 篇 管理科学与工程(可...
- 39 篇 工商管理
- 28 篇 图书情报与档案管...
23 篇 医学
- 23 篇 临床医学
- 18 篇 基础医学(可授医学...
- 10 篇 药学(可授医学、理...
12 篇 经济学
- 12 篇 应用经济学
11 篇 法学
- 8 篇 社会学
8 篇 教育学
- 8 篇 教育学
4 篇 农学
2 篇 文学

主题

53 篇 computer science
53 篇 laboratories
38 篇 software enginee...
36 篇 grid computing
27 篇 application soft...
25 篇 quality of servi...
25 篇 cloud computing
24 篇 software systems
23 篇 resource managem...
19 篇 processor schedu...
18 篇 computational mo...
17 篇 costs
16 篇 distributed comp...
14 篇 computer archite...
13 篇 systems engineer...
11 篇 data mining
11 篇 middleware
11 篇 computer network...
11 篇 training
10 篇 mathematics

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 state key labora...
17 篇 software enginee...
9 篇 cloud computing ...
8 篇 college of compu...
8 篇 school of electr...
8 篇 state key labora...
7 篇 grid computing a...
6 篇 software systems...
6 篇 intelligent dist...
6 篇 state key labora...
6 篇 national water a...
6 篇 service oriented...
5 篇 software systems...
5 篇 shanghai key lab...
5 篇 the seventh rese...

作者

46 篇 rajkumar buyya
35 篇 junping du
34 篇 yingmin jia
24 篇 fashan yu
18 篇 ismail leila
17 篇 buyya rajkumar
13 篇 materwala huned
12 篇 veera boonjing
11 篇 p.k. mckinley
10 篇 cheng betty h. c...
8 篇 sarun intakosum
8 篇 bei zeng
8 篇 zhengfeng ji
7 篇 deyuan meng
7 篇 jun zhang
6 篇 wenling li
6 篇 boonjing veera
6 篇 leila ismail
6 篇 s.m. sadjadi
5 篇 guan haibing

语言

503 篇 英文
39 篇 其他
4 篇 中文
1 篇 日文

检索条件"机构=Software Systems Engineering Laboratory.Department of Computer Science"

共 546 条记录，以下是401-410 订阅

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

详细简洁

排序：

Visualizing requirements in UML models

Visualizing requirements in UML models

引用

First International Workshop on Visualization in Requirements engineering, REV 2006, at the 14th IEEE Requirements engineering Conference, RE 2006

作者： Konrad, Sascha Goldsby, Heather Lopez, Karli Cheng, Betty H.C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)0769527116

As the Unified Modeling Language (UML) and model-driven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model realizes system requirements. Essentially, developers are required to understand the structure and behavior of UML models that they may have not created. Understanding these relationships is non-trivial, because the interactions in the model are not readily apparent. Commonly, the only means to elicit these relationships is visual inspection and guided simulation. This paper describes an alternative approach termed REVU (Requirements Visualization of UML), a process for visualizing functional requirements in terms of behavioral interactions in a UML model. We illustrate the use of this process with the visualization of scenarios for an adaptive light control system. © 2006 IEEE.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

A SLA-oriented management of containers for hosting stateful web services

A SLA-oriented management of containers for hosting stateful...

引用

3rd IEEE International Conference on e-science and Grid Computing

作者： Reich, Christoph Bubendorfer, Kris Banholzer, Matthias Buyya, Rajkumar Department of Computer Science Hochschule Furtwangen University Germany School of Mathematics Statistics and Computer Science Victoria University of Wellington New Zealand Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)9780769530642

Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are frequently used to realise such Service-Oriented Architectures. In such systems, autonomic principles of self-configuration, self-optimisation, self-healing and self-adapting are desirable to ease management and improve robustness. In this paper we focus on the extension of the self management and autonomic behaviour of a WSRF container connected by a structured P2P overlay network to monitor and rectify its QoS to satisfy its SLAs. The SLA plays an important role during two distinct phases in the life-cycle of a WSRF container Firstly during service deployment when services are assigned to containers in such a way as to minimise the threat of SLA violations, and secondly during maintenance when violations are detected and services are migrated to other containers to preserve QoS. In addition, as the architecture has been designed and built using standardised modem technologies and with high levels of transparency, conventional web services can be deployed with the addition of a SLA specification.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

A modal logic for beliefs and pro attitudes

A modal logic for beliefs and pro attitudes

引用

AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference

作者： Su, Kaile Sattar, Abdul Lin, Han Reynolds, Mark Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Department of Computer Science Sun Yat-Sen University Guangzhou China School of Computer Science and Software Engineering University of Western Australia Perth Australia

ISBN: (纸本)1577353234

Agents' pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural and satisfying formalization of these attitudes is a longstanding problem in the community of agent theory. Most of existing modal logic approaches are based on Kripke structures and have to face the so-called side-effect problem. This paper presents a new modal logic formalizing agents' pro attitudes, based on neighborhood models. There are three distinguishing features of this logic. Firstly, this logic naturally satisfies Bratman's requirements for agents' beliefs and pro attitudes, as well as some interesting properties that have not been discussed before. Secondly, we give a sound and complete axiom system for characterizing all the valid properties of beliefs and pro attitudes. We introduce for the first time the notion of linear neighborhood frame for obtaining the semantic model, and this brings a new member to the family of non-normal modal logics. Finally, we argue that the present logic satisfies an important requirement proposed from the viewpoint of computation, that is, computational grounding, which means that properties in this logic can be given an interpretation in terms of some concrete computational model. Indeed, the presented neighborhood frame can be naturally derived from probabilistic programming with utilities. Copyright © 2007, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Testing Intrusion Detection systems in MANET: A Comprehensive Study

Testing Intrusion Detection Systems in MANET: A Comprehensiv...

引用

Annual Conference on Communication Networks and Services Research (CNSR)

作者： Hadi Otrok Joey Paquet Mourad Debbabi Prabir Bhattacharya Concordia Institute for Information Systems Engineering Department Computer Security Laboratory Computer Science and Software Engineering Department Concordia University Montreal QUE Canada

In this paper, we study the problem of testing intrusion detection systems (IDS) in mobile ad hoc networks (MANET). Testing is achieved by simulating different measurements. We modify the testing measurements of infrastructure-based networks to be compatible with the characteristics of MANET. Moreover, we add some new features and their associated measurements that we believe important for testing new proposed IDS. The modified measurements with the new added ones form a set of measurements that will be used throughout the testing process. To the best of our knowledge, there has not been any work done for testing IDS in MANET. Simulators are the most common tools used for testing the IDS. Therefore, we add some precautions for choosing a simulator and a list of available simulators. The precautions will help researchers to test the measurements efficiently and the list of simulators will guide them to select one according to their needs. Finally, we present some input parameter precautions that help on having more trustworthy testing results.

关键词： System testing Intrusion detection Mobile ad hoc networks Wireless sensor networks Ad hoc networks software testing Computational modeling Personal digital assistants Wireless networks Monitoring

来源：评论

学校读者我要写书评

暂无评论

Integrated Risk Analysis for a Commercial Computing Service

Integrated Risk Analysis for a Commercial Computing Service

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Chee Shin Yeo Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne VIC Australia

Utility computing has been anticipated to be the next generation of computing usage. Users have the freedom to easily switch to any commercial computing service to complete jobs whenever the need arises and simply pay only on usage, without any investment costs. A commercial computing service however has certain objectives or goals that it aims to achieve. In this paper, we identify three essential objectives for a commercial computing service: (i) meet SLA, (ii) maintain reliability, and (iii) earn profit. This leads to the problem of whether a resource management policy implemented in the commercial computing service is able to meet the required objectives or not. So, we also develop two evaluation methods that are simple and intuitive: (i) separate and (ii) integrated risk analysis to analyze the effectiveness of resource management policies in achieving the required objectives. Evaluation results based on five policies successfully demonstrate the applicability of separate and integrated risk analysis to assess policies in terms of the required objectives.

关键词： Risk analysis Resource management Grid computing Distributed computing Switches Maintenance Investments Laboratories computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Aneka: Next-Generation Enterprise Grid Platform for e-science and e-Business Applications

Aneka: Next-Generation Enterprise Grid Platform for e-Scienc...

引用

IEEE International Conference on e-science and Grid Computing

作者： Xingchen Chu Krishna Nadiminti Chao Jin Srikumar Venugopal Rajkumar Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting pluggable services for discovering, scheduling and balancing various types of workloads and (ii) a flexible and extensible framework/API supporting various programming models including threading, batch processing, MPI and dataflow. Users and developers can easily use different programming models and the services provided by the container to run their applications over desktop Grids managed by Aneka. We present the implementation of both the essential and advanced services within the platform. We evaluate the system with applications using the grid task and dataflow models on top of the infrastructure and conclude with some future directions of the current system.

关键词： Grid computing Object oriented modeling Containers Personal communication networks Application software Processor scheduling Data security Peer to peer computing Authentication Resource management

来源：评论

学校读者我要写书评

暂无评论

A Dynamic Critical Path Algorithm for Scheduling Scientific Workflow Applications on Global Grids

A Dynamic Critical Path Algorithm for Scheduling Scientific ...

引用

IEEE International Conference on e-science and Grid Computing

作者： Mustafizur Rahman Srikumar Venugopal Rajkumar Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

Effective scheduling is a key concern for the execution of performance driven grid applications. In this paper, we propose a dynamic critical path (DCP) based workflow scheduling algorithm that determines efficient mapping of tasks by calculating the critical path in the workflow task graph at every step. It assigns priority to a task in the critical path which is estimated to complete earlier. Using simulation, we have compared the performance of our proposed approach with other existing heuristic and meta-heuristic based scheduling strategies for different type and size of workflows. Our results demonstrate that DCP based approach can generate better schedule for most of the type of workflows irrespective of their size particularly when resource availability changes frequently.

关键词： Heuristic algorithms Scheduling algorithm Dynamic scheduling Processor scheduling Grid computing Application software Availability Electrical capacitance tomography software algorithms Laboratories

来源：评论

学校读者我要写书评

暂无评论

Towards Re-engineering Legacy systems for Assured Dynamic Adaptation

Towards Re-engineering Legacy Systems for Assured Dynamic Ad...

引用

International Workshop on Modeling in software engineering (MISE)

作者： Ji Zhang Betty H.C. Cheng Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Increasingly, software must adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Since most existing software was not designed to adapt, research on technique to make legacy software dynamically adaptive has gained increasing interest. Assurance is crucial for adaptive software to fulfill its intended purpose. Correctness is even more critical if it is to be applied in high assurance systems. This paper proposes a model-driven approach to introduce dynamic adaptation to non-adaptive legacy systems while maintaining assurance properties. An aspect-oriented technique is applied to achieve separation of concerns in the implementation.

关键词： software engineering Unified modeling language Adaptive systems Communication system software Physics computing software design software systems Adaptation model Programming computer science

来源：评论

学校读者我要写书评

暂无评论

Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries

Authentication in Reprogramming of Sensor Networks for Mote ...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Limin Wang Sandeep S. Kulkarni Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Reprogramming is an essential service for wireless sensor networks. Authenticating reprogramming process is important as sensors need to verify that the code image is truly from a trusted source. There are two ways to achieve authentication: public key based and symmetric key based. Although previous work has shown that public key authentication is feasible on sensor nodes if used sparingly, it is still quite expensive compared to symmetric key based approach. In this paper, we propose a symmetric key based protocol for authenticating reprogramming process. Our protocol is based on the secret instantiation algorithm from, which requires only O(log n) keys to be maintained at each sensor. We integrate this algorithm with the existing reprogramming protocol. Through simulation, we show that it is able to authenticate reprogramming process at very low communication cost, and has very short delay.

关键词： Authentication Protocols Base stations Wireless sensor networks Public key Image sensors Costs Delay Testing Elliptic curve cryptography

来源：评论

学校读者我要写书评

暂无评论

A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning

A Framework for using Rough Sets and Formal Concept Analysis...

引用

IEEE International Conference on Information Reuse and Integration (IRI)

作者： Jirapond Tadrat Veera Boonjing Puntip Pattaraintakorn Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand

A significant open problem of case based reasoning system is a construction of better knowledge base. We propose a new framework for constructing alternative knowledge base in case based reasoning system based on rough sets and formal concept analysis. Our framework first applies rough set theory for discovering reduced cases required in a case based reasoning system. We then achieve further hierarchical structure of knowledge base using formal concept analysis. The result is the concept lattice knowledge base embedded to our proposed case based reasoning system. A part of case based reasoning system is developed with an example throughout. We also discuss how our proposed framework can be beneficial for a case based reasoning system.

关键词： Rough sets Problem-solving Knowledge acquisition Mathematics computer science Lattices Data analysis software systems Knowledge engineering systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：