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

11th International Conference on Interfaces and Human Computer Interaction

作者： Wachtel, Alexander Paczia, Jonas Tichy, Walter F. Karlsruhe Institute of Technology Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 Karlsruhe76131 Germany

ISBN: (纸本)9789898533647

In this paper, we introduce an interface for natural language dialog system and the Microsoft Excel API. This interface enables users to describe actions in unrestricted natural language interactively and run these actions in the technical domain like Microsoft Excel. We implement a hybrid system that supports natural language interactions similar as a chat bot and gesture control to follow the user's showing actions. For this purpose and also to avoid the lack of inconsistent code documentation, we dynamically export the provided documentation for coding in Visual Studio and provide it in the xml-format to the hybrid system. Users can use already existing actions and provide new action sets to the hybrid system at runtime. For our first prototype of the hybrid system, we concentrate on extending for handling graphs and charts. Evaluated by a user study the hybrid system can successfully resolve more that 80 % of the given user tasks. © 2017.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Architecture potential analysis: A closer look inside architecture evaluation

Journal of Software

引用

Journal of Software 2007年第4期2卷 43-56页

作者： Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany

The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to describe, assess, and assure sound architecture as basis for high quality systems. Furthermore, design space exploration can be based on architecture evaluation. To achieve an efficient exploration process, architectural decisions need to be taken into account as part of the architecture. In this paper, a method for analyzing architecture potential on the basis of dependencies between quality attributes is presented and applied. An explicit representation and correlation of such dependencies provides decision support for architectural concerns. Not only can suboptimal decisions be avoided but rather valuable options are highlighted. Besides the quality of an architecture, knowledge of how to achieve and even improve the quality can be analyzed. The latter is the concern of architecture potential analysis presented in this paper. Furthermore, architectural decisions can be documented and will be traceable and justifiable with respect to the development rationale. The ongoing development process can then be based on dependable and well documented architectural decisions. The predictability of change impacts is increased. Thus, time and costs can be saved by avoiding suboptimal changes. © 2006 ACADEMY PUBLISHER.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe 12

Industrial evaluation of pairwise SPL testing with MoSo-PoLi...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Place bisimulation equivalences for design of concurrent and sequential systems

Place bisimulation equivalences for design of concurrent and...

引用

MFCS '98 Workshop on Concurrency

作者： Tarasyuk, Igor V. Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia

In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and their preservation by refinements is investigated to find out which of these relations may be used in top-down design. It is demonstrated that the place bisimulation equivalences may be used for the compositional and history preserving reduction of Petri nets. In addition, we consider all the mentioned equivalences on sequential nets which are a special subclass of general Petri nets modelling sequential systems, where no two actions can happen simultaneously. On this net subclass all pomset equivalences merge with the corresponding interleaving ones, and it allows us to simplify their check. © 1998 Published by Elsevier Science B.V.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Predicting the Performance of ATL Model Transformations 23

Predicting the Performance of ATL Model Transformations

引用

14th Annual ACM/SPEC International Conference on Performance Engineering, ICPE 2023

作者： Groner, Raffaela Bellmann, Peter Höppner, Stefan Thiam, Patrick Schwenker, Friedhelm Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Institute of Neural Information Processing Ulm University Ulm Germany Institute of Medical Systems Biology Ulm University Ulm Germany

ISBN: (纸本)9798400700682

Model transformation languages are special-purpose languages, which are designed to define transformations as comfortably as possible, i.e., often in a declarative way. Typically, developers create their transformations based on small input models which systematically cover the language of the input models. This makes it difficult for the developers to estimate how the transformations would perform for a large and diverse set of input models. Hence, developers would benefit from an approach for predicting the performance of model transformations based on just abstract characteristics of input models. Regression approaches based on machine learning lend themselves well to such predictions. However, it is currently unknown, whether and which regression approach is suitable in this context as well as how a model should be abstractly characterized for this purpose. We conducted several experiments to analyze how well different machine learning methods predict the execution time of model transformations defined in the Atlas Transformation Language (ATL) transformations for distinct sets of model characteristics. As possible methods, we have investigated linear regression, random forests and support vector regression using a radial basis function kernel. The results of our experiments show that support vector regression is the best choice in terms of usability and prediction accuracy for the model transformation modules covered in our experiments and is thus suited for a prediction approach. In addition, simple model characterizations based only on the number of model elements, the number of references, and the number of attributes are a suitable way to easily describe a model and to achieve decent prediction accuracy. © 2023 Owner/Author.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Organic and Pervasive Computing – ARCS 2004 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Christian Müller-Schloer Theo Ungerer Bernhard Bauer

ISBN: (数字)9783540247142

ISBN: (纸本)9783540212386

Where is system architecture heading? The special interest group on Computer and systems Architecture (Fachausschuss Rechner- und Systemarchitektur) of the German computer and information technology associations GI and ITG a- ed this question and discussed it during two Future Workshops in 2002. The result in a nutshell: Everything will change but everything else will remain. Future systems technologies will build on a mature basis of silicon and IC technology,onwell-understoodprogramminglanguagesandsoftwareengineering techniques, and on well-established operating systems and middleware concepts. Newer and still exotic but exciting technologies like quantum computing and DNA processing are to be watched closely but they will not be mainstream in the next decade. Although there will be considerable progress in these basic technologies, is there any major trend which uni?es these diverse developments? There is a common denominator – according to the result of the two - ture Workshops – which marks a new quality. The challenge for future systems technologies lies in the mastering of complexity. Rigid and in?exible systems, built under a strict top-down regime, have reached the limits of manageable complexity, as has become obvious by the recent failure of several large-scale projects. Nature is the most complex system we know, and she has solved the problem somehow. We just haven’t understood exactly how nature does it. But it is clear that systems designed by nature, like an anthill or a beehive or a swarm of birds or a city, are di?erent from today’s technical systems that have beendesignedbyengineersandcomputerscientists.

关键词： Computer System Implementation Computer Communication Networks Software Engineering Operating systems Information Storage and Retrieval Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

On anti-links 5th

引用

5th International Conferenceon Logic programming and Automated Reasoning, LPAR 1994

作者： Beckert, Bernhard Hähnle, Reiner Ramesh, Anavai Murray, Neil V. Institute for Logic Complexity and Deduction Systems Universität Karlsruhe Karlsruhe Germany Institute for Programming & Logics Department of Computer Science University at Albany AlbanyNY12222 United States

ISBN: (纸本)9783540582168

The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. The operations have linear time complexity in the size of that part of the formula containing the anti-link. These operations are useful for prime implicant/implicate algorithms because most of the computational effort in such algorithms is spent on subsumption checks. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Multi-windows rendering using software OpenGL in avionics embedded systems 29

Multi-windows rendering using software OpenGL in avionics em...

引用

29th International Conference on Computer Graphics and Vision, GraphiCon 2019

作者： Barladian, B.Kh. Shapiro, L.Z. Mallachiev, K.A. Khoroshilov, A.V. Solodelov, Y.A. Voloboy, A.G. Galaktionov, V.A. Koverninskiy, I.V. Keldysh Institute of Applied Mathematics Russian Academy of Sciences Moscow Russia FGUP «GosNIIAS» State Research Institute of Aviation Systems Moscow Russia Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

Elaboration of modern airplane cockpit has tendency to use large displays instead of a lot of separate indicators. The large display should combine information about flight navigation and state of plane equipment. Information coming from a wide variety of devices should be displayed simultaneously. Therefore multi-windows rendering is vitally important here. Its implementation must be embedded in real-time operating system which controls the aircraft. Development of a Safety Critical Compositor for multi-windows rendering for OpenGL SC 1.0.1 software is considered in the paper. It works under the real-time operating system JetOS newly designed for aircraft. Development is based on the use of extensions designed to work in multi-core systems in addition to standard JetOS partitioning services. Copyright © 2019 for this paper by its authors.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALGORITHM 5

METHOD OF DETECTION OF INTRUSIONS BASED ON STACKING META-ALG...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Gavrylenko, Svitlana Zozulia, Vladislav Khatsko, Nataliia Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

ISBN: (纸本)9798350384499

An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, developed at the Australian Cyber Security Center's (ACCS) Cyber Range Laboratory, contains data on normal network operations and synthetic intrusions. Data pre-processing was performed, including class balancing using the SMOTEENN method and selection of informative features using the Recursive Feature Elimination method. The possibility of using the stacking meta-algorithm to detect intrusions into computer networks has been investigated. A new algorithm for generating packets of raw data is proposed, which generates two sets of training data: one for training basic models, the other for a meta-model. A study of the effectiveness of using Random Forest, ANN, K Nearest Neighbor methods and Support Vector Machine and Random Forest as a decision-making meta-model was conducted. The use of the stacking meta-algorithm with the proposed algorithm for forming packets of output data, as well as basic models and a meta-model, led to a significant improvement in the quality of the model. It was found that, on average, recall and f1 score increased by 55.6% and 37.4%, respectively, compared to raw data and other models. ©2024 IEEE.

关键词： Network intrusion

来源：评论

学校读者我要写书评

暂无评论

Multicore Software Engineering, Performance, and Tools 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Victor Pankratius Michael Philippsen

ISBN: (数字)9783642312021

ISBN: (纸本)9783642312014

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.

关键词： Special Purpose and Application-Based systems System Performance and Evaluation Software Engineering programming Languages, Compilers, Interpreters Operating systems programming Techniques

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：