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

Workshop on Developing Tools as Plug-ins (TOPI)

作者： Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Sven Jörges Tiziana Margaria Chair for Programming Systems Technical University Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for “lightweight plug-in development”, that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins.

关键词： Generators Semantics programming Data models Java Load modeling Next generation networking

来源：评论

学校读者我要写书评

暂无评论

Improving grammar-based evolutionary algorithms via attributed derivation trees

Improving grammar-based evolutionary algorithms via attribut...

引用

7th European Conference on Genetic programming, EuroGP 2004

作者： Zvada, Szilvia Ványi, Róbert Department of Programming Systems Friedrich-Alexander University Martensstraße 3 ErlangenD-91058 Germany Department of Theoretical Computer Science Friedrich-Alexander University Martensstraße 3 ErlangenD-91058 Germany

ISBN: (纸本)3540213465

Using Genetic programming difficult optimization problems can be solved, even if the candidate solutions are complex objects. In such cases, it is a costly procedure to correct or replace the invalid individuals that may appear during the evolutionary process. Instead of such post-processing, context-free grammars can be used to describe the syntax of valid solutions, and the algorithm can be modified to work on derivation trees, such that it does not generate invalid individuals. Although tree operators have the advantage of good parameterizability, it is not trivial to construct them correctly and efficiently. In this paper an already existing method for derivation tree evolution and its extension towards attributed derivation trees are discussed. As the result of this extension the operators are not only faster but they are easy to parameterize, moreover the algorithm is better guided, thus it can converge faster. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Method of Activity of Intelligent Agent for Semantic Analysis of Software Requirements

Method of Activity of Intelligent Agent for Semantic Analysi...

引用

IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems

作者： Olga Pavlova Tetiana Hovorushchenko Artem Boyarchuk System Programming Department of Khmelnytsky National University Computer Engineering & System Programming Department of Khmelnytsky National University Lecturer of Computer Systems Networks and Cybersecurity Department of National Aerospace University "Kharkiv Aviation Institute"

ISBN: (纸本)9781728140704

The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of the requirements, determines the number and percentage of missing indicators for determining the metrics of complexity and quality of software, displays which indicators are missing for each metric, and also forms the real ontology of the domain "Software Engineering" (part "Quality and complexity of software. Metric analysis"). During an experiment, which is conducted with the help of the realized IA, the semantic analysis of requirements for the Internet of Things (IoT)-system was performed. Such analysis provides an increase of the volume and ensures of the sufficiency of metric information in the software requirements, which, in turn, provides an improvement in the quality of the software of IoT-system.

关键词： Natural language software requirements Semantic analysis Intelligent agent (IA) Ontology-based intelligent agent (OBIA) Internet of things (IoT)-system software requirements Intelligent agents Semantics Metronidazole activity INFORMATION ASSURANCE Metric computer software

来源：评论

学校读者我要写书评

暂无评论

Input Data Time Range Impact on Forecast Quality Using Automated Procedures 11

Input Data Time Range Impact on Forecast Quality Using Autom...

引用

11th International Scientific Conference on Computer Science, COMSCI 2023

作者： Koparanov, Kiril Andreev Antonova, Elena Ventseslavova Nakov, Ognyan Nakov Minkovska, Daniela Veleva Georgiev, Krasin Krasimirov Stoyanova, Lyudmila Yordanova Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Computer Systems 8 Kliment Ohridski blvd Sofia1000 Bulgaria Technical University of Sofia Faculty of Transport Department of Air Transport 8 Kliment Ohridski blvd Sofia1000 Bulgaria

ISBN: (纸本)9798350325256

Easy access to time series forecasting provides a strong competitive advantage for any company or organization. As automated forecasting environments become more prevalent in the market, it is crucial to explore their capabilities and features to utilize them competently. This study demonstrates the influence of data coverage on prediction accuracy and validates the initial assumption. Based on the findings, recommendations have been presented to enhance the quality of predictive processes. © 2023 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Automated continuous quality assurance

Automated continuous quality assurance

引用

Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

作者： Johannes Neubauer Bernhard Steffen Oliver Bauer Stephan Windmüller Maik Merten Tiziana Margaria Falk Howar Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany

We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Verlag's Online Conference System, is supported by continuous learning-based testing, that by its nature maintains the synchrony of the running application and the learned (test) model. The evolution of the test model clearly indicates which portions of the system remain stable and which are altered. Thus our approach includes classical regression testing and feature interaction detection. We show concretely how model checking, automata learning, and quantitative analysis concur with the holistic quality assurance of this product.

关键词： Testing Learning automata Monitoring Adaptation models Quality assurance Machine learning

来源：评论

学校读者我要写书评

暂无评论

An efficient algorithm for the configuration problem of dominance graphs

An efficient algorithm for the configuration problem of domi...

引用

2001 Operating Section Proceedings, American Gas Association

作者： Althaus, Ernst Duchier, Denys Koller, Alexander Mehlhorn, Kurt Niehren, Joachim Thiel, Sven Max-Planck-Institute for Computer Science Saarbrücken Germany Programming Systems Lab. Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany

ISBN: (纸本)0898714907

Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In most applications, however, only normal dominance constraints are used. The satisfiability problem of normal dominance constraints can be reduced in linear time to the configuration problem of dominance graphs, as shown recently. In this paper, we give a polynomial time algorithm testing configurability of dominance graphs (and thus satisfiability of normal dominance constraints). Previous to our work no polynomial time algorithms were known. Copyright © 2009 ACM, Inc.

关键词： Human factors Languages Verification

来源：评论

学校读者我要写书评

暂无评论

Modeling aspect-oriented compositions

引用

MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM

作者： Cottenier, Thomas Van Berg, Aswin Den Elrad, Tzilla Software and Systems Engineering Research Motorola Labs 1300 E Algonquin Road Schaumburg IL 60173 United States Concurrent Programming Research Group Illinois Institute of Technology 3300 S Federal Street Chicago IL 60616 United States

ISBN: (纸本)3540317805

Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QoS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach does not extend the semantics of the UML in order to represent aspects. Rather, it dedicates a metamodel to the representation of the composition semantics between aspects and core models. The paper illustrates this approach by presenting a model weaver for SDL statecharts developed at Motorola Labs. Crosscutting behavior is designed with plain SDL statecharts and encapsulated into modules called aspect beans. The weaver looks at the aspect beans and the core SDL statecharts from a perspective that is defined by lightweight extensions to the SDL and UML metamodels. A connector metamodel defines the structure of the aspect-to-core binding definition. Finally, a weaver behavioral metamodel defines composition primitives for specifying weaving strategies. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The method of dynamic routing in Self-healing Networks 5

The method of dynamic routing in Self-healing Networks

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Anna, Shyman Kuchuk, Nina Kovalenko, Andriy Kashkevich, Svitlana Partyka, Stanislav Yankovskyi, Oleksandr Department of Computer Engineering and Programming National Technical University Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine

ISBN: (纸本)9798350384499

The report proposes a dynamic routing method for Self-healing Networks (ShN). The method takes into account the specific features of ShN. During routing, the flow of service information is reduced. The search for the optimal route is carried out using a convolutional neural network. The method significantly outperforms existing methods when some network nodes fail. ©2024 IEEE.

关键词： Dynamic routing algorithms

来源：评论

学校读者我要写书评

暂无评论

"There is still something missing": comparing a gender-sensitive and gender-transformative approach in Burundi

引用

DEVELOPMENT IN PRACTICE 2023年第4期33卷 451-462页

作者： Hillenbrand, Emily Mohanraj, Pranati Njuki, Jemimah Ntakobakinvuna, Domitille Sitotaw, Abinet Tasew Development Sociology Cornell University United States Gender Youth and Livelihoods Team Food and Water Systems Unit CARE USA United States Economic Empowerment UN Women in New York United States MEAL Specialist for Gender and Women's Empowerment Programming in CARE Burundi Democratic Republic Congo Food and Water Systems-Gender Youth and Livelihoods Team with CARE United States

This paper presents a comparative perspective on a gender-transformative model for gender equality, versus a gender-sensitive approach, both of which were integrated into a gender and agriculture development intervention in Burundi. The gender-transformative approach followed an iterative cycle of critical reflection and action to analyze gender inequalities and build women's solidarity and collective action. It also engaged men equally in the processes of critical reflection and action. The participants found that the gender-sensitive approach initiated some important community discussions about gender, but participants in the gender-transformative approach spoke about farther-reaching and potentially more sustainable gender norm changes. This paper presents qualitative findings on participants' perceptions of change and discusses the implications for implementing community-led, gender-transformative approaches in the agriculture sector.

关键词： gender-transformative approaches scaling gender norms change engaging men Burundi

来源：评论

学校读者我要写书评

暂无评论

Computationally Efficient Early Prognosis of the Outcome of Comatose Cardiac Arrest Survivors Using Slow-Wave Activity Features in EEG 50

Computationally Efficient Early Prognosis of the Outcome of ...

引用

50th Computing in Cardiology, CinC 2023

作者： Salminen, Miikka Partala, Juha Vayrynen, Eero Kortelainen, Jukka Cerenion Oy Oulu Finland University of Oulu Oulu University Secure Programming Group Biomimetics and Intelligent Systems Group Oulu Finland University of Oulu Physiological Signal Analysis Team Center for Machine Vision and Signal Analysis Mrc Oulu Oulu Finland

ISBN: (纸本)9798350382525

This study, part of 'Predicting Neurological Recovery from Coma After Cardiac Arrest: The George B. Moody PhysioNet Challenge 2023', evaluated a computationally efficient method in predicting cardiac arrest (CA) survivors' prognoses using electroencephalography (EEG) recordings of a dataset provided for participants. Authors' team Cerenion developed a random forest based machine learning algorithm. A feature set of channel-by-channel root mean square power of a well-described neurophysiological EEG phenomenon called slow-wave activity (SWA), with time elapsed since CA, was used. Five-fold cross-validation, using 80 % of the provided training set of EEG recordings from 607 out of 1020 patients, was used for evaluation. The held-out 20 % of data were used for testing and evaluating a final model trained on the full 80 % of the training data. Cross-validated results, evaluated at 72 hours after CA, for predicting the outcome were: AUROC 70 %, AUPRC 78 %, accuracy 68 %, F-measure 64 %. Evaluating the challenge metric on the training data at times of 12, 24, 48, and 72 hours after CA provided scores of: 0.32, 0.40, 0.64, and 0.58, respectively. The hidden validation and test sets were not used, earning no rank. The results show promise in using SWA power features in predicting the outcomes of comatose CA patients. © 2023 CinC.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：