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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

858 篇 会议
482 篇 期刊文献
12 册 图书

馆藏范围

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

日期分布

学科分类号

828 篇 工学
- 566 篇 计算机科学与技术...
- 454 篇 软件工程
- 147 篇 信息与通信工程
- 111 篇 控制科学与工程
- 109 篇 电子科学与技术（可...
- 86 篇 电气工程
- 64 篇 生物工程
- 61 篇 机械工程
- 48 篇 安全科学与工程
- 44 篇 交通运输工程
- 43 篇 动力工程及工程热...
- 32 篇 化学工程与技术
- 31 篇 光学工程
- 29 篇 仪器科学与技术
- 27 篇 生物医学工程（可授...
- 26 篇 材料科学与工程（可...
- 24 篇 网络空间安全
- 23 篇 建筑学
417 篇 理学
- 222 篇 数学
- 120 篇 物理学
- 75 篇 统计学（可授理学、...
- 72 篇 生物学
- 49 篇 系统科学
- 40 篇 化学
- 27 篇 地球物理学
199 篇 管理学
- 139 篇 管理科学与工程(可...
- 89 篇 工商管理
- 72 篇 图书情报与档案管...
48 篇 法学
- 43 篇 社会学
33 篇 经济学
- 33 篇 应用经济学
18 篇 医学
14 篇 教育学
9 篇 农学
7 篇 文学
1 篇 哲学
1 篇 军事学

主题

58 篇 computer science
51 篇 software
47 篇 hardware
39 篇 computer archite...
37 篇 companies
35 篇 fault tolerance
33 篇 testing
32 篇 vehicles
27 篇 software enginee...
27 篇 protocols
23 篇 machine learning
22 篇 conferences
22 篇 embedded systems
21 篇 interviews
20 篇 software design
19 篇 registers
19 篇 application soft...
19 篇 security
18 篇 fault tolerant s...
17 篇 real time system...

机构

185 篇 department of co...
96 篇 department of co...
69 篇 department of co...
41 篇 department of co...
39 篇 computer science...
34 篇 computer science...
28 篇 dept. of compute...
24 篇 department of el...
19 篇 department of el...
19 篇 chalmers univers...
18 篇 department of si...
15 篇 dept. of compute...
14 篇 department of co...
14 篇 department of co...
14 篇 computer science...
14 篇 computer science...
12 篇 chalmers univers...
12 篇 department of co...
11 篇 university of go...
11 篇 molecular ai dis...

作者

49 篇 jan bosch
44 篇 bosch jan
34 篇 larsson-edefors ...
34 篇 per larsson-edef...
29 篇 chehreghani mort...
28 篇 helena holmström...
27 篇 tsigas philippas
25 篇 feldt robert
22 篇 johan karlsson
20 篇 engkvist ola
18 篇 papatriantafilou...
16 篇 olsson helena ho...
15 篇 robert feldt
14 篇 berger christian
14 篇 schiller elad m.
13 篇 chaudron michel ...
13 篇 dubhashi devdatt
12 篇 erland jonsson
12 篇 karlsson johan
12 篇 olovsson tomas

语言

1,222 篇 英文
124 篇 其他
7 篇 中文
1 篇 德文
1 篇 法文
1 篇 意大利文

检索条件"机构=Computer Science and Engineering.Chalmers University of Technology"

共 1352 条记录，以下是861-870 订阅

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

详细简洁

排序：

Protecting vehicles against unauthorised diagnostics sessions using trusted third parties 1

引用

32nd International Conference on computer Safety, Reliability, and Security, SAFECOMP 2013

作者： Kleberger, Pierre Olovsson, Tomas Department of Computer Science and Engineering Chalmers University of Technology 412 96 Gothenburg Sweden

ISBN: (数字)9783642407932

ISBN: (纸本)9783642407925

Wireless vehicle diagnostics is expected to provide great improvements to the maintenance of future cars. By using certificates, vehicles can identify diagnostics equipment for a diagnostics session, even over long distances. However, since the diagnostics equipment contains authentication keys used to authenticate such sessions, it is critical that neither the keys nor the equipment is lost. Such a loss can give unauthorised access to any vehicle accepting these keys until the theft is detected and the certificates are revoked. In this paper, we propose a method to protect vehicles against unauthorised diagnostics sessions. A trusted third party is introduced to authorise sessions, thus we do not rely solely on proper identification and authentication of diagnostics equipment. Our approach enables vehicles to verify the validity of diagnostics requests. It is transparent to the diagnostics protocol being used, supports different levels of trust, and can control what commands are permitted during diagnostics sessions. © 2013 Springer-Verlag.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

Customer-specific teams for agile evolution of large-scale embedded systems

Customer-specific teams for agile evolution of large-scale e...

引用

39th Euromicro Conference Series on Software engineering and Advanced Applications, SEAA 2013

作者： Olsson, Helena Holmstrom Bosch, Jan Alahyari, Hiva Dept. of Computer Science Malmö University Malmö Sweden Computer Science and Engineering Chalmers University of Technology Gothanburg Sweden

ISBN: (纸本)9780769550916

For more than a decade, agile methods have shown successful for increasing responsiveness to customer needs. Agile methods advocate close customer collaboration in the early phases of software development. However, research on how to maintain agile ways of working during software evolution is scarce. Based on a qualitative interview study, this paper explores how benefits of agile practices can be established and maintained in the evolution phase of software development. We direct our attention to large-scale software development of embedded systems where development companies struggle to meet the needs of a large customer base. The contribution of this paper is two-fold. First, we propose customer-specific teams as a way to reap the benefits of agile methods in the evolution phase of large-scale software development. Second, we confirm the use of these teams as successful for improving customer responsiveness, customer satisfaction and feature quality during software evolution. © 2013 IEEE.

关键词： Customer satisfaction

来源：评论

学校读者我要写书评

暂无评论

Chaos: Versatile and efficient all-to-all data sharing and in-network processing at scale 13

Chaos: Versatile and efficient all-to-all data sharing and i...

引用

11th ACM Conference on Embedded Networked Sensor Systems, SenSys 2013

作者： Landsiedel, Olaf Ferrari, Federico Zimmerling, Marco Department of Computer Science and Engineering Chalmers University of Technology Sweden Computer Engineering and Networks Laboratory ETH Zurich Switzerland

ISBN: (纸本)9781450320276

An important building block for low-power wireless systems is to effciently share and process data among all devices in a network. However, current approaches typically split such all-to-all interactions into sequential collection, processing, and dissemination phases, thus handling them ineffciently. We introduce Chaos, the first primitive that natively sup-ports all-to-all data sharing in low-power wireless networks. Different from current approaches, Chaos embeds program-able in-network processing into a communication support based on synchronous transmissions. We show that this de-sign enables a variety of common all-to-all interactions, including network-wide agreement and data aggregation. Re-sults from three testbeds and simulations demonstrate that Chaos scales eficiently to networks consisting of hundreds of nodes, achieving severalfold improvements over LWB and CTP/Drip in radio duty cycle and latency with almost 100% reliability across all scenarios we tested. For example, Chaos computes simple aggregates, such as the maximum, in a 100- node multi-hop network within less than 90 milliseconds.

关键词： Low power electronics

来源：评论

学校读者我要写书评

暂无评论

Migration of an on-premise application to the cloud: Experience report

Migration of an on-premise application to the cloud: Experie...

引用

2nd European Conference on Service-Oriented and Cloud Computing, ESOCC 2013

作者： Rabetski, Pavel Schneider, Gerardo Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden University of Gothenburg Gothenburg Sweden

ISBN: (纸本)9783642406508

As of today it is still not clear how and when cloud computing should be used. Developers very often write applications in a way that does not really fit a cloud environment, and in some cases without taking into account how quality attributes (like performance, security or portability) are affected. In this paper we share our experience and observations from adopting cloud computing for an on-premise enterprise application in a context of a small software company. We present experimental results concerning a comparative evaluation (w.r.t. performance and cost) of the behavior of the original system both on-premise and on the Cloud, considering different scenarios in the Cloud. © 2013 Springer-Verlag.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Random visual GUI testing: Proof of concept 25

Random visual GUI testing: Proof of concept

引用

25th International Conference on Software engineering and Knowledge engineering, SEKE 2013

作者： Alégroth, Emil Department of Computer Science and Engineering Chalmers University of Technology GöteborgSE-41296 Sweden

ISBN: (纸本)1891706330

Market demands for higher quality software and shorter time-to-market delivery have resulted in a need for new automated software testing techniques. Most automated testing techniques are designed for regression testing that limit their fault finding ability to faults explicitly tested in scenarios/scripts. To overcome this limitation, companies define test processes with several test techniques, e.g. unit testing and random testing (RT). RT is a technique that can be performed manually or automatically with tools such as Fuzz, DART and Quickcheck. However, these tools operate on lower levels of system abstraction, leaving a gap for a Graphical User Interface (GUI), bitmap level, automated RT technique. In this paper we present proof of concept for Random Visual GUI testing (RVGT), a novel automated test technique that combines GUI based testing, Visual GUI Testing, with random testing. Proof of concept for RVGT is evaluated in a three phase study with results that show that RVGT is applicable for both functional and non-functional/quality requirement conformance testing. Furthermore, results from a survey performed in industry indicate that there is industrial need for the technique. These pivotal results show that further research into RVGT is warranted. Copyright © 2013 by Knowledge Systems Institute Graduate School.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Increasing efficiency of ISO 26262 verification and validation by combining fault injection and mutation testing with model based development

Increasing efficiency of ISO 26262 verification and validati...

引用

8th International Joint conference on Software Technologies, ICSOFT 2013

作者： Rana, Rakesh Staron, Miroslaw Berger, Christian Hansson, Jörgen Nilsson, Martin Törner, Fredrik Computer Science and Engineering University of Gothenburg Gothenburg Sweden Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden Volvo Car Corporation Gothenburg Sweden

ISBN: (纸本)9789898565686

The rapid growth of software intensive active safety functions in modern cars resulted in adoption of new safety development standards like ISO 26262 by the automotive industry. Hazard analysis, safety assessment and adequate verification and validation methods for software and car electronics require effort but in the long run save lives. We argue that in the face of complex software development set-up with distributed functionality, Model-Based Development (MBD) and safety-criticality of software embedded in modern cars, there is a need for evolving existing methods of MBD and complementing them with methods already used in the development of other systems (Fault Injection and Mutation Testing). Our position is that significant effectiveness and efficiency improvements can be made by applying fault injection techniques combined with mutation testing approach for verification and validation of automotive software at the model level. The improvements include such aspects as identification of safety related defects early in the development process thus providing enough time to remove the defects. The argument is based on our industrial case studies, the studies of ISO 26262 standard and academic experiments with new verification and validation methods applied to models. Copyright © 2013 SCITEPRESS.

关键词： Simulink

来源：评论

学校读者我要写书评

暂无评论

Energy efficiency optimization in hardware-constrained large-scale MIMO systems

Energy efficiency optimization in hardware-constrained large...

引用

International Symposium on Wireless Communication Systems (ISWCS)

作者： Xinlin Zhang Michail Matthaiou Mikael Coldrey Emil Björnson Department of Signals and Systems Chalmers University of Technology Gothenburg Sweden School of Electronics Electrical Engineering and Computer Science Queen's University Belfast Belfast U.K. Ericsson Research Ericsson AB Gothenburg Sweden Department of Electrical Engineering (ISY) Linköping University Linköping Sweden

ISBN: (纸本)9781479958641

Large-scale multiple-input multiple-output (MIMO) communication systems can bring substantial improvement in spectral efficiency and/or energy efficiency, due to the excessive degrees-of-freedom and huge array gain. However, large-scale MIMO is expected to deploy lower-cost radio frequency (RF) components, which are particularly prone to hardware impairments. Unfortunately, compensation schemes are not able to remove the impact of hardware impairments completely, such that a certain amount of residual impairments always exists. In this paper, we investigate the impact of residual transmit RF impairments (RTRI) on the spectral and energy efficiency of training-based point-to-point large-scale MIMO systems, and seek to determine the optimal training length and number of antennas which maximize the energy efficiency. We derive deterministic equivalents of the signal-to-noise-and-interference ratio (SINR) with zero-forcing (ZF) receivers, as well as the corresponding spectral and energy efficiency, which are shown to be accurate even for small number of antennas. Through an iterative sequential optimization, we find that the optimal training length of systems with RTRI can be smaller compared to ideal hardware systems in the moderate SNR regime, while larger in the high SNR regime. Moreover, it is observed that RTRI can significantly decrease the optimal number of transmit and receive antennas.

关键词： Signal to noise ratio MIMO Hardware Training Interference Receiving antennas

来源：评论

学校读者我要写书评

暂无评论

UML class diagram simplification: A survey for improving reverse engineered class diagram comprehension

UML class diagram simplification: A survey for improving rev...

引用

1st International Conference on Model-Driven engineering and Software Development, MODELSWARD 2013

作者： Osman, Hafeez Van Zadelhoff, Arjan Chaudron, Michel R.V. Leiden Institute of Advanced Computer Science Leiden University Leiden Netherlands Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9789898565426

Class diagrams may include an overwhelming amount of information. For a large and complex class diagrams there is a possibility that not all information in the class diagram is important for understanding the system. In this paper, we study how to identify essential and secondary information in class diagrams. To this end, we performed a survey with professionals, academics and students to enquire information in class diagrams that is considered important. In total, 25 complete responses were received with 76% of the respondents having average or above skills with class diagrams. As the results, we discovered that the metric that counts the number of public operations is the most important metric for indicating importance of a class in a diagram. Also, we discovered that class names and coupling were influencing factors when it comes to excluding classes from a class diagram.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

UML usage in open source software development : A field study 3

UML usage in open source software development : A field stud...

引用

3rd International Workshop on Experiences and Empirical Studies in Software Modeling, EESSMod 2013 - Co-located with 16th International Conference on Model Driven engineering Languages and Systems, MoDELS 2013

作者： Osman, Hafeez Chaudron, Michel R.V. Leiden Institute of Advanced Computer Science Leiden University Netherlands Joint Department of Computer Science and Engineering Chalmers University of Technology and Goteborg University Sweden

UML is the de facto standard for modeling software designs and is commonly used in commercial software development. However, little is known about the use of UML in Open-source Software Devel- opment. This paper evaluates the usage of UML modeling in ten open- source projects selected from common open-source repositories. We eval- uated the usage of UML diagrams based on the information available in the open-source projects repositories. Our study covers the types of UML diagrams that are used and how frequently UML models are updated. Our findings also include the change in focus on types of diagram used over time and researches on how the size of models relates to the size of the implementation. Copyright © 2013 for the individual papers by the papers' authors.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Combinations of antipattern heuristics in software architecture optimization for embedded systems 6

Combinations of antipattern heuristics in software architect...

引用

6th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACESMB 2013 - Co-located with ACM/IEEE 16th International Conference on Model Driven engineering Languages and Systems, MoDELS 2013

作者： Etemaadi, Ramin Chaudron, Michel R.V. Leiden Institute of Advanced Computer Science Leiden University Netherlands Joint Department of Computer Science and Engineering Chalmers University of Technology Gothenborg University Sweden

A large number of quality properties need to be addressed in nowadays complex embedded systems by architects. Evolutionary algorithms can help architects to find optimal solutions which meet these conicting quality attributes. Also, architectural patterns and antipatterns give the architect knowledge of solving design bottlenecks. Hence, antipatterns heuristics have been used as domain-specific search operators within the evolutionary optimization. However, these heuristics usually improve only one quality attribute and using them in multiobjective problem is challenging. This paper studies the extent to which heuristic-based search operators can improve multiobjective optimization of software architecture for embedded systems. It compares various combinations of heuristic-based operators in a real world automotive system case study.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共136页 << < 83 84 85 86 87 88 89 90 91 92 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：