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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
7 篇 期刊文献
4 册 图书

馆藏范围

366 篇 电子文献
3 种 纸本馆藏

日期分布

学科分类号

250 篇 工学
- 230 篇 计算机科学与技术...
- 201 篇 软件工程
- 30 篇 电气工程
- 18 篇 控制科学与工程
- 17 篇 信息与通信工程
- 13 篇 机械工程
- 7 篇 电子科学与技术（可...
- 3 篇 建筑学
- 3 篇 生物医学工程（可授...
- 2 篇 力学（可授工学、理...
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 动力工程及工程热...
- 2 篇 土木工程
- 2 篇 测绘科学与技术
- 2 篇 环境科学与工程（可...
- 1 篇 光学工程
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
54 篇 理学
- 48 篇 数学
- 36 篇 统计学（可授理学、...
- 4 篇 物理学
- 2 篇 系统科学
- 1 篇 大气科学
27 篇 管理学
- 24 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
3 篇 法学
- 3 篇 社会学
2 篇 医学
1 篇 农学

主题

71 篇 database systems
51 篇 application soft...
44 篇 computer systems...
26 篇 fault tolerance
21 篇 fault tolerant s...
21 篇 distributed comp...
19 篇 hardware
18 篇 computer archite...
18 篇 computer softwar...
17 篇 protocols
16 篇 computer science
15 篇 telecommunicatio...
15 篇 real time system...
14 篇 computer network...
13 篇 costs
12 篇 software systems
12 篇 reliability
12 篇 databases
12 篇 distributed data...
10 篇 concurrent compu...

机构

3 篇 department of el...
3 篇 georgia inst of ...
3 篇 univ of newcastl...
3 篇 univ of illinois...
2 篇 fudan univ sch c...
2 篇 univ of british ...
2 篇 department of co...
2 篇 duke univ durham...
2 篇 columbia univ ny...
2 篇 bellcore morrist...
2 篇 ibm t. j. watson...
2 篇 computer corp of...
2 篇 hiroshima univ f...
2 篇 ibm research lab...
2 篇 georgia inst of ...
2 篇 omika works hita...
2 篇 computer science...
2 篇 univ of newcastl...
2 篇 department of co...
2 篇 department of co...

作者

10 篇 anon
4 篇 garcia-molina he...
4 篇 minoura toshimi
3 篇 barbara daniel
3 篇 shrivastava s.k.
3 篇 son sang hyuk
2 篇 schlichting rich...
2 篇 wang jia-ping
2 篇 woungang isaac
2 篇 hecht herbert
2 篇 chanson samuel t...
2 篇 iyer balakrishna...
2 篇 avritzer alberto
2 篇 k.h. kim
2 篇 dugan joanne bec...
2 篇 rubinovitz harve...
2 篇 bhargava bharat
2 篇 liu ming t.
2 篇 m.r. lyu
2 篇 c. subbaraman

语言

365 篇 英文
3 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings - Third Symposium on Reliability in Distributed Software and Database Systems."

共 369 条记录，以下是191-200 订阅

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

详细简洁

排序：

Tool-based approach to distributed database design: includes web-based forms design for access to academic affairs data

Tool-based approach to distributed database design: includes...

引用

proceedings of the 1999 14th ACM symposium on Applied Computing, SAC-99

作者： Owens, David A. Sheldon, Frederick T. Lockheed Martin Mission Systems Colorado Springs United States

ISBN: (纸本)1581130864

This paper describes a tool-based approach for designing and prototyping a distributed database application. This approach is demonstrated for an Academic Affairs Information System (AAIS) to assist the Webster University main campus and its 70+ remote sites in managing the information required to admit students, approve programs, schedule courses, assign faculty, register students, and generate the required queries and reports. ORACLE Relational database Management (RDBMS) tools and products for Windows NT were used to support AAIS requirements analysis, design, and prototype implementation. The Designer/2000 Process Modeler tool was used to document the top-level business functions, and the Data Modeler tool was used to develop a third normal form data model. The Developer/2000 Forms tool was used to prototype several user interface forms for main campus staff, remote staff, and students to enter and update student and program data. A Web Server was also installed, along with the Java software and AppletViewer, to test the prototype forms from a Web Browser.

关键词： distributed database systems

来源：评论

学校读者我要写书评

暂无评论

Graphical model-based reliability estimation tool and failure mode & effects simulator

Graphical model-based reliability estimation tool and failur...

引用

proceedings of the 1995 Annual reliability and Maintainability symposium

作者： Nicol, David M. Palumbo, Daniel L. Ulrey, Michael L. Coll of William and Mary Williamsburg United States

A new graphical reliability estimation tool, reliability Performance Module (RPM), is described. RPM combines the features of a powerful reliability tool, reliability Estimation System Testbed (REST), developed at NASA Langley, with the convenient graphical modelling and simulation capabilities of an off-the-shelf commercial software package, Block Oriented Network Simulator (BONeS), from the Alta Group of Cadence Design systems. In order to estimate the reliability of a system, the built-in BONeS graphics capabilities are used to describe the system, and the embedded REST execution engine produces a reliability analysis automatically. An additional benefit of this approach is that a detailed failure modes and effects analysis can be derived by using the simulation capabilities of the tool. The usage of and output from RPM is demonstrated with an example system. As compared to our current design process, RPM promises to reduce overall modelling and analysis time, provide better documentation, make trade studies easier, create reusable modelling components and subsystems. and provide the integration of reliability and timing analysis necessary to guarantee the safety of critical real-time systems. Future work will concentrate on producing a more seamless integration of the reliability and timing analyses. Additional planned enhancements include a distributed (parallel) processing mode, and availability and phased-mission analysis capabilities.

关键词： reliability

来源：评论

学校读者我要写书评

暂无评论

Separating recovery strategies from application functionality: Experiences with a framework approach

Separating recovery strategies from application functionalit...

引用

Annual reliability and Maintainability symposium

作者： Deconinck, G De Florio, V Botti, O Katholieke Univ Leuven Dept Elect Engn ESAT Div ACCA B-3001 Louvain Belgium

ISBN: (纸本)0780366158

Industry-oriented fault tolerance solutions for embedded distributed systems.should be based on adaptable. reusable elements. software-implemented fault tolerance can provide such flexibility via the presented framework approach. It consists of 1) a library of fault tolerance functions, 2) a backbone coordinating these functions, and 3) a language expressing configuration and recovery. This language is a sort of ancillary application layer, separating recovery aspects from functional ones. Such a framework approach allows for a flexible combination of the available hardware redundancy with software-implemented fault tolerance. This increases the availability and reliability of the application at a justifiable cost thanks to the re-usability of the library elements in different targets systems. It also increases the maintainability due to the separation of the functional behavior from the recovery strategies that are executed when an error is detected as the modifications to functional and non-functional behavior are, to some extent, independent and hence less complex. Practical experience is reported from the integration of this framework approach in an automation system for electricity distribution. This case study illustrates the power of software-based fault tolerance solutions and of the configuration-and-recovery language ARIEL to allow flexibility and adaptability to changes in the environment.

关键词： software-implemented fault tolerance dependable computing software tool software maintainability adaptable framework approach recovery strategies

来源：评论

学校读者我要写书评

暂无评论

distributed mediator 13

Distributed mediator

引用

13th International symposium on Theoretical Aspects of software Engineering, TASE 2019

作者： Li, Yi Sun, Meng LMAM and Department of Informatics School of Mathematical Sciences Peking University Beijing China

ISBN: (纸本)9781728133423

distributed systems.have been widely used in various domains. However, the concurrent and asynchronous nature makes their safety and reliability hard to guarantee, especially in the design phase. In this paper, we extend Mediator and its semantics to capture the inherent real-time and asynchronous behavior in distributed systems. As a component-based language, Mediator provides a compositional modeling framework and corresponding precise formal semantics, making it able to reuse reliable components in different contexts. © 2019 IEEE.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Analysis of large system black-box test data 3

Analysis of large system black-box test data

引用

3rd International symposium on software reliability Engineering, ISSRE 1992

作者： Clapp, Kent C. Iyer, Ravishankar K. Levendel, Ytzhak AT and T Network Systems NapervilleIL United States Center for Reliable and High Performance Computing University of Illinois at Urbana-Champaign United States

This paper studies black box testing and verification of large systems. Testing data is collected from several test teams. A flat, integrated database of test, fault, repair, and source file information is built. A new analysis methodology based on the black box test design and white box analysis is proposed. The methodology is intended to support the reduction of testing cost and enhancement of software quality by improving test selection, eliminating test redundancy, and identifying error prone source files. Using example data from AT&T systems. the improved analysis methodology is demonstrated. © 1992 IEEE.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

IMPACT OF NEW COMPUTER TECHNOLOGIES IN distributed PROCESS CONTROL systems.

IMPACT OF NEW COMPUTER TECHNOLOGIES IN DISTRIBUTED PROCESS C...

引用

proceedings of the ISA/85 International Conference and Exhibit.

作者： Tavora, Carlos J. Polaroid Corp Waltham MA USA Polaroid Corp Waltham MA USA

ISBN: (纸本)087664891X

This paper describes how new computer technology is being applied to implement distributed process control systems.with open architectures. Four design aspects are reviewed: system architecture, integrated software environment, communication network and operational performance. Architecturally, the distribution of host computer functions and communication among processors is discussed. From a language perspective, the trend toward interpretive and table-driven software is reviewed. The integration of control subsystems.from diverse vendors through the use of global database and factory oriented local area networks is analyzed. The effects of distribution on reliability, maintainability and response time are considered.

关键词： PROCESS CONTROL

来源：评论

学校读者我要写书评

暂无评论

Practical software Model Checking via Dynamic Interface Reduction 11

Practical Software Model Checking via Dynamic Interface Redu...

引用

23rd ACM symposium on Operating systems.Principles (SOSP 2011)

作者： Guo, Huayang Wu, Ming Zhou, Lidong Hu, Gang Yang, Junfeng Zhang, Lintao Tsinghua Univ Beijing Peoples R China

ISBN: (纸本)9781450309776

Implementation-level software model checking explores the state space of a system implementation directly to find potential software defects without requiring any specification or modeling. Despite early successes, the effectiveness of this approach remains severely constrained due to poor scalability caused by state-space explosion. DEMETER makes software model checking more practical with the following contributions: (i) proposing dynamic interface reduction, a new state-space reduction technique, (ii) introducing a framework that enables dynamic interface reduction in an existing model checker with a reasonable amount of effort, and (iii) providing the framework with a distributed runtime engine that supports parallel distributed model checking. We have integrated DEMETER into two existing model checkers, MAcEMC and MoDisT, each involving changes of around 1,000 lines of code. Compared to the original MAcEMC and MODIST model checkers, our experiments have shown state-space reduction from a factor of five to up to five orders of magnitude in representative distributed applications such as PAXOS, Berkeley DB, CHORD, and PASTRY. As a result, when applied to a deployed PAXOS implementation, which has been running in production data centers for years to manage tens of thousands of machines, DEMETER manages to explore completely a logically meaningful state space that covers both phases of the PAXOS protocol, offering higher assurance of software reliability that was not possible before.

关键词： software model checking state space reduction dynamic interface reduction

来源：评论

学校读者我要写书评

暂无评论

The Fermilab data storage infrastructure 20

The Fermilab data storage infrastructure

引用

20th IEEE Conference on Mass Storage systems.and Technology/11th NASA Goddard Conference on Mass Storage systems.and Technology

作者： Bakken, J Berman, E Huang, CH Moibenko, A Petravick, D Zalokar, M Fermilab Natl Accelerator Lab Batavia IL 60510 USA

ISBN: (纸本)0769519148

Fermilab, in collaboration with the DESY laboratory in Hamburg, Germany, has created a petabyte scale data storage infrastructure to meet the requirements of experiments to store and access large data sets. The Fermilab data storage infrastructure consists of the following major storage and data transfer components: Enstore mass storage system, DCache distributed data cache, ftp, and Grid ftp for primarily external data transfers. This infrastructure provides a data throughput sufficient for transferring data from experiments' data acquisition systems. It also allows access to data in the Grid framework.

关键词： Cache storage Data acquisition File servers Hardware Laboratories Memory Power system reliability Robots software libraries Throughput

来源：评论

学校读者我要写书评

暂无评论

Using distributed resource management in heterogeneous telecomputing platforms

Using distributed resource management in heterogeneous telec...

引用

IEEE International Computer Performance and Dependability symposium (IPDS 96)

作者： Duesing, E Huang, Y Kapauan, P Kintala, C Levendel, Y Lumsden, J Purcell, J Suri, G LUCENT TECHNOL BELL LABS MURRAY HILL NJ USA

ISBN: (纸本)0818674849

Programmability, reliability, and scalability are system requirements that are essential to retaining or establishing the high ground in the new world order for telecommunications solutions. For telephony systems.to be successful in the next century, they must deliver 'fifth-generation software flexibility' that enables interoperability while satisfying these 3 key requirements to give customers the applications they need, when they need them. Further, these requirements must be designed into an open system architecture from the start: systems.lacking them cannot be easily extended to leverage their combined advantages. Finally, these solutions must readily build upon inexpensive, off-the-shelf hardware components. Telecommunication is becoming telecomputing. Although traditional fault-tolerance approaches can be used to increase the reliability of the platform, a more general software fault-tolerant architecture is required to integrate new off-the-shelf system components reliably and seamlessly into the existing service. The ease of integration hinges both on the system architecture and on easy programming paradigms to integrate dependability with the service functionality. This paper describes our working prototype of an open Telecomputing system based on these architectural principles.

关键词： distributed database systems

来源：评论

学校读者我要写书评

暂无评论

Fault tolerance technology for autonomous decentralized database systems

Fault tolerance technology for autonomous decentralized data...

引用

22nd International symposium on Reliable distributed systems. SRDS 2003

作者： Leguizamo, Carlos Perez Wang, Dake Mori, Kinji Dept. of Computer Science Tokyo Institute of Technology 2-12-1 Ookayama Meguro Tokyo 152-8552 Japan

The Autonomous Decentralized database System (ADDS) has been proposed in the background of e-business in respect to the dynamic and heterogeneous requirements of the users. With the rapid development of information technology, different companies in the field of e-business are supposed to cooperate in order to cope with the continuous changing demands for services in a dynamic market. In a diversified environment of service provision and service access, the ADDS provides flexibility to integrate heterogeneous and autonomous systems.while assuring the timeliness and high availability. A loosely-consistency management technology confers autonomy to each site for updating while maintaining the consistency of the whole system. Moreover, a background coordination technology, by utilizing a mobile agent, has been devised to permit the sites can coordinate and cooperate each other while conferring the online property. The use of mobile agent, however, is critical and requires reliability in regard to mobile agent failures that may lead to bad response time and hence the availability of the system may lost. In this paper, a fault tolerance technology is proposed in order that the system autonomously detect and recover the fault of the mobile agent due to a failure in a transmission link, site or bug in the software. The effectiveness of the proposition is shown by simulation. © 2003 IEEE.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：