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

7th Eye Tracking Research and Applications Symposium, ETRA 2012

作者： Hejmady, Prateek Narayanan, N. Hari Intelligent and Interactive Systems Laboratory Computer Science and Software Engineering Department Auburn University Auburn AL 36849 United States

ISBN: (纸本)9781450312257

Integrated Development Environments (IDE) generate multiple graphical and textual representations of programs. Co-ordination of these representations during program comprehension and debugging can be a complex task. In order to better understand the role and effectiveness of multiple representations, we conducted an empirical study of Java program debugging with a professional, multi-representation IDE. We found that program code and dynamic representations (dynamic viewer, variable watch and output) attracted the most attention of programmers. Static representations like Unified Modeling Language (UML) Diagrams and Control Structure Diagrams (CSD) saw significantly lesser usage. We analyzed gaze patterns by segmenting the debugging sessions into three, five and fifteen minute intervals, and classifying gazes into short and long gazes. Novel data mining techniques were used to detect high frequency patterns from eye tracking data. Visual pattern differences were found among participants based on their programming experience, familiarity with the IDE and debugging performance. © 2012 ACM.

关键词： Eye tracking

来源：评论

学校读者我要写书评

暂无评论

State estimation for jump Markov linear systems with uncompensated biases

State estimation for jump Markov linear systems with uncompe...

引用

American Control Conference

作者： Wenling Li Yingmin Jia Junping Du Jun Zhang Deyuan Meng Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China. Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 China

ISBN: (纸本)9781479901777

This paper studies the problem of state estimation for jump Markov linear systems with uncompensated biases. By describing the state and the measurement biases as additive random variables, a suboptimal filter has been developed by applying the basic interacting multiple model (IMM) approach. To derive a precise representation of the biases contributions to the state estimation, three auxiliary matrices are introduced with respect to the correlation between the state estimation errors and the biases, which helps to derive mode-conditioned estimates in the framework of the IMM. A numerical example involving tracking a maneuvering target is provided to compare the performance of the proposed filter with that of the augmented state filter.

关键词： Jump Markov linear system Interacting multiple model Uncompensated bias State estimation Bias uncompensated maneuvering target Linear system interacting boson model Markov jump IMM

来源：评论

学校读者我要写书评

暂无评论

An intelligent tutoring and interactive simulation environment for physics learning

引用

11th International Conference on Intelligent Tutoring systems, ITS 2012

作者： Myneni, Lakshman S. Narayanan, N. Hari Intelligent and Interactive Systems Research Laboratory Computer Science and Software Engineering Dept. Auburn University Auburn AL 36849 United States

ISBN: (纸本)9783642309496

This paper presents a learning environment called the Virtual Physics System (ViPS) that helps students learn physics concepts in the context of pulleys, a class of simple machines that are difficult to construct and experiment with in the real world. ViPS is novel in that it combines simulation and tutoring, identifies student misconceptions, customizes tutoring accordingly, and employs a pedagogical strategy of guiding students in problem solving through construction and simulation of pulley setups. An evaluation study showed that ViPS is effective in helping students learn and overcome their misconceptions. © 2012 Springer-Verlag.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

ViPS: An intelligent tutoring system for exploring and learning physics through simple machines

ViPS: An intelligent tutoring system for exploring and learn...

引用

4th International Conference on computer Supported Education, CSEDU 2012

ISBN: (纸本)9789898565068

Students tend to retain naive understandings of concepts such as energy and force even after completing physics lessons in science classes. We developed a learning environment called the Virtual Physics System (ViPS) to help students master these concepts in the context of pulleys, a class of simple machines that are difficult to construct and experiment with in the real world. Several features make ViPS unique: it combines simulation and tutoring, it customizes tutoring to address common misconceptions and it employs a pedagogical strategy that identifies student misconceptions and guides students in solving problems through virtual experimentation. This paper describes the ViPS system and studies in which we evaluated its efficacy. Our results indicate that ViPS is effective in helping students learn and overcome their misconceptions.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Identity Based Encryption and Biometric Authentication Scheme for Secure Data Access in Cloud Computing

引用

电子学报(英文版) 2012年第2期21卷 254-259页

作者： CHENG Hongbing RONG Chunming TAN Zhenghua ZENG Qingkai State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Department of Information Engineering Jiangsu City Vocation College Nanjing 210036 China Department of Electronic Engineering and Computer Science University of Stavanger 4036 Stavanger Norway Department of Electronic Systems Aalborg University Niels Jernes Vej 12 9220 Aalborg Denmark

Cloud computing will be a main informa- tion infrastructure in the future; it consists of many large datacenters which are usually geographically distributed and heterogeneous. How to design a secure data access for cloud computing platform is a big challenge. In this paper, we propose a secure data access scheme based on identity-based encryption and biometric authentication for cloud computing. Firstly, we describe the security concern of cloud computing and then propose an integrated data access scheme for cloud computing, the procedure of the proposed scheme include parameter setup, key distribu- tion, feature template creation, cloud data processing and secure data access control. Finally, we compare the pro- posed scheme with other schemes through comprehensive analysis and simulation. The results show that the pro- posed data access scheme is feasible and secure for cloud computing.

关键词：计算安全数据访问身份验证生物识别加密信息基础设施地理分布数据中心

来源：评论

学校读者我要写书评

暂无评论

Ontology-based support for security requirements specification process

Ontology-based support for security requirements specificati...

引用

Confederated International Workshops on On the Move to Meaningful Internet systems, OTM 2012: OTM Academy, Industry Case Studies Program, EI2N 2012, INBAST 2012, META4eS 2012, OnToContent 2012, ORM 2012, SeDeS 2012, SINCOM 2012, and SOMOCO 2012

作者： Daramola, Olawande Sindre, Guttorm Moser, Thomas Department of Computer and Information Sciences Covenant University Ota Nigeria Norway Christian Doppler Laboratory for Software Engineering Integration for Flexible Automation Systems Vienna University of Technology Austria

ISBN: (纸本)9783642336171

The security requirements specification (SRS) is an integral aspect of the development of secured information systems and entails the formal documentation of the security needs of a system in a correct and consistent way. However, in many cases there is lack of sufficiently experienced security experts or security requirements (SR) engineer within an organization, which limits the quality of SR that are specified. This paper presents an approach that leverages ontologies and requirements boilerplates in order to alleviate the effect of lack of highly experienced personnel for SRS. It also offers a credible starting point for the SRS process. A preliminary evaluation of the tool prototype - ReqSec tool - was used to demonstrate the approach and to confirm its usability to support the SRS process. The tool helps to reduce the amount of effort required, stimulate discovery of latent security threats, and enables the specification of good quality SR. © 2012 Springer-Verlag.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

A location-price-based buyer coalition

A location-price-based buyer coalition

引用

2012 IEEE 12th International Conference on computer and Information Technology, CIT 2012

作者： Narabin, Santit Boonjing, Veera Software Systems Engineering Laboratory Department of Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand National Centre of Excellence in Mathematics PERDO Bangkok Thailand

ISBN: (纸本)9780769548586

A buyer coalition is a group of buyers who join together to negotiate with sellers to purchase items for a larger discount. In this article, a novel buyer coalition scheme, called the "GroupSimilarBuyer Scheme, " is introduced. The new idea focuses on buyer coalition formation based on similarity of buyers. The mechanism of approach begins to prepare data for driving the next step. Then, a k-mean clustering algorithm is used to form the coalition of buyers which are very similar in both reservation price and location of buyer. In addition, the utility of each buyer coalition is calculated. Based on the simulation result, the GroupSimilarBuyer showed that the average standard deviation of the coalition was nearly the optimum result. © 2012 IEEE.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Managing implicit requirements using semantic case-based reasoning research preview

Managing implicit requirements using semantic case-based rea...

引用

18th Working Conference on Requirements engineering: Foundation for software quality, REFSQ 2012

作者： Daramola, Olawande Moser, Thomas Sindre, Guttorm Biffl, Stefan Department of Computer and Information Science Norwegian University of Science and Technology Trondheim Norway Christian Doppler Laboratory for Software Engineering Integration for Flexible Automation Systems Vienna University of Technology Austria

ISBN: (纸本)9783642287138

[Context and motivation] Implicit requirements (ImRs) are defined as requirements of a system which are not explicitly expressed during requirements elicitation, often because they are considered so basic that developers should already know them. Many products have been rejected or users made unhappy because implicit requirements were not sufficiently addressed. [Question/Problem] Requirement management tools have not addressed the issue of managing ImRs, also despite the challenges of managing ImRs that exist in practice the issue has not received sufficient attention in the literature. [Principal Idea/results] This planned research will investigate how automated support can be provided for managing ImRs within an organizational context, which is currently lacking in practice. This work proposed an approach that is based on semantic case-based reasoning for managing ImRs. [Contribution] We present the concept of a tool which enables managing of ImRs through the analogy-based requirements reuse of previously known ImRs. This ensures the discovery, structured documentation, proper prioritization, and evolution of ImRs, which improves the overall success of software development processes. © 2012 Springer-Verlag.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Formation learning algorithms for mobile agents subject to 2-D dynamically changing topologies

Formation learning algorithms for mobile agents subject to 2...

引用

American Control Conference

作者： Deyuan Meng Yingmin Jia Junping Du Jun Zhang Wenling Li Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 P. R. China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 P. R. China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 P. R. China

ISBN: (纸本)9781479901777

In this paper, we consider a two-dimensional (2-D) formation problem for multi-agent systems subject to switching topologies that dynamically change along both a finite time axis and an infinite iteration axis. We present a distributed iterative learning control (ILC) algorithm via the nearest neighbor rules. By employing the 2-D approach, we develop both the asymptotic and exponentially fast convergence of our formation ILC, which can be guaranteed by conditions in terms of the spectral radius and the matrix norms, respectively.

关键词： Multi-agent systems ILC switching topologies formation learning algorithms learning algorithms Multi-agent systems International Labour Conference Mobile agents spectral radius

来源：评论

学校读者我要写书评

暂无评论

High availability through output continuity

High availability through output continuity

引用

2012 IEEE International Conference on Cluster Computing Workshops, Cluster Workshops 2012

作者： Ye, Wei Dong, Yaozu Ma, Ruhui Liang, Alei Guan, Haibing Shanghai Key Laboratory of Scalable Computing and Systems Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China Intel China Software Center Shanghai 200241 China

ISBN: (纸本)9780768548449

Virtual machine (VM) based state machine approaches, i.e. VM replication, provide high availability without source code modifications, unfortunately, existing VM replication approaches suffer from excessive replication overheads. On the other hand, machine state replication is an overly strong (and therefore less efficient) requirement for high availability in the networked client-server system. In this paper, we propose a generic and highly efficient high availability solution through output continuity. Output continuity considers a backup server as a valid replica as long as the responses generated so far are the same between the backup and primary servers, the server state is propagated from the primary server to the backup server if and only if the previous outputs from the backup and primary servers are different. © 2012 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：