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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

120 篇 会议
3 篇 期刊文献
1 册 图书

馆藏范围

124 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

51 篇 工学
- 39 篇 计算机科学与技术...
- 36 篇 软件工程
- 5 篇 信息与通信工程
- 4 篇 材料科学与工程（可...
- 4 篇 电气工程
- 2 篇 控制科学与工程
- 2 篇 土木工程
- 2 篇 化学工程与技术
- 2 篇 安全科学与工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 电子科学与技术（可...
13 篇 理学
- 9 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 1 篇 地球物理学
9 篇 管理学
- 7 篇 管理科学与工程(可...
- 2 篇 工商管理
- 2 篇 图书情报与档案管...
2 篇 法学
- 1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

63 篇 predictive model...
23 篇 data models
17 篇 software
12 篇 training
11 篇 computational mo...
8 篇 feature extracti...
8 篇 accuracy
8 篇 forecasting
7 篇 neural networks
6 篇 support vector m...
6 篇 machine learning
6 篇 machine learning...
6 篇 measurement
5 篇 logic gates
5 篇 semantics
5 篇 analytical model...
5 篇 time series anal...
4 篇 task analysis
4 篇 software enginee...
4 篇 benchmark testin...

机构

2 篇 computing school...
2 篇 beijing advanced...
2 篇 school of inform...
2 篇 computer science...
2 篇 school of techno...
2 篇 cercia school of...
2 篇 dept. of compute...
2 篇 school of electr...
2 篇 the university o...
2 篇 dept. electrical...
2 篇 volvo car group ...
1 篇 college of compu...
1 篇 institute for so...
1 篇 ericsson gothenb...
1 篇 univ costa rica ...
1 篇 napier univ edin...
1 篇 department of co...
1 篇 univ washington ...
1 篇 gitam school of ...
1 篇 acme engineering...

作者

4 篇 hall tracy
4 篇 bowes david
3 篇 yang zhang
2 篇 yao xin
2 篇 yuzhuo fu
2 篇 büşra kocaçınar
2 篇 vael kokach
2 篇 fatma patlar akb...
2 篇 mu yi
2 篇 wagner stefan
2 篇 leandro l. minku
2 篇 jörgen hansson
2 篇 ting liu
2 篇 malhotra ruchika
2 篇 rakesh rana
2 篇 wenbo chen
2 篇 bener ayse
2 篇 minku leandro l.
2 篇 di penta massimi...
2 篇 xin yao

语言

123 篇 英文
1 篇 其他

检索条件"任意字段=9th International Conference on Predictive Models in Software Engineering, PROMISE 2013"

共 124 条记录，以下是91-100 订阅

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

详细简洁

排序：

Non-intrusive process-based monitoring system to mitigate and prevent VM vulnerability explorations

Non-intrusive process-based monitoring system to mitigate an...

引用

9th IEEE international conference on Collaborative Computing: Networking, Applications and Worksharing, COLLABORATECOM 2013

作者： Chung, Chun-Jen Cui, Jingsong Khatkar, Pankaj Huang, Dijiang School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ United States Computing School Wuhan University Wuhan China

ISBN: (纸本)9781936968923

Cloud is gaining momentum but its true potential is hampered by the security concerns it has raised. Having vulnerable virtual machines in a virtualized environment is one such concern. Vulnerable virtual machines are an easy target and existence of such weak nodes in a network jeopardizes its entire security structure. Resource sharing nature of cloud favors the attacker, in that, compromised machines can be used to launch further devastating attacks. First line of defense in such case is to prevent vulnerabilities of a cloud network from being compromised and if not, to prevent propagation of the attack. To create this line of defense, we propose a hybrid intrusion detection framework to detect vulnerabilities, attacks, and their carriers, i.e. malicious processes in the virtual network and virtual machines. this framework is built on attack graph based analytical models, VMM-based malicious process detection, and reconfigurable virtual network-based countermeasures. the proposed framework leverages software Defined Networking to build a monitor and control plane over distributed programmable virtual switches in order to significantly improve the attack detection and mitigate the attack consequences. the system and security evaluations demonstrate the efficiency and effectiveness of the proposed solution. © 2013 ICST.

关键词： software defined networking

来源：评论

学校读者我要写书评

暂无评论

Modeling practices in open source software 9th

Modeling practices in open source software

引用

9th IFIP WG 2.13 international conference on Open Source software, OSS 2013

作者： Badreddin, Omar Lethbridge, Timothy C. Elassar, Maged University of Ottawa 800 King Edward OttawaON Canada IBM Ottawa Laboratories 770 Palladium Dr OttawaON Canada

ISBN: (纸本)9783642389276

It is widely accepted that modeling in software engineering increases productivity and results in better code quality. Yet, modeling adoption remains low. the open source community, in particular, remains almost entirely code centric. In this paper, we explore the reasons behind such limited adoption of modeling practices among open source developers. We highlight characteristics of modeling tools that would encourage their adoption. We propose Umple as a solution where both modeling and coding elements are treated uniformly. In this approach, models can be manipulated textually and code can be edited visually. We also report on the Umple compiler itself as a case study of an open source project where contributors, using the above approach, have and continue to routinely commit code and model over a number of years. © IFIP international Federation for Information Processing 2013.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

promise and ISBSG software engineering Data Repositories: A Survey

Promise and ISBSG Software Engineering Data Repositories: A ...

引用

Joint conference of the Int'l Workshop on and international conference on software Process and Product Measurement software Measurement

作者： Laila Cheikhi Alain Abran École Nationale Supérieure d'Informatique et d'Analyse des Systémes Université Mohammed V-Souissi Rabat Morocco Ecole de Technologie Supérieure Université du Québec Montréal Canada

the two ongoing repositories of software projects in the software engineering community are the ISBSG (international software Benchmarking Standards Group) Repository and promise (Predictor models In software engineering). these repositories lack structured documentation and a researcher interested in using the datasets has to conduct his own investigation to identify the datasets that are suitable for his purposes. this paper provides additional information on these datasets by identifying the topics addressed, highlighting the availability of the data file and of the description of attributes related to the datasets, and indicating their usefulness for benchmarking studies.

关键词： software software engineering Availability predictive models Industries Benchmark testing Data models

来源：评论

学校读者我要写书评

暂无评论

Formal specification of an erase block management layer for flash memory

Formal specification of an erase block management layer for ...

引用

9th Haifa Verification conference, HVC 2013

作者： Pfähler, Jörg Ernst, Gidon Schellhorn, Gerhard Haneberg, Dominik Reif, Wolfgang Institute for Software and Systems Engineering University of Augsburg Germany

ISBN: (纸本)9783319030760

this work presents a formal specification and an implementation of an erase block management layer and a formal model of the flash driver interface. It is part of our effort to construct a verified file system for flash memory. the implementation supports wear-leveling, handling of bad blocks and asynchronous erasure of blocks. It uses additional data structures in RAM for efficiency and relies on a model of the flash driver, which is similar to the Memory Technology Device (MTD) layer of Linux. We specify the effects of unexpected power failure and subsequent recovery. All models are mechanized in the interactive theorem prover KIV. © 2013 Springer international Publishing Switzerland.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Real-time visual tracking based on an appearance model and a motion mode

引用

9th international conference on Intelligent Computing, ICIC 2013

作者： Li, Guizi Zhang, Lin Li, Hongyu School of Software Engineering Tongji University Shanghai China

ISBN: (纸本)9783642394812

Object tracking is a challenging problem in computer vision community. It is very difficult to solve it efficiently due to the appearance or motion changes of the object, such as pose, occlusion, or illumination. Existing online tracking algorithms often update models with samples from observations in recent frames. And some successful tracking algorithms use more complex models to make the performance better. But most of them take a long time to detect the object. In this paper, we proposed an effective and efficient tracking algorithm with an appearance model based on features extracted from the multi-scale image feature space with data-independent basis and a motion mode based on Gaussian perturbation. In addition, the features used in our approach are compressed in a small vector, making the classifier more efficient. the motion model based on random Gaussian distribution makes the performance more effective. the proposed algorithm runs in real-time and performs very well against some existing algorithms on challenging sequences. © 2013 Springer-Verlag.

关键词： Object detection

来源：评论

学校读者我要写书评

暂无评论

Generic Mediated Encryption

Generic Mediated Encryption

引用

9th international ICST conference on Security and Privacy in Communication Networks (SecureComm)

作者： Elashry, Ibrahim Mu, Yi Susilo, Willy Univ Wollongong Ctr Comp & Informat Secur Res Sch Comp Sci & Software Engn Wollongong NSW 2522 Australia

ISBN: (纸本)9783319042831;9783319042824

We propose a generic mediated encryption (GME) system that converts any identity based encryption (IBE) to a mediated IBE. this system is based on enveloping an IBE encrypted message using a user's identity into another IBE envelope, using the identity of a security mediator (SEM) responsible for checking users for revocation. We present two security models based on the role of the adversary whether it is a revoked user or a hacked SEM. We prove that GME is as secure as the SEM's IBE (the envelope) against a revoked user and as secure as the user's IBE (the letter) against a hacked SEM. We also present two instantiations of GME. the first instantiation is based on the Boneh-Franklin (BF) FullIBE system, which is a pairing-based encryption system. the second instantiation is based on the Boneh, Gentry and Hamburg (BGH) system, which is a non pairing-based encryption system.

关键词： Key Revocation Problem Identity-based Encryption Double Encryption

来源：评论

学校读者我要写书评

暂无评论

the Effects of Variable Selection Methods on Linear Regression-Based Effort Estimation models

The Effects of Variable Selection Methods on Linear Regressi...

引用

Joint conference of the Int'l Workshop on and international conference on software Process and Product Measurement software Measurement

作者： Sousuke Amasaki Tomoyuki Yokogawa Department of Systems Engineering Okayama Prefectural University Soja Okayama JAPAN

Stepwise regression has often been used for variable selection of effort estimation models. However it has been criticized for inappropriate selection, and another method is recommended. We thus examined the effects of Lasso, which is one of such variable selection methods. An experiment with datasets from promise repository revealed that Lasso-based selection stably selected better variables than stepwise in predictive performance. We thus concluded Lasso-based selection is preferable to stepwise regression.

关键词： Input variables Estimation Linear regression software Training Testing

来源：评论

学校读者我要写书评

暂无评论

Logistic regression bias correction for large scale data with rare events

Logistic regression bias correction for large scale data wit...

引用

9th international conference on Advanced Data Mining and Applications, ADMA 2013

作者： Qiu, Zhen Li, Hongyan Su, Hanchen Ou, Gaoyan Wang, Tengjiao Department of Intelligent Science School of EECS Peking University Beijing 100871 China Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing 100871 China

ISBN: (纸本)9783642539169

Logistic regression is a classical classification method, it has been used widely in many applications which have binary dependent variable. However, when the data sets are imbalanced, the probability of rare event is underestimated in the use of traditional logistic regression. With data explosion in recent years, some researchers propose large scale logistic regression which still fails to consider the rare event, therefore, there exists bias when applying their models for large scale data sets with rare events. To address the problems, this paper proposes LRBC method to correct bias of logistic regression for large scale data sets with rare events. Empirical studies compare LRBC with several state-of-the-art algorithms on an actual ad clicking data set. It demonstrates that LRBC method is able to exhibit much better classification performance, and the distributed process for bias correction also scales well. © 2013 Springer-Verlag.

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

software analytics = sharing information 13

Software analytics = sharing information

引用

Proceedings of the 9th international conference on predictive models in software engineering

作者： thomas Zimmermann Microsoft Research Redmond WA

ISBN: (纸本)9781450320160

software and its development generates an inordinate amount of data. Development activities such as check-ins, work items, bug reports, code reviews, and test executions are recorded in software repositories. User interactions that reflect how customers experience software are recorded in telemetry data, run-time traces, and log files and helps to track application and feature usage and expose performance and reliability. software analytics takes this data and turns it into actionable insight to better inform decisions related to software. To a large extent, software analytics is about what we can learn and share about software. this include our own projects but also projects by others. Looking back at decades of research in empirical software engineering and mining software repositories, software analytics lets us share different things: insights, models, methods, and data. In this talk, I will present successful efforts from Microsoft and academia on software analytics and try to convince you that analytics is all about sharing information.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Purpose driven design of a KDD enabled application for experimental data analysis

Purpose driven design of a KDD enabled application for exper...

引用

international conference on Computational Cybernetics (ICCC)

作者： V. Gaspar L. Madarász Department of Cybernetics and Artificial Intelligence Technical University of Košice Kosice Slovakia

the aim of this paper is mainly to present a way of designing a software application, where the final goal is to discovery new relevant (usually tacit) knowledge. A comparison of standard approach and proposed, problem driven design approach is also briefly denoted. the paper defines the need of general criteria that have to be met in the application development process and also components and functions that have to be present in the final deployed application. KDD (knowledge discovery in databases) process has specific steps that are usually omitted or disregarded, when considering application design for particular purposes. the most important factor is that the application has to be in compliance with the standard knowledge discovery process to ensure best practices, used in solving every KDD problem. As an example we have created a definition of such an application for the Laboratory of Intelligent Control Systems of Jet Engines (LIRS LM).

关键词： Data analysis Knowledge discovery Time measurement Databases Laboratories Algorithm design and analysis predictive models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共13页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：