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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

203 篇 会议
4 册 图书
4 篇 期刊文献
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

161 篇 工学
- 156 篇 计算机科学与技术...
- 138 篇 软件工程
- 13 篇 控制科学与工程
- 11 篇 信息与通信工程
- 10 篇 机械工程
- 10 篇 电气工程
- 3 篇 电子科学与技术（可...
- 2 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 核科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
37 篇 理学
- 32 篇 数学
- 27 篇 统计学（可授理学、...
- 3 篇 物理学
- 2 篇 系统科学
- 1 篇 大气科学
13 篇 管理学
- 12 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 图书情报与档案管...
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 特种医学

主题

54 篇 database systems
39 篇 computer systems...
25 篇 application soft...
13 篇 computer softwar...
11 篇 fault tolerance
9 篇 protocols
8 篇 computer science
8 篇 distributed comp...
8 篇 computer network...
7 篇 fault tolerant s...
7 篇 control systems
6 篇 reliability
6 篇 scalability
6 篇 telecommunicatio...
6 篇 computer archite...
6 篇 java
6 篇 computational mo...
6 篇 databases
6 篇 computer network...
6 篇 hardware

机构

3 篇 georgia inst of ...
3 篇 univ of newcastl...
2 篇 univ of british ...
2 篇 columbia univ ny...
2 篇 computer corp of...
2 篇 hiroshima univ f...
2 篇 ibm research lab...
2 篇 georgia inst of ...
2 篇 univ of newcastl...
2 篇 department of co...
2 篇 us army war coll...
2 篇 univ of illinois...
2 篇 princeton univ d...
1 篇 insa inst de rec...
1 篇 technical univ o...
1 篇 heidelberg univ ...
1 篇 duke univ durham...
1 篇 fudan univ sch c...
1 篇 school of inform...
1 篇 univ of iowa dep...

作者

8 篇 anon
4 篇 garcia-molina he...
3 篇 barbara daniel
3 篇 shrivastava s.k.
3 篇 minoura toshimi
2 篇 schlichting rich...
2 篇 lagna alberto
2 篇 hecht herbert
2 篇 chanson samuel t...
2 篇 dugan joanne bec...
2 篇 bhargava bharat
2 篇 liu ming t.
2 篇 wilkes c.thomas
2 篇 shrivastava sant...
2 篇 symposium on rel...
2 篇 goodman nathan
2 篇 manione roberto
2 篇 ahamad mustaque
2 篇 ravindran k.
2 篇 randell b.

语言

210 篇 英文
1 篇 其他
1 篇 中文

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

共 212 条记录，以下是161-170 订阅

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

详细简洁

排序：

Fast and secure distributed read-only file system 4

Fast and secure distributed read-only file system

引用

4th Conference on symposium on Operating System Design and Implementation, OSDI 2000

作者： Fu, Kevin Frans Kaashoek, M. Mazières, David MIT Laboratory for Computer Science 545 Technology Square CambridgeMA02139 United States

Internet users increasingly rely on publicly avail able data for everything from software installation to investment decisions. Unfortunately, the vast majority of public content on the Internet comes with no integrity or authenticity guarantees. This paper presents the self-certifying read-only file system, a content distribution system providing secure, scal able access to public, read-only data. The read-only file system makes the security of published content independent from that of the distribution infrastructure. In a secure area (per haps off-line), a publisher creates a digitally-signed database out of a file system's contents. The publisher then replicates the database on untrusted content-distribution servers, allowing for high availability. The read-only file system protocol furthermore pushes the cryptographic cost of content verification entirely onto clients, allowing servers to scal to a large number of clients. Measurements of an implementation show that an individual server running on a 550 Mhz Pentium III with FreeBSD can support 1, 012 connections per second and 300 concurrent clients compiling a large software package.

关键词： Investments

来源：评论

学校读者我要写书评

暂无评论

2nd European symposium on Research in Computer Security, ESORICS 1992

引用

2nd European symposium on Research in Computer Security, ESORICS 1992

ISBN: (纸本)9783540562467

The proceedings contain 24 papers. The special focus in this conference is on Research in Computer Security. The topics include: Towards security in an open systems.federation;type-level access controls for distributed structurally object-oriented database systems.on the chinese wall model;formal methods and automated tool for timing-channel identification in tcb source codel;separating the specification and implementation phases in cryptology;formal specification of security requirements using the theory of normative positions;breaking the traditional computer security research barriers;verification and modelling of authentication protocols;kryptoknight authentication and key distribution system;associating metrics to certification paths;an object-oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems.the development and testing of the identity-based conference key distribution system for the RHODOS distributed system;policy enforcement in stub autonomous domains;freshness assurance of authentication protocols;a formal framework for authentication;timely authentication in distributed systems.polyinstantiation for cover stories;on transaction processing for multilevel secure replicated databases;security constraint processing in multilevel secure AMAC schemata;a machine for multilevel security;GDoM a multilevel document manageR;UEPS — a second generation electronic wallet;a hardware design model for cryptographic algorithms and software architecture and rule-based language for universal audit trail analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fault tolerant distributed information systems

Fault tolerant distributed information systems

引用

International symposium on software reliability Engineering (ISSRE)

作者： J.C. Knight M.C. Elder Department of Computer Science University of Virginia Charlottesville VA USA

ISBN: (纸本)0769513069

Critical infrastructures provide services upon which society depends heavily; these applications are themselves dependent on distributed information systems.for all aspects of their operation and so survivability of the information systems.is an important issue. Fault tolerance is a mechanism by which survivability can be achieved in these information systems. We outline a specification-based approach to fault tolerance, called RAPTOR, that enables structuring of fault-tolerance specifications and an implementation partially, synthesized from the formal specification. The RAPTOR approach uses three specifications describing the fault-tolerant system, the errors to be detected, and the actions to take to recover from those errors. System specification utilizes an object-oriented database to store the descriptions associated with these large, complex systems. The error detection and recovery specifications are defined using the formal specification notation Z. We also describe an implementation architecture and explore our solution with a case study.

关键词： Fault tolerant systems distributed information systems Monitoring Computer errors Application software Fault tolerance Fault detection Formal specifications Computer architecture Redundancy

来源：评论

学校读者我要写书评

暂无评论

Combined Approach to reliability of Great software Complexes for distributed Computing with Big Data in Contemporary Physical Experiments

Combined Approach to Reliability of Great Software Complexes...

引用

International symposium on Stochastic Models in reliability Engineering, Life Science and Operations Management (SMRLO)

作者： Gennady Ososkov Laboratory of Information Technologies Joint Institute for Nuclear Research (JINR) Dubna Russia

The new challenging era of scientific data management in the coming decade named "Big Data" requires giant complexes for distributed computing and corresponding grid-cloud internet services. Known common approaches to software reliability based on the probability theory or on considering software as an open non-equilibrium dynamic system cannot conform to advanced grid-cloud software management systems. Therefore to provide the optimality and reliability of such sophisticated systems.we choose the imitative simulation method oriented on a knowledge of dynamics of the system functioning. A new grid and cloud service simulation system was developed in the JINR Dubna laboratory of information technologies which focused on improving the efficiency and reliability of the grid-cloud systems.development by using work quality indicators of some real system to design and predict its evolution. For these purposes the simulation program is combined with real monitoring system of the gridcloud service through a special database. Some examples of the program applications to simulate a sufficiently general cloud structure, which can be used for more common purposes, are given.

关键词： Decision support systems reliability engineering Cloud computing Stochastic processes Data models Life sciences Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Protecting mobile code

Protecting mobile code

引用

International symposium on software reliability Engineering (ISSRE)

作者： T. Sander International Computer Science Institute Berkeley CA USA

There are at least two major security challenges in mobile code distributed systems. First hosts have to be protected from potentially malicious actions of mobile code they are executing. Many techniques are known which address this problem. second mobile agents themselves have to be protected against malicious hosts. Satisfactory ways to deal with the second problem are necessary features for many of the (security-sensitive) tasks mobile agent (MA) systems.are envisioned for, e.g., in e-commerce applications where a shopping agent is sent out on the Internet, vendors have a high incentive in tampering with these agents. The key point is is that the originator of the agent needs to have sound guarantees that the results an agent brings back are correct. Why else should he send out the agent in the first place?.

关键词： Cryptography Mobile agents Internet software protection Computer security Electrical capacitance tomography IP networks Data security Application software databases

来源：评论

学校读者我要写书评

暂无评论

Memory system Behavior of Java-based middleware 9

Memory system Behavior of Java-based middleware

引用

9th International symposium on High-Performance Computer Architecture

作者： Karlsson, M Moore, KE Hagersten, E Wood, DA Uppsala Univ Informat Technol Dept Comp Syst SE-75105 Uppsala Sweden

ISBN: (纸本)0769518710

Java-based middleware, and application servers, in particular are rapidly, gaining importance as a new cl ass of workload for commercial multiprocessor servers. SPEC has recognized this trend with its adoption of SPECjbb2000 and the new SPECjAppServer2001 (ECperf) as standard benchmarks. Middleware, by definition, connects other tiers of server software. SPECjbb is a simple benchmark that combines middleware services, a simple database server and client drivers into a single Java *** more closely models commercial middleware by, using a commercial application server and separate machines for the different tiers. Because it is a distributed benchmark, ECperf provides an opportunity, for architects to isolate the behavior of middleware. In this paper we present a detailed characterization of the memory, system behavior of ECperf and SPECjbb using both commercial server hardware and Simics full-system simulation. We find that the memory, footprint and primary, working sets,of these workloads are small compared to other commercial workloads (e.g., on-line transaction processing), and that a large fraction of the working sets are shared between processors. We observed two key, differences between ECperf and SPECjbb that highlight the importance of isolating the behavior of the middle tier First, ECperf has a larger instruction footprint, resulting in much higher miss rates for intermediate-size instruction caches. second, SPECjbb's data set size increases linearly,, as the benchmark scales. up, while ECperf's remains roughly constant. This difference can lead to opposite conclusions on the design of multiprocessor memory, systems. such as the utility of moderate sized (i.e., 1 MB) shared caches in a chip multiprocessor.

关键词： Application software Data analysis databases Decision support systems Hardware Information technology Java Middleware Monitoring Virtual machining

来源：评论

学校读者我要写书评

暂无评论

Algorithms and Architectures for Parallel Processing 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rocco Aversa Joanna Kołodziej Jun Zhang Flora Amato Giancarlo Fortino

ISBN: (数字)9783319038896

ISBN: (纸本)9783319038889

This two volume set LNCS 8285 and 8286 constitutes the proceedings of the 13th International Conference on Algorithms and Architectures for Parallel Processing , ICA3PP 2013, held in Vietri sul Mare, Italy in December 2013. The first volume contains 10 distinguished and 31 regular papers selected from 90 submissions and covering topics such as big data, multi-core programming and software tools, distributed scheduling and load balancing, high-performance scientific computing, parallel algorithms, parallel architectures, scalable and distributed databases, dependability in distributed and parallel systems. wireless and mobile computing. The second volume consists of four sections including 35 papers from one symposium and three workshops held in conjunction with ICA3PP 2013 main conference. These are 13 papers from the 2013 International symposium on Advances of distributed and Parallel Computing (ADPC 2013), 5 papers of the International Workshop on Big Data Computing (BDC 2013), 10 papers of the International Workshop on Trusted Information in Big Data (TIBiDa 2013) as well as 7 papers belonging to Workshop on Cloud-assisted Smart Cyber-Physical systems.(C-Smart CPS 2013).

关键词： Algorithm Analysis and Problem Complexity software Engineering Computer Communication Networks database Management

来源：评论

学校读者我要写书评

暂无评论

Lightweight logging and recovery for distributed shared memory over virtual interface architecture

Lightweight logging and recovery for distributed shared memo...

引用

International symposium on Parallel and distributed Computing

作者： Soyeon Park Youngjae Kim Seung Ryoul Maeng Department of Electrical Engineering and Computer Science Korea Advanced Institute of Science and Technology South Korea

ISBN: (纸本)0769520693

As software distributed Shared Memory(DSM) systems.become attractive on larger clusters, the focus of attention moves toward improving the reliability of systems. In this paper, we propose a lightweight logging scheme, called remote logging, and a recovery protocol for home-based DSM. Remote logging stores coherence-related data to the volatile memory of a remote node. The logging overhead can be moderated with high-speed system area network and user-level DMA operations supported by modern communication protocols. Remote logging tolerates multiple failures if the backup nodes of failed nodes are alive. It makes the reliability of DSM grow much higher. Experimental results show that our fault-tolerant DSM has low overhead compared to conventional stable logging and it can be effectively recovered from some concurrent failures.

关键词： Protocols Computer architecture Fault tolerance Computer network reliability Telecommunication network reliability Workstations Personal communication networks Parallel processing Parallel programming Scalability

来源：评论

学校读者我要写书评

暂无评论

distributed control architecture for decentralized control design of turbine engines

Distributed control architecture for decentralized control d...

引用

58th International Instrumentation symposium 2012, IIS

作者： Mgaya, Richard Zein-Sabatto, Saleh Bodruzzaman, Mohammad Shetty, Sachin Behbahani, Alireza Dept. of Electrical and Computer Engineering Tennessee State University 3500 Johan Merritt Blvd. Nashville TN 37209 United States Air Force Research Laboratory Wright-Patterson AFB Bldg. 18D 1950 Fifth Street Dayton OH 45433 United States

ISBN: (纸本)9781622761388

The current control technology of modern gas turbine engines is based on centralized control architecture of the Full Authority Digital Electronic Controls (FADEC). The concern of such centralized control strategy is the high weight ratio of the control system to the weight of the engine and the engine's life cycle cost. Alternatively, distributed control architecture could be adopted as the control choice of future turbine engine to reduce overall system weight, cost, and increase safety and reliability. This paper provides an attempt to the solution of the challenge of transforming current turbine engine control to distributed architecture. Also, the paper presents a methodology used for the development and integration of networked control systems.with diagnostics software in a distributed manner. In this paper, we present two approaches for the design of decentralized controllers. Then, we present realization of the designed controllers in the form of a distributed networked control system. The first approach considered in the design is the H ∞ robust controller design. In this design approach, specifications such as control loop bandwidths are imposed by selecting an appropriate low-pass and high-pass filters for the controller design. The filters are represented by the sensitivity transfer matrices for disturbance rejection and complementary sensitivity transfer matrices for minimizing the control effort for the fuel flow, nozzle area, and rear bypass door control loops. The second approach considered in the design is the H2 optimal controller design. In this approach, Linear Quadratic Gaussian (LQG) design concept is followed where specifications are imposed by selecting appropriate parameters so that the closed loop system has desired response shapes. Finally, the distributed controllers are implemented in the form of networked control system (NCS) where a shared communication medium is used as the backbone of the control system. The fundamental issues in net

关键词： distributed parameter control systems

来源：评论

学校读者我要写书评

暂无评论

The Cooperating Autonomous Decentralized System Architecture

The Cooperating Autonomous Decentralized System Architecture

引用

International symposium on Autonomous Decentralized systems.(ISADAS)

作者： H. Wataya K. Kawano K. Hayashi Omika Works Hitachi and Limited Hitachi Ibaraki Japan Systems Development Laboratory Hitachi and Limited Kawasaki Kanagawa Japan

Research can rarely be performed on open platform based large scale distributed systems.which always consist of heterogeneous sub-systems.and heterogeneous hardware and software components. It is not also pursued to realize the integration of these sub-systems. highly reliable system operations and high productivity of application software development. Our solution is a Cooperating Autonomous Decentralized System Architecture which is an extendible concept of the conventional Autonomous Decentralized System Architecture. The new system architecture is a novel synthesis of four design principles: highly extensible addressing architecture, core communication protocols with minimal semantics, sophisticated network traffic control techniques and reliable communication control mechanism. The current implementation provides both flexibility and high reliability for integrating heterogeneous sub-systems. and it has been proven in several commercial systems.< >

关键词： Computer architecture Telecommunication network reliability Large-scale systems Hardware software performance Productivity Application software Control system synthesis Network synthesis Protocols

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：