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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

distributed locking: A mechanism for constructing highly available objects

Distributed locking: A mechanism for constructing highly ava...

引用

Seventh symposium on Reliable distributed systems. proceedings

作者： Wilkes, C.Thomas LeBlanc Jr., Richard J. Univ of Lowell MA USA

ISBN: (纸本)0818608757

A description is given of the results of a study of methods of achieving fault tolerance in the Clouds system and, in particular, of achieving increased availability of objects. The problems explored in this work, the model of distributed computation in which the problems posed by the research were examined (the Clouds system), the tools that were used to address these problems (the Aeolus programming language), and some related research are briefly described. The authors present a methodology for achieving available services by conversion of resilient single-site implementations into replicated implementations. A mechanism with which they propose to support this methodology, called distributed locking (DL), is presented. A description is also given of a linguistic feature for the specification of the availability properties of an object replicated via DL. The language runtime support features (primitives) required for DL and the operating system support needed for these features are presented.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

Human-centered virtual machine of problem solving agents, software agents, intelligent agents and objects 3

Human-centered virtual machine of problem solving agents, so...

引用

3rd IEEE International High-Assurance systems.Engineering symposium

作者： Khosla, R La Trobe Univ Sch Comp Sci & Comp Engn Melbourne Vic 3083 Australia

ISBN: (纸本)0818692219

This paper outlines a human-centered virtual machine of problem solving agents, intelligent agents, software agents and objects. It deals with issues related to high-assurance (e.g. reliability, availability real-time and others) through design of human-centered system architecture in which technology is a primitive. The human-centered virtual machine is based on a number of human-centered perspectives including the distributed cognition approach. The human-centered virtual machine has been applied in complex data intensive time critical problems like real-time alarm processing and fault diagnosis, air combat simulation and business (decision support).

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

2015 IEEE International symposium on software reliability Engineering Workshops, ISSREW 2015

2015 IEEE International Symposium on Software Reliability En...

引用

IEEE International symposium on software reliability Engineering Workshops, ISSREW 2015

ISBN: (纸本)9781509019441

The proceedings contain 39 papers. The topics discussed include: detection of unexpected situations by applying software reliability growth models to test phases;resource/schedule/content model: improving testing effectiveness;static analysis of physical properties in Simulink models;test suites for benchmarks of static analysis tools;optimizing resiliency of distributed video surveillance system for safer city;software-defined networking (SDN) control message classification, verification, and optimization system;integrating formal methods with testing for reliability estimation of component based systems.C-SEC (Cyber SCADA evaluation capability): securing critical infrastructures;operational softwarized networks reliability management;knowledge transition: discovering workflow models from functional tests;and analyzing failure mechanism for complex software-intensive systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ImageNet: A global distributed database for color image storage, and retrieval in medical imaging systems 5

ImageNet: A global distributed database for color image stor...

引用

5th Annual IEEE symposium on Computer-Based Medical systems. CBMS 1992

作者： Martinez, R. Smith, D. Trevino, H. Arizona Univ. TucsonAZ United States

ISBN: (纸本)0818627425

The authors describe the overall system design for ImageNet and present a system prototype developed on an Ethernet network in the Computer Engineering Research Laboratory at the University of Arizona. ImageNet is a global distributed color image database and communications system with multiple database nodes and user workstations (WSs). Each database node serves a geographical region with several WS users. The database nodes are interconnected with a fiber optic backbone network. The first prototype of the ImageNet over Ethernet has been successfully implemented. The WS software showed that the user WS software provided the required functionality. One could make data dictionary requests, formulate queries, make single and multiple online as well as offline image transfers, and display images. The WS interface is simple to use, and requires little training for new users. The ImageNet system has applications to global teleradiology and telepathology imaging systems. © 1992 IEEE.

关键词： Research laboratories

来源：评论

学校读者我要写书评

暂无评论

Evaluation of combined approaches to distributed software-based fault tolerance

Evaluation of combined approaches to distributed software-ba...

引用

1991 Pacific Rim International symposium on Fault Tolerant systems. RFTS 1991

作者： Gantenbein, Rex E. Shin, Sung Yun Cowles, John R. University of Wyoming LaramieWY82071 United States South Dakota State University BrookingsSD57007 United States

ISBN: (纸本)081862275X

This paper presents a feasibility study of two combined techniques for software fault tolerance in distributed systems. A probabilistic model for each technique is presented that represents each technique's ability to recover from software and hardware faults that occur with arbitrary frequency. The goal of this study is not to accurately predict the behavior of systems.that employ these techniques, but rather to identify the strong and weak points of each approach under varying circumstances of dependability in both the system and the fault-tolerance components. An example study shows how these models can be used to understand the influence of component failures on the reliability of systems.using these two approaches. © 1991 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Self-protection for distributed component-based applications

Self-protection for distributed component-based applications

引用

8th International symposium on Stabilization, Safety and Security of distributed systems.(SSS 2006)

作者： Claudel, Benoit De Palma, Noel Lachaize, Renaud Hagimont, Daniel Inst Natl Polytech Grenoble F-38031 Grenoble France Univ Grenoble 1 Grenoble France Inst Natl Polytech Toulouse F-31077 Toulouse France

ISBN: (纸本)3540490183

The complexity of today's distributed computing environments is such that the presence of bugs and security holes is statistically unavoidable. A very promising approach to this issue is to implement a self-protected system, similarly to a natural immune system which has the ability to detect the intrusion of foreign elements and react while it is still in progress. This paper describes an approach relying on component-based software engineering to ease the protection of distributed systems. The knowledge of the application architecture is used to detect foreign activities and to trigger counter measures. We focus on a mean to recognize known and unknown attacks independently from legacy software and avoiding false positives. Hence, the scope of the detected attacks is, for the moment, limited to the detection of illegal communications. We describe how this approach can be applied to provide self-protection for clustered J2EE applications with a very low overhead.

关键词： distributed database systems

来源：评论

学校读者我要写书评

暂无评论

New look at membership services

New look at membership services

引用

proceedings of the 1996 15th Annual ACM symposium on Principles of distributed Computing

作者： Neiger, Gil Intel Corp

distributed services are often provided by process groups for purposes of reliability, availability, and performance. It is often important for the members of a such a group to have a consistent view of the group's membership. For this reason, membership services are important part of many distributed software systems. Despite their importance, the specification and implementation of membership services in completely asynchronous systems.has challenged researchers. Recent papers have demonstrated that earlier specifications are either unsolvable or admit trivial solutions. Informally, membership services require a kind of agreement among processes and it has been shown that it is impossible to solve many consensus-like problems in completely asynchronous systems. If the specification of membership service is nearly as strong as that of consensus, the specification will be unsolvable. If it is much weaker, its solutions may be useless. This paper provides an alternative specification of group membership and exhibits an algorithm that satisfies it. The specification is solvable in spite of earlier impossibility results because it permits executions in which all processes are evicted from the process group yet none ever learns that the group has become empty. This represents a weakening of earlier specifications, which required that, at all times, at least one process be aware of a group's membership. However, the new specification cannot be trivially satisfied because it prohibits a potential solution from arbitrarily removing a process for no reason. This specification thus represents an important step towards a better understanding of membership services in completely asynchronous systems.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Using stashing to increase node autonomy in distributed file systems

Using stashing to increase node autonomy in distributed file...

引用

proceedings of the 9th symposium on Reliable distributed systems

作者： Alonso, Rafael Barbara, Daniel Cova, Luis L. Comput Sci Dept Princeton Univ NJ USA

The authors present an enhancement to distributed file systems.that allows the users of the system to keep local copies of important files, decreasing the dependency over file servers. Using the notions of stashing and quasi-copies, the system allows users to tune up the quality of the service they want to receive when the file server is not reachable. One of the key points of this work is the focus on the tradeoff between availability and degradation of service. The other main contribution is the design of a distributed file system which is ideally suited to very large distributed systems. in that it provides users with greater tolerance of network partitions and server failures. It is emphasized that the use of stashing does not preclude the use of other performance-enhancing or fault-tolerant techniques. The file system architecture has been implemented and FACE, a prototype of a file system service based on Sun's NFS, is described. Performance figures are reported. These figures show that the overhead of providing the service is negligible. Current plans also call for porting the FACE design to a number of other processors.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

Independent checkpointing and concurrent rollback for recovery in distributed systems.- an optimistic approach

Independent checkpointing and concurrent rollback for recove...

引用

Seventh symposium on Reliable distributed systems. proceedings

作者： Bhargava, Bharat Lian, Shy-Renn Purdue Univ West Lafayette IN USA

ISBN: (纸本)0818608757

A checkpoint algorithm is presented that benefits from the research in concurrency control, commit, and site recovery algorithms in transaction processing. In the authors' approach a number of checkpointing processes, a number of rollback processes, and computations on operational processes can proceed concurrently while tolerating the failure of an arbitrary number of processes. Each process takes checkpoints independently. During recovery after a failure, a process invokes a two-phase rollback algorithm. It collects information about relevant message exchanges in the system in the first phase and uses it in the second phase to determine both the set of processes that must roll back and the set of checkpoints up to which rollback must occur. Concurrent rollbacks are completed in the order of the priorities of the recovering processes. The proposed solution is optimistic in the sense that it does well if failures are infrequent by minimizing overhead during normal processing.

关键词： Computer systems. Digital

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：