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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,427 篇 会议
995 篇 期刊文献
72 册 图书

馆藏范围

3,494 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,023 篇 工学
- 1,578 篇 计算机科学与技术...
- 1,291 篇 软件工程
- 402 篇 信息与通信工程
- 342 篇 控制科学与工程
- 185 篇 生物工程
- 182 篇 电气工程
- 143 篇 电子科学与技术（可...
- 131 篇 机械工程
- 130 篇 生物医学工程（可授...
- 90 篇 安全科学与工程
- 87 篇 动力工程及工程热...
- 86 篇 光学工程
- 73 篇 化学工程与技术
- 72 篇 建筑学
- 71 篇 仪器科学与技术
- 69 篇 土木工程
887 篇 理学
- 484 篇 数学
- 210 篇 生物学
- 165 篇 系统科学
- 162 篇 物理学
- 142 篇 统计学（可授理学、...
- 73 篇 化学
593 篇 管理学
- 411 篇 管理科学与工程(可...
- 235 篇 图书情报与档案管...
- 231 篇 工商管理
135 篇 医学
- 124 篇 临床医学
- 105 篇 基础医学(可授医学...
94 篇 法学
- 70 篇 社会学
70 篇 经济学
- 70 篇 应用经济学
67 篇 教育学
- 67 篇 教育学
27 篇 农学
12 篇 文学
7 篇 军事学
4 篇 艺术学

主题

193 篇 software enginee...
166 篇 computer science
97 篇 application soft...
94 篇 computational mo...
87 篇 laboratories
76 篇 software
75 篇 computer archite...
75 篇 machine learning
74 篇 software systems
73 篇 deep learning
72 篇 artificial intel...
72 篇 accuracy
69 篇 distributed comp...
66 篇 wireless sensor ...
63 篇 quality of servi...
61 篇 resource managem...
59 篇 training
57 篇 grid computing
56 篇 cloud computing
54 篇 systems engineer...

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 department of co...
12 篇 school of inform...
11 篇 institute for so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of softwa...
10 篇 department of so...

作者

66 篇 rajkumar buyya
37 篇 buyya rajkumar
36 篇 junping du
31 篇 yingmin jia
24 篇 ismail leila
21 篇 fashan yu
18 篇 xenofon koutsouk...
16 篇 m. parashar
15 篇 song houbing
15 篇 zamli kamal z.
15 篇 gautam biswas
14 篇 biswas gautam
13 篇 choo kim-kwang r...
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
11 篇 philippe charlan...
11 篇 dustdar schahram
11 篇 ahmed bestoun s.
11 篇 zander carol

语言

3,333 篇 英文
134 篇 其他
22 篇 中文
3 篇 日文
2 篇 德文
2 篇 俄文
1 篇 法文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Department of Software Engineering for Distributed Computer Systems"

共 3494 条记录，以下是3031-3040 订阅

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

详细简洁

排序：

Attaining program affordability through integration of logistical operations and health maintenance

Attaining program affordability through integration of logis...

引用

1st Space Exploration Conference: Continuing the Voyage of Discovery

作者： Goforth, Andre Karsai, Gabor Orosz, Michael Neches, Robert Szekely, Pedro Ashish, Naveen NASA Ames Research Center Moffett Field CA 94035-1000 United States Vanderbilt University Institute for Software Integrated Systems Nashville TN 37235 United States University of Southern California Information Sciences Institute Marina del Rey CA 90292 United States USRA Research Institute for Advanced Computer Science NASA Ames Research Center Moffett Field CA 94035 United States Code TC MS269-4 United States Department of Electrical and Computer Engineering Distributed Scalable Systems Division

ISBN: (纸本)1563477270

Program affordability needs to be built-in at the initial concept formulation stage. For NASA's space exploration vision this is critical for long range sustainability of human presence in space. What is often overlooked in the initial concept formulation of a large scale system endeavor such as NASA's Constellation program is the hidden cost of maintaining requisite operational safety margins and redundancy through adequate supply chain logistics. Ensuring adequate supply chain logistics necessitates the integration of operations and maintenance cycles. What enables this integration is the coordination and reconciliation across multiple equipment types of system health features and logistical information such as: (1) prognostic drivers from Integrated Vehicle Health Monitoring (IVHM) systems producing proactive condition-based "maintain me" demands, (2) maintenance management systems tracking usage and producing scheduled maintenance demands, (3) unscheduled maintenance demands resulting from any trouble reports entered by human observers of conditions missed by the IVHM system, and (4) implicit maintenance demands resulting from mission plans which require assignment of vehicular/robotic assets and consequently require assurance of the assigned assets' fitness for the intended tasks. In this paper we discuss how Coordinated Multi-source Maintenance on Demand (CMMD) technology, which is being is transitioned to the USMC Coherent Analytical Computing Environment (CACE) program and the Joint Strike Fighter Program, can be applied to the NASA domain, and its benefits in terms of mission affordability, operations efficiency and system health effectiveness. Using concepts derived from CMMD, we discuss the kind of IVHM capabilities needed to optimize multiple, parallel, yet inter-linked, operations-maintenance cycles, thereby optimizing program affordability while meeting specific mission supportability requirements across a broad range of mission scenarios.

关键词： Space research

来源：评论

学校读者我要写书评

暂无评论

Facilitating the construction of specification pattern-based properties

Facilitating the construction of specification pattern-based...

引用

IEEE International Conference on Requirements engineering

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

Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely-used in industrial software development practices. Numerous researchers have developed specification pattern systems to facilitate the construction of formal specifications of system properties. Feedback indicates that these patterns are considered helpful, but many practitioners prefer capturing properties using informal notations, such as natural language, instead of formal specification languages. This paper describes a project that addresses this technology gap. First, we introduce a stepwise process for deriving and instantiating system properties in terms of their natural language representations. The key components of this process are structured natural language grammars and specification pattern systems. Second, we describe SPIDER, a prototype implementation of a tool suite supporting this specification process. We illustrate the use of our approach with a description of a stepwise construction process of property specifications of a real-world automotive embedded system using Spider.

关键词： Natural languages Formal specifications Logic Construction industry Feedback Automotive engineering Industrial training Pattern analysis software engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

MNP: Multihop Network Reprogramming Service for Sensor Networks

MNP: Multihop Network Reprogramming Service for Sensor Netwo...

引用

International Conference on distributed Computing systems

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

Reprogramming of sensor networks is an important and challenging problem as it is often necessary to reprogram the sensors in place. In this paper, we propose a multihop reprogramming service designed for Mica-2/XSM motes. One of the problems in reprogramming is the issue of message collision. To reduce the problem of collision and hidden terminal problem, we propose a sender selection algorithm that attempts to guarantee that in a neighborhood there is at most one source transmitting the program at a time. Further, our sender selection is greedy in that it tries to select the sender that is expected to have the most impact. We also use pipelining to enable fast data propagation. MNP is energy efficient because it reduces the active radio time of a sensor node by putting the node into "sleep" state when its neighbors are transmitting a segment that is not of interest. Finally, we argue that it is possible to tune our service according to the remaining battery level of a sensor, i.e., it can be tuned so that the probability that a sensor is given the responsibility of transmitting the code is proportional to its remaining battery life

关键词： Spread spectrum communication Wireless sensor networks Bandwidth Sensor systems Energy efficiency Batteries software engineering Laboratories computer science Pipeline processing

来源：评论

学校读者我要写书评

暂无评论

Wireless and wearable overview: stages of growth theory in medical technology applications

Wireless and wearable overview: stages of growth theory in m...

引用

International Conference on Mobile Business (ICMB)

作者： P. Ooi G. Culjak E. Lawrence Department of Software Engineering University of Technology Sydney Australia Department of Information Systems University of Technology Sydney Australia Department of Computer Systems University of Technology Sydney Australia

Mobile medical applications have the capacity to provide services for patients and healthcare professionals regardless of time or place. The aim of this paper is to explore the current status of mobile, wireless and wearable technological applications within the medical environment. After conducting a literature review on the availability of mobile, wireless and wearable computing applications within medicine, a summary of their purpose, features and functions was conceptually mapped to the Gibson and Nolan (1974) Stages of Growth Framework. Findings from the literature, the mapping process and limitations for growth are discussed within each of the technology categories. Limitations and challenges of development are highlighted and suggestions are made for future research.

关键词： Medical services Costs Application software Mobile computing Wireless sensor networks Information systems Wearable computers Biomedical equipment software engineering Telemedicine

来源：评论

学校读者我要写书评

暂无评论

An online control framework for designing self-optimizing computing systems: Application to power management

引用

作者： Kandasamy, Nagarajan Abdelwahed, Sherif Sharp, Gregory C. Hayes, John P. Electrical and Computer Engineering Deptartment Drexel University Philadelphia PA 19104 United States Institute for Software Integrated Systems Vanderbilt University Nashville TN 37212 United States Harvard Medical School Massachusetts General Hospital Boston MA 02114 United States Electrical and Computer Engineering Department University of Michigan Ann Arbor MI 48109 United States

ISBN: (纸本)3540260099

computer systems hosting critical e-commerce applications must typically satisfy stringent quality-of-service (QoS) requirements under dynamic operating conditions and workloads. Also, as such systems increase in size and complexity, maintaining the desired QoS by manually tuning the numerous performance-related parameters will become very difficult. This paper addresses the design of self-optimizing computer systems using a generic online control framework in which the control actions governing the operation of the system are obtained by optimizing its behavior, as forecast by a mathematical model, over a limited time horizon. As a specific application of this control technique, we show how to minimize the power consumed by a processor while satisfying the QoS requirements of a time-varying workload. We describe the processor model, formulate the power management problem, and derive the online control algorithm. The performance of the controller is evaluated using representative e-commerce workloads. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer systems

来源：评论

学校读者我要写书评

暂无评论

Hybrid supervisory utilization control of real-time systems

Hybrid supervisory utilization control of real-time systems

引用

IEEE Symposium on Real-Time and Embedded Technology and Applications

作者： X. Koutsoukos R. Tekumalla B. Natarajan C. Lu Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA Department of Computer Science and Engineering Washington University Saint Louis MO USA

Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often rely on the existence of continuous control variables in real-time systems. A number of real-time systems, however, support only a finite set of discrete configurations that limit the adaptation mechanisms. This paper presents hybrid supervisory utilization control (HySUCON) for scheduling such real-time systems. HySUCON enforces processor utilization bounds by managing the switchings between the discrete configurations. Our approach is based on a best-first-search algorithm that is invoked only if reconfiguration is necessary. Theoretical analysis and simulations demonstrate that the approach leads to robust utilization bounds for varying execution times. Experimental results demonstrate the algorithm performance for a representative application scenario.

关键词： Control systems Real time systems Feedback control Adaptive systems Programmable control Adaptive control Resource management Processor scheduling Analytical models Robustness

来源：评论

学校读者我要写书评

暂无评论

The use of optimal filters to track parameters of performance models

The use of optimal filters to track parameters of performanc...

引用

International Conference on the Quantitative Evaluation of systems (QEST)

作者： M. Woodside Tao Zheng M. Litoiu Department of Systems and Computer Engineering Carleton University Ottawa Canada Centre for Advanced Studies IBM Toronto Software Laboratory Canada

Autonomic computer systems react to changes in the system, including failures, load changes, and changed user behaviour. Autonomic control may be based on a performance model of the system and the software, which implies that the model should track changes in the system. A substantial theory of optimal tracking filters has a successful history of application to track parameters while integrating data from a variety of sources, an issue which is also relevant in performance modeling. This work applies extended Kalman filtering to track the parameters of a simple queueing network model, in response to a step change in the parameters. The response of the filter is affected by the way performance measurements are taken, and by the observability of the parameters.

关键词： Application software Quality of service Predictive models Monitoring systems engineering and theory software performance software systems Kalman filters Filtering Control systems

来源：评论

学校读者我要写书评

暂无评论

A retraining methodology for enhancing agent intelligence

A retraining methodology for enhancing agent intelligence

引用

International Conference on Integration of Knowledge Intensive Multi-Agent systems (KIMAS)

作者： P.A. Mitkas A.L. Symeonidis I.N. Athanasiadis Intelligent Systems and Software Engineering Laboratory Informatics and Telematics Institute CERTH Thessaloniki Greece Electrical and Computer Engineering Department Aristotle University of Thessaloniki Thessaloniki Greece

Data mining has proven a successful gateway for discovering useful knowledge and for enhancing business intelligence in a range of application fields. Incorporating this knowledge into already deployed applications, though, is highly impractical, since it requires reconfigurable software architectures, as well as human expert consulting. In an attempt to overcome this deficiency, we have developed agent academy, an integrated development framework that supports both design and control of multiagent systems (MAS), as well as agent training. We define agent training as the automated incorporation of logic structures generated through data mining into the agents of the system. The increased flexibility and cooperation primitives of MAS, augmented with the training and retraining capabilities of agent academy, provide a powerful means for the dynamic exploitation of data mining extracted knowledge. In this paper, we present the methodology and tools for agent retraining. Through experimental results with the agent academy platform, we demonstrate how the extracted knowledge can be formulated and how retraining can lead to the improvement - in the long run - of agent intelligence.

关键词： Intelligent agent Delta modulation Data mining Humans Companies Application software software architecture Multiagent systems Reconfigurable logic Collaborative software

来源：评论

学校读者我要写书评

暂无评论

An analysis of expressiveness and design issues for the generalized temporal role-based access control model

An analysis of expressiveness and design issues for the gene...

引用

作者： Joshi, James B. D. Bertina, Elisa Ghafoor, Arif Department of Information Sciences and Telecommunications University of Pittsburgh Pittsburgh PA 15260 United States Department of Computer Science Purdue University West Lafayette IN 47907 United States School of Electrical and Computer Engineering Purdue University West Lafayette IN 47907 United States Department of Information Sciences and Telecommunications School of Information Sciences University of Pittsburgh United States University of Pittsburgh United States Computer Science Department Purdue University United States CERIAS United States San Jose CA United States Microelectronics and Computer Technology Corporation Rutgers University Telcordia Technologies United States School of Electrical and Computer Engineering Purdue University West Lafayette IN United States Distributed Multimedia Systems Laboratory Information Infrastructure Security Research Laboratory United States

The Generalized Temporal Role-Based Access Control (GTRBAC) model provides a comprehensive set of temporal constraint expressions which can facilitate the specification of fine-grained time-based access control policies. However, the issue of the expressiveness and usability of this model has not been previously investigated. In this paper, we present an analysis of the expressiveness of the constructs provided by this model and illustrate that its constraints-set is not minimal. We show that there is a subset of GTRBAC constraints that is sufficient to express all the access constraints that can be expressed using the full set. We also illustrate that a nonminimal GTRBAC constraint set can provide better flexibility and lower complexity of constraint representation. Based on our analysis, a set of design guidelines for the development of GTRBAC-based security administration is presented. © 2005 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共350页 << < 300 301 302 303 304 305 306 307 308 309 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：