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

6th International Workshop on Variability Modeling of Software-Intensive systems, VaMoS'12

作者： Steffens, Michaela Oster, Sebastian Lochau, Malte Fogdal, Thomas Danfoss Power Electronics A/S Denmark Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450310581

Testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of testing each individual product of the SPL under test. In this contribution we present the results of applying the MoSo-PoLiTe framework at Danfoss Power Electronics A/S to calculate a representative set of product configurations for black box testing purposes. Within this evaluation we use MoSo-PoLiTe's pairwise configuration selection component on the basis of a feature model. This component implements a heuristics finding a minimal subset of configurations covering 100% T-wise feature interaction. According to the best of our knowledge, this is the first publication providing industrial results about pairwise SPL testing. © 2012 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Learning event detection rules with noise hidden Markov models

Learning event detection rules with noise hidden Markov mode...

引用

2012 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2012

作者： Mutschler, Christopher Philippsen, Michael Programming Systems Group CS Dept. University of Erlangen-Nuremberg Germany Sensor Fusion and Event Processing Group Locating and Comm. Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Erlangen Germany

ISBN: (纸本)9781467319157

Complex Event Processing (CEP) is a popular method to monitor processes in several contexts, especially when dealing with incidents at distinct points in time. Specific temporal combinations of various events are often of special interest for automatic detection. For the description of such patterns, one can either implement rules in some higher programming language or use some Event Description Language (EDL). Both is complicated and error-prone for non-engineers, because it varies greatly from natural language. Therefore, we present a method, by which a domain expert can simply signal the occurrence of a significant incident at a specific point in time. The system then infers rules for automatically detecting such occurrences later on. At the core of our approach is an extension of hidden Markov models (HMM) called noise hidden Markov models (nHMM) that can be trained with existing, low-level event data. The nHMM can be applied online without any intervention of programming experts. An evaluation on both synthetic and real event data shows the efficiency of our approach even under the presence of highly frequent, insignificant events and uncertainty in the data. © 2012 IEEE.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Le, Nguyen-Thinh Märtin, Lukas Mumme, Christopher Pinkwart, Niels Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

ISBN: (纸本)9781467317030

Multi-agent approaches can be applied to model behaviour and relations of entities in cyber-physical systems. Here entities frequently compete on insufficient resources (e.g., hardware) at the same time. Hence, resource conflicts between several agents are one of the most important conflict types in such multi-agent systems. These conflicts can significantly slow the operation of a system down, or in the worst case, might lead to a system halt. In this paper, we investigate the challenge of efficiently detecting resource conflicts. For this purpose, we introduce a conflict detection model based on beliefs of BDI agents. One benefit of our approach is that conflicts are detected using local belief state information of agents without communication. For evaluation purposes we apply our conflict detection model to a multi-agent system representing a transportation service with moving robots on a fictitious airport to measure the rate of collisions and completed transportation tasks. The evaluation study showed that the system deploying the conflict detection model can avoid collisions between moving agents and agents execute tasks successfully. © 2012 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Keyterm extraction from microblogs' messages using Wikipedia-based keyphraseness measure

Keyterm extraction from microblogs' messages using Wikipedia...

引用

International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT)

作者： Anton Korshunov Information Systems Department The Institute for System Programming Russian Academy of Sciences Moscow Russia

The paper describes a method for keyterm extraction from messages of microblogs. The described approach utilizes the information obtained by the analysis of structure and content of Wikipedia. The algorithm is based on computation of “keyphraseness” measure for each term, i.e. an estimation of probability that it can be selected as a key in the text. The experimental study of the proposed technique demonstrated satisfactory results which significantly outpaces analogues. As a demonstration of possible application of the algorithm, the prototype of context-sensitive advertising system has been implemented. This system is able to obtain the descriptions of the goods relevant to the found keyterms from Amazon online store. Several suggestions are also made on how to utilize the information obtained by the analysis of Twitter messages in different auxiliary services.

关键词： Twitter Internet Blogs Encyclopedias Electronic publishing Databases

来源：评论

学校读者我要写书评

暂无评论

Delta-oriented model-based SPL regression testing

Delta-oriented model-based SPL regression testing

引用

International Workshop on Product Line Approaches in Software Engineering (PLEASE)

作者： Sascha Lity Malte Lochau Ina Schaefer Ursula Goltz Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Institute for Software Systems Engineering Technical University of Braunschweig Brunswick Germany

Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifacts in a concise way is essential. We address this open issue by a novel, model-based SPL testing framework based on reusable delta-oriented state machine test models and regression-based test suite evolution. Therein, SPL test artifacts are incrementally evolved for every product variant by explicitly considering commonality and variability between two subsequent products under test. Our approach guarantees for every product configuration stable test coverage and allows the derivation of redundancy-reduced, yet reliable retesting obligations. We illustrate our framework by means of an automotive case study and compare our experimental results with alternative SPL testing strategies w.r.t. efficiency improvements.

关键词： Testing Modeling Automotive engineering programming Adaptation models Software systems

来源：评论

学校读者我要写书评

暂无评论

Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems

Communication-free detection of resource conflicts in multi-...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Nguyen-Thinh Le Lukas Märtin Christopher Mumme Niels Pinkwart Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany

关键词： Multiagent systems Atmospheric modeling Roads Airports Radiation detectors Hardware

来源：评论

学校读者我要写书评

暂无评论

Ontology design for medical diagnostic knowledge

Advances in Intelligent and Soft Computing

引用

Advances in Intelligent and Soft Computing 2012年 99卷 175-189页

作者： Jaszuk, M. Szostek, G. Walczak, A. Programming Department University of Information Technology and Management Rzeszów Poland Information Systems Institute Military University of Technology Warsaw Poland

ISBN: (纸本)9783642231711

The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods which are applied to analyze medical texts. As a result of the process, the semantic model of symptoms is generated. This model is a foundation for building a model of diagnostic technologies. The described methodology and the resulting model are developed specifically for the Polish language. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany

ISBN: (纸本)9781467317030

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems;the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems. © 2012 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

Towards integrated rule-driven software development for IT e...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Benjamin Mensing Ursula Goltz Adina Aniculăesei Sebastian Herold Andreas Rausch Stefan Gärtner Kurt Schneider Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Software Systems Engineering Group Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Software Engineering Group Leibniz Universität Hannover Hanover Germany

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems; the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems.

关键词： Ecosystems Unified modeling language programming Computer architecture Ontologies Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

Editorial: Special issue dedicated to ICFP 2010

引用

Journal of Functional programming 2012年第4-5期22卷 379-381页

作者： UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)

The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of Functional programming. Umut A. Acar and James Cheney acted as editors for these submissions. This issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：