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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,032 篇 会议
8 篇 期刊文献
2 册 图书

馆藏范围

1,042 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

626 篇 工学
- 576 篇 计算机科学与技术...
- 291 篇 软件工程
- 229 篇 电气工程
- 225 篇 信息与通信工程
- 80 篇 控制科学与工程
- 41 篇 仪器科学与技术
- 38 篇 动力工程及工程热...
- 37 篇 网络空间安全
- 36 篇 交通运输工程
- 36 篇 安全科学与工程
- 17 篇 电子科学与技术（可...
- 12 篇 机械工程
- 11 篇 生物工程
- 7 篇 建筑学
- 7 篇 环境科学与工程（可...
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
122 篇 理学
- 62 篇 数学
- 36 篇 化学
- 13 篇 系统科学
- 12 篇 生物学
- 10 篇 统计学（可授理学、...
- 6 篇 物理学
111 篇 管理学
- 81 篇 管理科学与工程(可...
- 64 篇 图书情报与档案管...
- 34 篇 工商管理
8 篇 经济学
- 8 篇 应用经济学
5 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
3 篇 法学
- 3 篇 社会学
1 篇 军事学

主题

121 篇 distributed comp...
73 篇 computer science
57 篇 protocols
56 篇 distributed comp...
55 篇 cloud computing
53 篇 mobile computing
49 篇 middleware
47 篇 computer archite...
46 篇 costs
42 篇 scalability
41 篇 application soft...
41 篇 computer network...
40 篇 computational mo...
39 篇 intelligent netw...
38 篇 bandwidth
36 篇 real time system...
35 篇 peer to peer com...
33 篇 monitoring
31 篇 network servers
31 篇 internet

机构

4 篇 university of st...
4 篇 school of scienc...
3 篇 college of compu...
3 篇 ibm thomas j. wa...
3 篇 school of comput...
3 篇 brown univ dept ...
3 篇 department of el...
3 篇 univ chicago il ...
3 篇 nppd tehran
3 篇 georgia institut...
3 篇 institute of com...
3 篇 natl univ def te...
2 篇 department of co...
2 篇 school of comput...
2 篇 univ nevada dept...
2 篇 department of co...
2 篇 the chinese univ...
2 篇 mitre corporatio...
2 篇 information init...
2 篇 computer science...

作者

4 篇 uwe breitenbüche...
4 篇 frank leymann
3 篇 y. shibata
3 篇 dustdar schahram
3 篇 takizawa hiroyuk...
2 篇 j.a. stankovic
2 篇 posdorfer wolf
2 篇 miremadi seyed g...
2 篇 datskova olga
2 篇 m. ito
2 篇 garcia jordi
2 篇 li j
2 篇 jukan admela
2 篇 souissi samia
2 篇 cheng yijun
2 篇 cook james r.
2 篇 m. takizawa
2 篇 casadei roberto
2 篇 bouamama sadok
2 篇 wu jan-jan

语言

1,042 篇 英文

检索条件"任意字段=23rd International Conference on Distributed Computing Systems Workshops"

共 1042 条记录，以下是211-220 订阅

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

详细简洁

排序：

23rd international conference on Fundamental Approaches to Software Engineering, FASE 2020, held as part of the European Joint conferences on Theory and Practice of Software, ETAPS 2020

23rd International Conference on Fundamental Approaches to S...

引用

23rd international conference on Fundamental Approaches to Software Engineering, FASE 2020, held as part of the European Joint conferences on Theory and Practice of Software, ETAPS 2020

ISBN: (纸本)9783030452339

The proceedings contain 31 papers. The special focus in this conference is on Fundamental Approaches to Software Engineering. The topics include: Hybridtiger: Hybrid model checking and domination-based partitioning for efficient multi-goal test-suite generation (competition contribution);esbmc: Scalable and precise test generation based on the floating-point theory: (competition contribution);tracerx: Dynamic symbolic execution with interpolation (competition contribution);LLVM-based hybrid fuzzing with libkluzzer (competition contribution);integrating topological proofs with model checking to instrument iterative design;coveritest with dynamic partitioning of the iteration time limit (competition contribution);legion: Best-first concolic testing (competition contribution);a generalized formal semantic framework for smart contracts;an empirical study on the use and misuse of java 8 streams;extracting semantics from question-answering services for snippet reuse;global reproducibility through local control for distributed active objects;multi-level model product lines: Open and closed variability for modelling language families;computing program reliability using forward-backward precondition analysis and model counting;etaps foreword;preface;improving symbolic automata learning with concolic execution;skill-Based verification of cyber-physical systems;Generating large EMF models efficiently: A rule-based, configurable approach;Family-Based SPL model checking using parity games with variability;model-Based tool support for service design;incremental concurrent model synchronization using triple graph grammars;statistical model checking for variability-intensive systems;schema compliant consistency management via triple graph grammars and integer linear programming;towards multiple model synchronization with comprehensive systems;analysis and refactoring of software systems using performance antipattern profiles;business process compliance using reference models of law

关键词：

来源：评论

学校读者我要写书评

暂无评论

Low-Dimension Robust Computational Algorithm for a Linear distributed Parameter Water Hammer Model 23

Low-Dimension Robust Computational Algorithm for a Linear Di...

引用

23rd international conference on System Theory, Control and computing (ICSTCC)

作者： Danciu, Daniela Stinga, Florin Univ Craiova Dept Automat Control & Elect Craiova Romania

ISBN: (纸本)9781728106991

Water hammer is a hydraulic phenomenon occurring in cases of sudden load drop e.g. hydraulic turbine shutdown. These undesirable events lead to fast transients processes which require taking into account the distributed parameters. As a system with distributed parameters, the most realistic mathematical model of the water hammer phenomenon is that described by hyperbolic Partial Differential Equations. The qualitative evaluation of this phenomenon is performed by means of its computational model obtained by using a loworder robust computational algorithm previously introduced. Simulated experiments are discussed from the points of view of the engineering problem as well as of the numerical approach.

关键词： distributed Parameter systems Hyperbolic Partial Differential Equations Water hammer Computational procedure

来源：评论

学校读者我要写书评

暂无评论

Deployment of distributed Applications across Public and Private Networks 23

Deployment of Distributed Applications across Public and Pri...

引用

IEEE 23rd international Enterprise distributed Object computing Workshop (EDOCW)

作者： Kepes, Kalman Breitenbuecher, Uwe Leymann, Frank Saatkamp, Karoline Weder, Benjamin Univ Stuttgart Inst Architecture Applicat Syst Stuttgart Germany

ISBN: (纸本)9781728127026

The growing usage of software and hardware in our everyday lives has lead to paradigms such as Cloud computing, Edge computing, and the Internet of Things. The combination of these paradigms results in distributed and heterogeneous target environments: components of an application often need to be deployed in different environments such as clouds, private data centers, and small devices. This makes the deployment of distributed applications a complex and error-prone challenge as deployment systems have to (i) support cloud deployments, (ii) determine the location of physical resources, (iii) cope with security mechanisms preventing inbound communication, and (iv) use hardware-constrained devices. In this paper, we present an approach for the automated deployment of distributed applications on heterogeneous target environments consisting of public and private clouds, and devices. We especially tackle the issue of deploying components in environments having restricted inbound communication capabilities. We prototypically implemented and compared our approach based on a smart home scenario using TOSCA and the OpenTOSCA Ecosystem.

关键词： distributed application deployment heterogeneous infrastructures orchestration automation TOSCA

来源：评论

学校读者我要写书评

暂无评论

Representing and Querying Norm States Using Temporal Ontology-Based Data Access 23

Representing and Querying Norm States Using Temporal Ontolog...

引用

IEEE 23rd international Enterprise distributed Object computing Workshop (EDOCW)

作者： Cardoso, Evellin Montali, Marco Calvanese, Diego Free Univ Bozen Bolzano KRDB Res Ctr Bolzano Italy

ISBN: (纸本)9781728127026

The prominent role of normative primitives for regulating interactions in enterprise systems makes their representation and inspection a crucial task. In particular, querying the states of norms is essential to assess the accountability and compliance of interacting parties, as well as to reconstruct the historical evolution of their mutual contractual relationships. The main issue, however, is that the temporal data stored during the operation of the enterprise system are typically at a low level of abstraction, and do not directly refer to norms and their states. To overcome this problem, we propose the QUEN framework for querying norm states on top of legacy relational databases. QUEN builds on the temporal extension of the well-established framework of Ontology-Based Data Access (OBDA) to semantically represent normative primitives and their temporal states, and to map them to the underlying legacy data. The distinctive feature of QUEN is that mappings are not arbitrarily expressed by the modeler, but are instead automatically synthesized starting from a specification that explicitly indicates how the constitutive components of a normative primitive, as well as its lifecycle, can be reconstructed from the legacy data.

关键词： Multiagent systems Norms Ontologies Temporal data

来源：评论

学校读者我要写书评

暂无评论

Parallel and distributed algorithms for the housing allocation problem 23

Parallel and distributed algorithms for the housing allocati...

引用

23rd international conference on Principles of distributed systems, OPODIS 2019

作者： Zheng, Xiong Garg, Vijay K. Electrical and Computer Engineering Department University of Texas Austin United States

ISBN: (纸本)9783959771337

We propose parallel and distributed algorithms for the housing allocation problem. In this problem, there is a set of agents and a set of houses. Each agent has a strict preference list for a subset of houses. We need to find a matching for agents to houses such that some criterion is optimized. One such criterion which has attracted much attention is Pareto optimality. A matching is Pareto optimal if no coalition of agents can be strictly better off by exchanging houses among themselves. We also study the housing market problem, a variant of the housing allocation problem, where each agent initially owns a house. In addition to Pareto optimality, we are also interested in finding the a matching in the core of a housing market. A matching is in the core if there is no coalition of agents that can be better off by breaking away from other agents and switching houses only among themselves in the initial allocation. In the first part of this work, we show that computing a Pareto optimal matching of a house allocation is in CC and computing a matching in the core of a housing market is CC-hard, where CC is the class of problems logspace reducible to the comparator circuit value problem. Given a matching of agents to houses, we show that verifying whether it is Pareto optimal is in NC. We also show that verifying whether it is in the core can be done in NC. We then give an algorithm to show that computing a maximum cardinality Pareto optimal matching for the housing allocation problem is in RNC2 and quasi-NC2. In the second part of this work, we present a distributed version of the top trading cycle algorithm for finding a matching in the core of a housing market. To that end, we first present two algorithms for finding all the disjoint cycles in a functional graph. The first algorithm is a Las Vegas algorithm which terminates in O(log l) rounds with high probability, where l is the length of the longest cycle. The second algorithm is a deterministic algorithm which term

关键词： Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

Q-Store: distributed, multi-partition transactions via queue-oriented execution and communication 23

Q-Store: Distributed, multi-partition transactions via queue...

引用

23rd international conference on Extending Database Technology, EDBT 2020

作者： Qadah, Thamir M. Gupta, Suyash Sadoghi, Mohammad Exploratory Systems Lab Purdue University West Lafayette United States Exploratory Systems Lab University of California Davis United States Exploratory Systems Lab Umm Al-Qura University Makkah Saudi Arabia

ISBN: (纸本)9783893180837

distributed database systems partition the data across multiple nodes to improve the concurrency, which leads to higher throughput performance. Traditional concurrency control algorithms aim at producing an execution history equivalent to any serial history of transaction execution. Hence an agreement on the final serial history is required for concurrent transaction execution. Traditional agreement protocols such as Two-Phase-Commit (2PC) are typically used but act as a significant bottleneck when processing distributed transactions that access many partitions. 2PC requires extensive coordination among the participating nodes to commit a transaction. Unlike traditional techniques, deterministic concurrency control techniques aim for producing an execution history that obeys a pre-determined transaction ordering. Recent proposals for deterministic transaction processing demonstrate high potential for improving the system throughput, which had led to their successful commercial adoption. However, these proposals do not efficiently utilize and exploit modern computing resources and are limited by design to conservative execution. In this paper, we propose a novel distributed queue-oriented transaction processing paradigm that fundamentally re-thinks how deterministic transaction processing is performed. The proposed paradigm supports multiple execution paradigms, multiple isolation levels, and is amenable to efficient resource utilization. We employ the principles of our proposed paradigm to build Q-Store, which is the first to support speculative execution and exploits intra-transaction parallelism efficiently among proposed deterministic and distributed transaction processing systems. We perform extensive evaluation against both deterministic and non-deterministic transaction processing protocols and demonstrate up to two orders of magnitude of improved performance. © 2020 Copyright held by the owner/author(s).

关键词： distributed database systems

来源：评论

学校读者我要写书评

暂无评论

Avoiding vendor-lockin in cloud monitoring using generic agent templates 23rd

Avoiding vendor-lockin in cloud monitoring using generic age...

引用

23rd international conference on Business Information systems, BIS 2020

作者： Mormul, Mathias Hirmer, Pascal Stach, Christoph Mitschang, Bernhard Institute for Parallel and Distributed Systems University of Stuttgart Stuttgart70563 Germany

ISBN: (纸本)9783030533366

Cloud computing passed the hype cycle long ago and firmly established itself as a future technology since then. However, to utilize the cloud optimally, and therefore, as cost-efficiently as possible, a continuous monitoring is key to prevent an over- or under-commissioning of resources. However, selecting a suitable monitoring solution is a challenging task. Monitoring agents that collect monitoring data are spread across the monitored IT environment. Therefore, the possibility of vendor lock-ins leads to a lack of flexibility when the cloud environment or the business needs change. To handle these challenges, we introduce generic agent templates that are applicable to many monitoring systems and support a replacement of monitoring systems. Solution-specific technical details of monitoring agents are abstracted from and system administrators only need to model generic agents, which can be transformed into solution-specific monitoring agents. The transformation logic required for this process is provided by domain experts to not further burden system administrators. Furthermore, we introduce an agent lifecycle to support the system administrator with the management and deployment of generic agents. © Springer Nature Switzerland AG 2020.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques 23

ATLaS: A Framework for Traceability Links Recovery Combining...

引用

IEEE 23rd international Enterprise distributed Object computing Workshop (EDOCW)

作者： Bella, Emma Effa Creff, Stephen Gervais, Marie-Pierre Bendraou, Reda Paris Saclay IRT SystemX St Aubin France Univ Paris Nanterre CNRS LIP6 Paris France Sorbonne Univ CNRS LIP6 Paris France

ISBN: (纸本)9781728127026

Current Model-Based systems Engineering (MBSE) practices to design and implement complex systems require modeling and analysis based on many representations: structure, dynamics, safety, security, etc. This induces a large volume of overlapping heterogeneous artefacts which are subject to frequent changes during the project life cycle. In order to verify and validate systems requirements and ensure that models meet user's needs, MBSE techniques shall rely on consistent traceability management. In this paper, we investigate the benefits of Information Retrieval (IR) techniques and the latest advances in Natural Language Processing (NLP) approaches to suggest stakeholders with candidate semantic links generated from the processing of structured and unstructured contents. We illustrate our approach called ATLaS (Aggregation Trace Links Support) through an application on the design and analysis of a mobility service gathering several industrial partners. We provide an empirical evaluation regarding its limitations as part of an industrial MBSE process. Most importantly, we highlight how our method drastically reduces the false positive links generated compared to current IR techniques. The results obtained suggest a good synergy between the presented approach and MBSE techniques.

关键词： Model-Based systems Engineering Requirements Traceability Information Retrieval Natural Language Processing Semi-supervised techniques

来源：评论

学校读者我要写书评

暂无评论

Model-Based Reconfiguration Planning for a distributed On-board Computer 12

Model-Based Reconfiguration Planning for a Distributed On-bo...

引用

12th System Analysis and Modelling conference, SAM 2020, collocated with the 23rd international conference on Model-Driven Engineering and systems, MODEL 2020

作者： Kovalov, Andrii Vishav, Vishav Franz, Tobias Gerndt, Andreas Watolla, Hannes Lüdtke, Daniel Institute for Software Technology Braunschweig Germany University of Bremen Bremen Germany

ISBN: (纸本)9781450381406

The ScOSA project (Scalable On-board computing for Space Avionics) of the German Aerospace Center aims at combining radiation hardened space hardware together with unreliable, but high performance COTS (commercial off-the-shelf) components as the processing nodes in a heterogeneous on-board network in order to provide future space missions with the necessary processing capabilities. However, such a system needs to cope with node failures. Our approach is to use a static reconfiguration graph that controls how software tasks are mapped to the processing nodes, and how this mapping should change in response to possible node failures. In this paper we present a model-based approach and a tool for automatic generation of reconfiguration graphs. Based on the software and hardware models, we traverse the graph of all possible failure situations. For every node of this graph we solve a combinatorial optimization problem of mapping tasks to processing nodes either with an SMT solver or using a genetic algorithm. The resulting reconfiguration graph can then be translated into the configuration files that are deployed on the target system, eliminating the need for tedious and error-prone manual configuration design. © 2020 Copyright held by the owner/author(s).

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

TP-Based Fuzzy Control Solutions for Magnetic Levitation systems 23

TP-Based Fuzzy Control Solutions for Magnetic Levitation Sys...

引用

23rd international conference on System Theory, Control and computing (ICSTCC)

作者： Hedrea, Elena-Lorena Precup, Radu-Emil Bojan-Dragos, Claudia-Adina Hedrea, Ciprian Politehn Univ Timisoara AAI Dept Timisoara Romania Politehn Univ Timisoara Math Dept Timisoara Romania

ISBN: (纸本)9781728106991

In this paper two cascade control system (CCS) structures designed in order to control the position of the magnetic sphere of a Magnetic levitation laboratory equipment are presented. The proposed CCS structures consist of a TP-based controller (TP-C) in the inner control loop and a Proportional Integral Fuzzy Controller (PI-FC) with integration of controller output (Fuzzy-OI-TP-CS) and a PI-FC with integration of controller input (Fuzzy-II-TP-CS) in the outer control loop, respectively. The parallel distributed compensation technique (PDC), the modal equivalence principle and the modulus optimum method are used in the design of the suggested CCS structures. The experimental results validate the proposed control solutions. Finally, a comparative analysis is also included.

关键词： TP-based model transformation technique fuzzy control Maglev systems experimental results

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 18 19 20 21 22 23 24 25 26 27 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：