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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是1931-1940 订阅

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

详细简洁

排序：

Dynamic support for distributed auto-adaptive applications

Dynamic support for distributed auto-adaptive applications

引用

international conference on Distributed Computing Systems Workshop

作者： A.L. de Moura C. Ururahy R. Cerqueira N. Rodriguez Computer Science Department PUC-Rio Brazil

This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their components and of their execution environment. This infrastructure, based on the programming language Lua and on CORBA, allows applications to select dynamically the components that best suit their requirements, to verify whether the system is satisfying these requirements, and to react, when appropriate, to variations in the nonfunctional properties of the services in use. We use CORBA's trading service to support dynamic component selection. An extensible monitoring facility supports monitoring of dynamically defined requirements. We use the Lua language to specify adaptation strategies, and a smart proxy mechanism to apply these strategies.

关键词： Application software Middleware Monitoring Java Availability Quality of service Dynamic programming Computer science Computer languages Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Using aspect oriented programming to build a portable load balancing service

Using aspect oriented programming to build a portable load b...

引用

international conference on Distributed Computing Systems Workshop

作者： E. Putrycz G. Bernard Institut National de Télécommunications Evry France

Scaling applications to large networks and an increasing number of users has been for years a technical challenge. Today, technologies are well known to scale applications to local networks but scaling to large networks with high latency is still a challenge. The DLBS (dynamic load balancing service) brings new solutions regarding large scale load balancing for middleware based applications. DLBS offers a multi-criteria and easily customizable load balancing service. It consists of a scalable monitoring infrastructure, a connection manager (integrated into the middleware) and customizable load balancing strategies. Implementation of a low level service requires in order to stay efficient to avoid the necessity for high overhead. DLBS aims to be a generic load balancing service and an easy and efficient portability with a CORBA object request broker has been possible thanks to aspect oriented programming.

关键词： Load management Delay Application software Middleware Large-scale systems Network servers Distributed computing Operating systems Monitoring Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

OS support for P2P programming: a case for TPS

OS support for P2P programming: a case for TPS

引用

international conference on Distributed Computing Systems

作者： S. Baehni P.T. Eugster R. Guerraoui Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland

Just as the remote procedure call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, type-based publish-subscribe (TPS) can be viewed as a high-level candidate abstraction for building peer-to-peer (P2P) applications over WANs. This paper relates our preliminary, though positive, experience of implementing and using TPS over JXTA, which can be viewed as the P2P counterpart to sockets. We show that, at least for P2P applications with the Java type model, TPS provides a high-level programming support that ensures type safety and encapsulation, without hampering the decoupled nature of these applications. Furthermore, the loss of flexibility (inherent to the use of any high level abstraction) and the performance overhead, are negligible with respect to the simplicity gained by using TPS.

关键词： Computer aided software engineering Encapsulation Sockets Libraries Peer to peer computing Safety Protocols Java Internet Operating systems

来源：评论

学校读者我要写书评

暂无评论

Event-driven coordination of real-time components

Event-driven coordination of real-time components

引用

international conference on Distributed Computing Systems Workshop

作者： T. Limniotes C. Mourlas G.A. Papadopoulos Department of Computer Science University of Cyprus Nicosia Cyprus

The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the software components involved have real-time requirements. The paper presents an extension to a state-of-the-art controller event-driven coordination language with real-time capabilities. It then illustrates the expressiveness of the proposed extensions by means of modeling a distributed multimedia application. Finally, it discusses how these extensions can be supported by the underlying architecture.

关键词： Multimedia systems Real time systems Algorithm design and analysis Dynamic programming Scheduling Communication system control Computer science Application software Concurrent computing Distributed computing

来源：评论

学校读者我要写书评

暂无评论

A pluggable service-to-service communication mechanism for VNA architecture

A pluggable service-to-service communication mechanism for V...

引用

international conference on Distributed Computing Systems

作者： J. Nakazawa Y. Tobe H. Tokuda Graduate School of Media and Governance Keio University Fujisawa Kanagawa Japan

This paper proposes a middleware for home networks, called Virtual Networked Appliance (VNA) architecture, in which the service description method and the Service to Service (S2S) communication mechanism are separated in an orthogonal way. Through the separation, VNA architecture solved the following two problems of existing middleware technologies: aspect violation and middleware fragmentation. In this paper, we first clarify the two problems and their relationship. Then, we describe the proposed middleware architecture as a solution from the viewpoint of the overall configuration and the S2S communication mechanism.

关键词： Middleware Home appliances Home automation programming profession Access protocols Computer architecture Computer networks Home computing Usability Timing

来源：评论

学校读者我要写书评

暂无评论

Non-blocking transactional mobile agent execution

Non-blocking transactional mobile agent execution

引用

international conference on Distributed Computing Systems

作者： S. Pleisch A. Schiper Zurich Research Laboratory IBM Research Switzerland Distributed Systems Laboratory Swiss Federal Institute of Technology Lausanne Switzerland

Mobile agents are computer programs that act autonomously on behalf of a user and travel through a network of heterogeneous machines. To enable mobile agent technology for e-business, transaction support needs to be provided, in particular execution atomicity. Execution atomicity ensures that either all operations of the agent succeed, or none at all, and needs to be ensured also in the face of infrastructure failures. We distinguish between blocking and non-blocking solutions for transactional mobile agents, i.e., mobile agents, that execute as a transaction. The approach presented in the paper is non-blocking. A non-blocking transactional mobile agent execution has the important advantage, that it can make progress despite failures.

关键词： Mobile agents Computer crashes Laboratories Books Computer networks Distributed computing Throughput logic

来源：评论

学校读者我要写书评

暂无评论

Towards dynamic configuration of distributed applications

Towards dynamic configuration of distributed applications

引用

international conference on Distributed Computing Systems Workshop

作者： M. Blay-Fornarino A.-M. Pinna-Dery M. Riveill Laboratoire I3S CNRS University of Nice Sophia-Antipolis France

Configuring distributed applications at deployment time requires the introduction of high-level features such as transaction and synchronization into application code. Component models like CORBA Component Model (CCM) or Enterprise Java Beans (EJB) allow programmers to declare in deployment descriptors which services have to be plugged into components. However, these approaches do not allow a dynamic integration of new services. In this paper, we propose a reflexive approach allowing service integration into a component at runtime. When a new service is added to a component, the combination with existing services is managed dynamically by the platform.

关键词： programming profession Reflection Java Context-aware services Visualization Runtime environment Data security Information security Transaction databases Open source software

来源：评论

学校读者我要写书评

暂无评论

Unification of replication and transaction processing in three-tier architectures

Unification of replication and transaction processing in thr...

引用

international conference on Distributed Computing Systems

作者： W. Zhao L.E. Moser P.M. Melliar-Smith Department of Electrical and Computer Engineering University of California Santa Barbara CA USA

In this paper we describe a software infrastructure that unifies replication and transaction processing in three-tier architectures and, thus, provides high availability and fault tolerance for enterprise applications. The infrastructure is based on the Fault Tolerant CORBA and CORBA Object Transaction Service standards, and works with commercial-off-the-shelf application servers and database systems. The infrastructure replicates the application servers to protect the business logic processing. In addition, it replicates the transaction coordinator which renders the two-phase commit protocol non-blocking and, thus, avoids potentially long service disruptions caused by coordinator failure. The infrastructure handles the interactions between the application servers and the database servers through replicated gateways that prevent duplicate requests from reaching the database servers. The infrastructure implements client-side automatic failover mechanisms, which guarantees that clients know the outcome of the requests that they have made. The infrastructure starts the transactions at the application servers, and retries aborted transactions, caused by process or communication failures, automatically on the behalf of the clients.

关键词： Application software Computer architecture Transaction databases Availability Fault tolerance Fault tolerant systems Database systems Protection Business logic

来源：评论

学校读者我要写书评

暂无评论

Reasoning about joint administration of access policies for coalition resources

Reasoning about joint administration of access policies for ...

引用

international conference on Distributed Computing Systems

作者： H. Khurana V. Gligor J. Linn University of Maryland College Park MD USA RSA Laboratories Bedford MA USA

We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distributes attribute certificates authorizing access to policy objects (e.g., ACLs). Control over the issuance of such certificates is retained by member domains separately holding shares of the joint coalition authority's private key with which they sign the attribute certificates. Hence, any (proper) subset of the member domains need not be trusted to protect the private key. However, application servers that implement joint administration of access policies based on attribute certificates must trust all the signers of those certificates, namely all member domains of the coalition. To capture these trust relations we extend existing access control logics and show that the extensions are sound. To reason about joint administration of access policies, we illustrate an authorization protocol in our logic for accessing policy objects using threshold attribute certificates.

关键词： Public key Web server Access control logic Access protocols Resource management Diseases Protection File servers Authorization

来源：评论

学校读者我要写书评

暂无评论

Hermes: a distributed event-based middleware architecture

Hermes: a distributed event-based middleware architecture

引用

international conference on Distributed Computing Systems Workshop

作者： P.R. Pietzuch J.M. Bacon Computer Laboratory University of Cambridge Cambridge UK

In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing publish/subscribe systems still have limitations compared to invocation-based middlewares. We introduce Hermes, a novel event-based distributed middleware architecture that follows a type- and attribute-based publish/subscribe model. It centres around the notion of an event type and supports features commonly known from object-oriented languages like type hierarchies and super-type subscriptions. A scalable routing algorithm using an overlay routing network is presented that avoids global broadcasts by creating rendezvous nodes. Fault-tolerance mechanisms that can cope with different kinds of failures in the middleware are integrated with the routing algorithm resulting in a scalable and robust system.

关键词： Middleware Large-scale systems Routing Distributed computing Object oriented modeling Subscriptions Java programming profession Network servers Local area networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 190 191 192 193 194 195 196 197 198 199 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：