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

2014 Operational Research Society Simulation Workshop, SW 2014

作者： Taylor, Simon J. E. Kiss, Tamas Kacsuk, Peter Terstyanszky, Gabor Nicola, Fantini Department of Information Systems and Computing Brunel University Uxbridge MiddlesexUB8 3PH United Kingdom Centre for Parallel Computing Department of Business Information Systems University of Westminster 115 New Cavendish St LondonW1W 6UW United Kingdom MTA SZTAKI Victor Hugo u. 18-22 Budapest1132 Hungary Department of Computer Science and Software Engineering Faculty of Science and Technology University of Westminster LondonW1W 6UW United Kingdom Huobstrasse 10 Pfäffikon8808 Switzerland

There is a demand from simulation users for speed, the ability to obtain quickly results from simulation runs. Cloud computing offers the potential for scalable, on-demand access to resources that can be used to speed up simulation. However, developing cloud computing solutions for industry is difficult without appropriate expertise. This paper introduces the CloudSME project that is dedicated to developing cloud computing solutions for simulation in industry and presents an overview of the CloudSME Simulation Platform that is being used to support an initial set of Cloud-based versions of Simul8's discrete-event simulation environment, Ascomp's TransAT computational fluid dynamics application, Ingecon's 3D Scan Insole Designer tool and 2MORO's Bfly software for aircraft maintenance logistics. The paper presents an overview of cloud computing, the CloudSME project, the architecture of the CloudSME Simulation Platform and its two key elements: gUse and CloudBroker.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Panel discussion: Proposals for improving OCL 14

Panel discussion: Proposals for improving OCL

引用

14th International Workshop on OCL and Textual Modeling: Applications and Case Studies, OCL 2014

作者： Brucker, Achim D. Clark, Tony Dania, Carolina Georg, Geri Gogolla, Martin Jouault, Frédéric Teniente, Ernest Wolff, Burkhart SAP SE Vincenz-Priessnitz-Str. 1 Karlsruhe76131 Germany Department of Computer Science Middlesex University London United Kingdom IMDEA Software Institute Madrid Spain Computer Science Department Colorado State University Fort Collins United States Database Systems Group University of Bremen Germany LUNAM Université Nantes Angers le Mans TRAME Team Angers France Department of Service and Information System Engineering Universitat Politècnica de Catalunya BarcelonaTech. Spain Univ. Paris-Sud Laboratoire LRI UMR 8623 Orsay91405 France CNRS Orsay91405 France

During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued the discussion that started at the OCL meeting in Aachen in 2013 and on which we reported in the proceedings of the last year's OCL workshop. This collaborative paper, to which each OCL expert contributed one section, summarises the panel discussion as well as describes the suggestions for further improvements in more detail.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An advanced hyper-efficient design to detect random peer-to-peer botnets

Communications in Computer and Information Science

引用

Communications in computer and Information science 2013年 414卷 251-258页

作者： Siddiqui, Isma Farah Faseeh, Nawab Muhammad Lee, Scott Uk-Jin Unar, Mukhtiar Ali Department of Software Engineering Mehran UET Jamshoro Pakistan Software Engg Lab Hanyang University ERICA Campus Hanyang Korea Republic of Sungkyunkwan University Seoul Korea Republic of Department of Computer Science and Engineering Hanyang University Hanyang Korea Republic of Department of Computer Systems Engineering Mehran UET Jamshoro Pakistan

Botnets have become one of the most solemn threats to Internet security. Botnets comprises over a network of infected nodes known as ‘bot’. Bots are controlled by human operators (botmasters). Random nature of Peerto-Peer botnets has influenced sinkhole researchers to compromise over occupation of hunted command and control in a complex manner and due to variable nature of action, they are often good deserters. In this paper, we present a design of an advanced hyper-efficient mechanism which has the ability to pursue Peerto-Peer randomized botnets. It provides capacity to detain targeted sinkholes and identify arbitrary execution of contagion in infected nodes. In the end, method acquires the composition of different cubic formations for proper lookup of random natured Peer-to-Peer botnets. © Springer International Publishing Switzerland 2014.

关键词： Botnet

来源：评论

学校读者我要写书评

暂无评论

Stochastic Bounded Real Lemma for Switched Stochastic systems with Average Dwell Time

Stochastic Bounded Real Lemma for Switched Stochastic System...

引用

IEEE Annual Conference on Decision and Control

作者： Hongji Ma Yingmin Jia Junping Du Fumitoshi Matsuno Department of Systems and Control LIMB Beihang University (BUAA) Beijing 100191 China 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 Department of Mechanical Engineering and Science Graduate School of Engineering Kyoto University Kyoto 615-8540 Japan

ISBN: (纸本)9781467360890

This paper addresses the H_∞ performance and H_∞ control of switched stochastic linear systems subject to average dwell-time switching. At first, a sufficient condition is presented to guarantee the switched stochastic system to achieve a weighted H_∞ performance under the condition that all subsystems are asymptotic mean square stable. Further, the disturbance attenuation property of the considered systems is investigated when both stable and unstable subsystems are included. It is shown that if the active time of unstable subsystems is properly allocated, a stochastic bounded real lemma (SBRL) can be established based on the solvability of linear matrix inequalities (LMIs). As an application of the obtained SBRL, the robust control problem is settled for a class of switched stochastic systems with (x,u,v)-dependent noises, and the state-feedback H_∞ controller is developed.

关键词： dwell time stochastic systems SUB-SYSTEM attenuation characteristic Stochastic Lemma effective time Bounded computability Controllers

来源：评论

学校读者我要写书评

暂无评论

Process deployment: A taxonomy of critical success factors

Process deployment: A taxonomy of critical success factors

引用

2010 6th International Joint Conference on computer, Information, and systems sciences, and engineering, CISSE 2010

作者： Bayona, Luz S. Calvo-Manzano, Jose A. Cuevas, Gonzalo Feliu, Tomás San Faculty of Computer Science Department of Languages and IT Systems and Software Engineering Technical University of Madrid Madrid Spain

ISBN: (纸本)9781461435570

Various methods, models and standards for software process improvement have been adopted by organizations to improve their software processes. However, despite these efforts they still encounter difficulties in their process deployment throughout the organization. This is because the vast majority of these efforts focus more on the technical aspects, bypassing the human aspects. There is a set of factors that influence the successful deployment of new or modified processes. This paper presents taxonomy of critical success factors in software process deployment to achieve the processes institutionalization. The development of a taxonomy related to these critical success factors is based on a systematic review of existing literature on specialized databases and industrial experiences that have deployed or implemented processes. © 2013 Springer science+Business Media.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

Cooperative Bicircular Target Tracking Using Multiple Unmanned Aerial Vehicles

Cooperative Bicircular Target Tracking Using Multiple Unmann...

引用

IEEE Annual Conference on Decision and Control

作者： Yueqian Liang Yingmin Jia Junping Du Fumitoshi Matsuno 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 Department of Mechanical Engineering and Science Kyoto University Kyoto 606-8501 Japan

ISBN: (纸本)9781467360890

This paper investigates the problem of tracking a moving target using multiple fixed-wing unmanned aerial vehicles (UAVs) under a new bicircular formation. This new formation for cooperative standoff target tracking is first developed by maximizing the amount of Fisher information. Guidance vector fields are designed, and based on them, a cooperation approach is proposed to adapt the unknown target velocity and achieve the cooperative bicircular tracking. Speed and heading rate are firstly controlled to track the guidance vector fields separately for each UAV, then the speed is further adjusted to maintain the desired angular separation between the UAVs. Simulation experiments are given to verify the effectiveness of the proposed approach.

关键词： bicircular Target tracking vehicle

来源：评论

学校读者我要写书评

暂无评论

software architecture documentation for developers: A survey

Software architecture documentation for developers: A survey

引用

7th European Conference on software Architecture, ECSA 2013

作者： Rost, Dominik Naab, Matthias Lima, Crescencio Von Flach Garcia Chavez, Christina Fraunhofer Institute for Experimental Software Engineering Kaiserslautern Germany Fraunhofer Project Center on Software and Systems Engineering Department of Computer Science Federal University of Bahia Bahia Brazil

ISBN: (纸本)9783642390302

software architecture has become an established discipline in industry. Nevertheless, the available documentation of architecture is often not perceived as adequate by developers. As a foundation for the improvement of methods and tools around architecture documentation, we conducted a survey with 147 industrial participants, investigating their current problems and wishes for the future. Participants from different countries in Europe, Asia, North and South America shared their experiences. This paper presents the results of the survey. The results confirmed the common belief that architecture documentation is most frequently outdated and inconsistent and backed it up with data. Further, developers perceive difficulties with a "one-size-fits-all" architecture documentation, which does not adequately provide information for their specific task and context. Developers seek for more interactive ways of working with architecture documentation that allow finding needed information more easily with extended navigation and search possibilities. © 2013 Springer-Verlag.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented model-driven code generation: A systematic mapping study

Aspect-oriented model-driven code generation: A systematic m...

引用

作者： Mehmood, Abid Jawawi, Dayang N.A. Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 Skudai Johor Malaysia

Context: Model-driven code generation is being increasingly applied to enhance software development from perspectives of maintainability, extensibility and reusability. However, aspect-oriented code generation from models is an area that is currently underdeveloped. Objective: In this study we provide a survey of existing research on aspect-oriented modeling and code generation to discover current work and identify needs for future research. Method: A systematic mapping study was performed to find relevant studies. Classification schemes have been defined and the 65 selected primary studies have been classified on the basis of research focus, contribution type and research type. Results: The papers of solution proposal research type are in a majority. All together aspect-oriented modeling appears being the most focused area divided into modeling notations and process (36%) and model composition and interaction management (26%). The majority of contributions are methods. Conclusion: Aspect-oriented modeling and composition mechanisms have been significantly discussed in existing literature while more research is needed in the area of model-driven code generation. Furthermore, we have observed that previous research has frequently focused on proposing solutions and thus there is need for research that validates and evaluates the existing proposals in order to provide firm foundations for aspect-oriented model-driven code generation. © 2012 Elsevier B.V. All rights reserved.

关键词： engineering research

来源：评论

学校读者我要写书评

暂无评论

Facilitating students' collaboration and learning in a question and answer system 13

Facilitating students' collaboration and learning in a quest...

引用

2013 2nd ACM Conference on computer Supported Cooperative Work Companion, CSCW 2013

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

ISBN: (纸本)9781450313322

Green Dolphin (GD) is a question and answer system for students learning programming, with a social web interface. It crowd-sources the task of answering technical questions to the peers of students who ask questions. GD has several original features that make it different from existing systems. It automatically identifies students who are knowledgeable based on their activity, and tags them as experts to whom other students can ask questions. GD provides students with automatic feedback of the quality of code they submit. Thus, students get fast and high quality answers from their peers and the system, freeing up time for teachers. After a student posts a question in GD, it delays making visible answers from instructors and teaching assistants so that other students are encouraged to participate, and have time to answer the question. We believe that this can significantly increase student participation, collaboration and sense of ownership. Students gain new knowledge from the flow of questions and answers in the system. They develop communication skills by asking and answering questions as well as programming and debugging skills. Copyright © 2012 by the Association for Computing Machinery, Inc. (ACM).

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Comparative evaluation of an error checking approach for MPSoC

International Journal of Multimedia and Ubiquitous Engineeri...

引用

International Journal of Multimedia and Ubiquitous engineering 2013年第5期8卷 145-158页

作者： Liu, Tang Qin, Huang-Zhang Bin, Hou-Yi Cai, Fang-Feng Bing, Zhang-Hui Embedded Software and Systems Institutes Beijing University of Technology China Department of Physics and Electronics Engineering Guangxi Teachers Education University Nanning 530024 China Department of computer science and Electronics Engineering GuiLin University of Electronic Technology GuiLin 541004 China

This paper proposes a hardware error checking approach (CCRC) by using redundancy core for multiprocessor system-on-chip (MPSoC) and describes several main error detection methods based on software-Implemented Hardware Fault Tolerance (SHIF) idea proposed in literatures. The CCRC approach insert some error detection code in high level code, detect the existing of redundancy core in MPSoC, then complete the calculation of detection code in redundancy core. The author compares the CCRC approach with several main error detection methods on error detection capabilities, area, memory and performance overheads in an experiment platform. The result of comparative evaluation shows that the CCRC approach is effective for MPSoC, taking some advantages in versatility and lower cost. © 2013 SERSC.

关键词： Redundancy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：