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

23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Pietron, Jakob Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9781450381352

Various studies conducted in the context of model-driven engineering (MDE) identified insufficient collaboration support of modeling tools. In the course of this paper, we present a research agenda to improve collaborative graphical modeling with a focus on users and change history. In contrast to other approaches, user level edit operations should be persisted instead of calculating differences of model versions a posteriori. We expect a detailed series of edit operations to be more self-descriptive than the differences between two versions of a model, which likely represents only the result of multiple edit operations. The expected advantages based on the more detailed history include a more understandable change history of an evolving model and new possibilities in collaboration, such as micro cherry picking of a set of specific edit operations instead of a whole commit. In addition, branching of only sub elements of a model as a way to explore alternatives during concurrent modeling is target of our research. Compared to existing approaches which mostly support either synchronous or asynchronous collaboration, the proposed research aims to support both through the use of Event Sourcing.

关键词： model-driven engineering graphical modeling collaboration

来源：评论

学校读者我要写书评

暂无评论

A Domain-Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps 46

A Domain-Specific Language and Interactive User Interface fo...

引用

46th Euromicro Conference on software Engineering and Advanced Applications (SEAA)

作者： Breckel, Alexander Pietron, Jakob Juhnke, Katharina Tichy, Matthias Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9781728195322

The introduction of major innovations in industry requires a collaboration across the whole supply chain. A common way to organize such a collaboration is the use of technology roadmaps, which act as an industry-wide long-term planning tool. Technology roadmaps are used to identify industry needs, estimate the availability of technological solutions, and identify the need for innovation in the future. Roadmaps are inherently both time-dependent and based on uncertain values, i.e., properties and structural components can change over time. Current approaches for model-driven engineering do not inherently support these aspects. We present a novel model-driven approach treating those aspects as first-class citizens. To address the problem of missing support for time in the context of roadmap modeling, we introduce the concepts of a common global time, time-dependent properties, and time-dependent availability. This includes requirements, properties, and the structure of the model or its components as well. These concepts result in a continuous range of various valid models over time instead of a single valid model at a certain point of time. We present concepts for an interactive graphical user interface to enable the user to efficiently interact with those models. We illustrate the application of these concepts on an industrial example of a next generation electrical fuse.

关键词： technology roadmaps modeling model-driven development roadmapping domain-specific languages time-dependence

来源：评论

学校读者我要写书评

暂无评论

Fluorescence based detection of gaseous food spoilage indicators 3

Fluorescence based detection of gaseous food spoilage indica...

引用

Conference on Translational Biophotonics - Diagnostics and Therapeutics III

作者： Altmann, Alexander Khodaygani, Mohammad Leucker, Martin Schell, Christian Rahmanzadeh, Ramtin Univ Lubeck Nat Sci Sect Inst Biomed Opt Peter Monnik Weg 4 D-23562 Lubeck Germany Univ Lubeck Informat Sect Inst Software Engn & Programming Languages Mari Goeppert Str 3 D-23562 Lubeck Germany Porphyrin Lab GmbH Blauenkrog 15 D-23684 Scharbeutz Germany

ISBN: (数字)9781510664647

ISBN: (纸本)9781510664630;9781510664647

Food waste during all stages of the supply chain and at the consumer is an emerging problem. Non-destructive methods to determine the freshness of packaged food products could play an important role in the reduction of this problem. In this study, we developed a chemical sensor, i.e. a sensor foil, capable of detecting amines as food spoilage indicators in reaction vessels and model packaging units by fluorescence spectroscopy. To obtain the foil, a phosphorylated porphyrin was adsorbed to silica and then extruded in polyethylene. The reactivity of the foil was tested with single amines in reaction vessels to demonstrate the behavior under ideal conditions. The sensor foil was applied in model packages containing salmon or cheese to show that fluorescence spectroscopy can be used to detect the emission of spoilage indicators. Lastly, model experiments with cod filets were carried out to obtain data to test the capability of determining the freshness by machine learning algorithms.

关键词： fluorescence spectroscopy gas sensing optode technology food safety porphyrins SVM classifier

来源：评论

学校读者我要写书评

暂无评论

Using Machine Learning Techniques for Assessing Media Text Readability 24

Using Machine Learning Techniques for Assessing Media Text R...

引用

24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023

作者： Laputenko, Andrey Evtushenko, Tatiana Klochkova, Elena Yevtushenko, Nina National Research Tomsk State University Department of Information Technologies Tomsk Russia Graduate School of Applied Linguistics and Translation Studies Peter the Great St. Petersburg Polytechnic University Saint Petersburg Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Department of Software Engineering Moscow Russia

ISBN: (纸本)9798350336870

The paper addresses the problem of assessing media text readability depending on the correlation of objective and subjective text complexity. Objective text complexity refers to a set of measurable characteristics such as baseline, morphological, syntactic and lexical characteristics of a media text (a piece of news published on university websites), which is calculated automatically for each text. In total, 34 parameters are considered. Subjective text complexity score is assigned to each text by human experts who assess the clarity, structure, cohesion and coherence of the text. The correlation between subjective and objective text complexity is studied using machine learning models. The readability level is measured using machine learning methods and regression-correlation analysis. Namely, an artificial neural network and regression models are used. It is demonstrated that the use of polynomial features and lasso regularization allows to get a compact regression model of a high quality. The use of the chosen machine learning techniques made it possible to estimate the impact of distinct linguistic features on the readability level. © 2023 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

An ontology-based secure design framework for graph-based databases

引用

COMPUTER STANDARDS & INTERFACES 2024年 88卷

作者： Paneque, Manuel Roldan-Garcia, Maria del Mar Blanco, Carlos Mate, Alejandro Rosado, David G. Trujillo, Juan Univ Malaga Dept Comp Sci & Programming Languages ITIS Software Malaga Spain Univ Cantabria Dept Comp Sci & Elect ISTR Res Grp Santander Spain Univ Castilla La Mancha Dept Informat Technol & Syst GSyA Res Grp Ciudad Real Spain Univ Alicante Dept Software & Comp Syst Lucentia Res Grp Alicante Spain

Graph-based databases are concerned with performance and flexibility. Most of the existing approaches used to design secure NoSQL databases are limited to the final implementation stage, and do not involve the design of security and access control issues at higher abstraction levels. Ensuring security and access control for Graphbased databases is difficult, as each approach differs significantly depending on the technology employed. In this paper, we propose the first technology-ascetic framework with which to design secure Graph-based databases. Our proposal raises the abstraction level by using ontologies to simultaneously model database and security requirements together. This is supported by the TITAN framework, which facilitates the way in which both aspects are dealt with. The great advantages of our approach are, therefore, that it: allows database designers to focus on the simultaneous protection of security and data while ignoring the implementation details;facilitates the secure design and rapid migration of security rules by deriving specific security measures for each underlying technology, and enables database designers to employ ontology reasoning in order to verify whether the security rules are consistent. We show the applicability of our proposal by applying it to a case study based on a hospital data access control.

关键词： Ontology Security Reasoning Knowledge extraction Healthcare

来源：评论

学校读者我要写书评

暂无评论

Formally verified complete quantifier instatiation strategy for the theory of bounded linear integer arithmetic

Formally verified complete quantifier instatiation strategy ...

引用

Ivannikov Ispras Open Conference (ISPRAS)

作者： Sadykov, Rafael Mandrykin, Mikhail RAS Software Engn Dept Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781665412919

The Isabelle/HOL proof assistant provides quite advanced and reliable support for discharging proof goals with external SMT solvers by reconstructing the resulting proof tree within the Isabelle/Pure inference kernel. In particular, currently Isabelle fully and efficiently supports proof reconstruction for the quantifier-free fragments of the theories of equality and uninterpreted functions (QF_UF) and linear integer arithmetic (QF_LIA). Yet there are a number of practically relevant theories that can be decided using relatively efficient algorithms, but are not supported either by the Isabelle proof reconstruction procedure or by the SMT solvers themselves. Meanwhile, if the decision procedure for an extended logical theory can be expressed as a complete quantifier instantiation strategy that reduces the given decision problem into the supported logical fragment (QF_UFLIA), the theory can be fully supported within the existing Isabelle/HOL infrastructure with relatively little additional effort. The goal of our work was to develop a fully formal completeness proof for an efficient quantifier instantiation strategy that translates a satisfiability problem in the logic of bounded linear integer arithmetic (we call it QF_BLIA) into the equisatisfiable problem in the logic of linear integer arithmetic and uninterpreted functions (QF_UFLIA). In this paper we first give the initial informal presentation of the proof, then discuss the most relevant issues of our resulting corresponding formal development of the completeness proof within Isabelle/HOL. The resulting formal proofs tightly follow the provided informal presentation, but at the same time they also contain quite significant amount of auxiliary developments that can potentially be generalized for other similar proof formalizations and automated using theory generation facilities of Isabelle/ML.

关键词： static verification quantifier instantiation SMT formulas SMT solvers decision procedures instantiation strategy

来源：评论

学校读者我要写书评

暂无评论

A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device

A Case Study on Data Protection for a Cloud- and AI-based Ho...

引用

2022 International Health Data Workshop, HEDA 2022

作者： Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin University of Lübeck Institute for Software Engineering and Programming Languages Lübeck Germany Tallinn University of Technology School of Information Technologies Department of Health Technologies Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany

To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cloud. To support the doctor’s duties, such devices may benefit from AI-based diagnosis routines. In order for such devices to be approved and placed on the market, they need to comply with various legal, regulatory, economic, and social requirements. An integral part of these requirements is the protection of the patients’ data. In this paper, based on a current use case, we describe a workflow on how to identify risks and address their mitigations. To this end, we recall the relevant legal, regulatory, economic, and social data protection requirements. We pursue our findings on a Homecare OCT device that is intended to be used by elderly patients on a daily basis, by taking images of their eyes and sending them for further analysis to a cloud- and AI-based system. The patient’s ophthalmologist gets notified for further dedicated treatment depending on the result. To perform the risk management, we describe (i) the architecture of the homecare system, (ii) analyze its data flow, (iii) discuss several vectors of attack, and (iv) propose ways to mitigate the risks. © 2022 Copyright for this paper by its authors.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Investigation of Processes of Heating a Non-Ferromagnetic Rod under the Action of an Unsteady Electromagnetic Field

Investigation of Processes of Heating a Non-Ferromagnetic Ro...

引用

International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Roman Musii Khrystyna Drohomyretska Halyna Bilushchak Nataliia Melnyk Ihor Demkiv Andrii Kunynets Department of Mathematics Lviv Polytechnic National University Lviv Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Software Lviv Polytechnic National University Lviv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

A physical and mathematical model is formulated for determining the axial component of the magnetic field intensity vector and specific Joule heat density in a non-ferromagnetic conductive rod under the conditions of its induction heating through an unsteady electromagnetic field. The initial relations for the initial-boundary value problem of electrodynamics were written for the considered rod. We chose the axial component of the magnetic field intensity vector as a determining function. To obtain the solution, the cubic approximation along the radial coordinate of distribution of the determining function along the radius of the rod was used. In consequence of this, the original initial-boundary value problem is reduced to Cauchy problem in time for the integral characteristics of the determining function in the radial variable. Applying the integral Laplace transform, the expression for the integral characteristics and the axial component of the magnetic field intensity vector is written down. Expressions of Joule heat and the determining function in the considered rod under the action of an unsteady electromagnetic field were obtained. A numerical analysis of change in time and distribution along radius of the rod of the axial component of the magnetic field intensity vector and Joule heat was performed depending on frequency of the carrier electromagnetic oscillations and duration of the unstable electromagnetic field.

关键词： Electromagnetic heating Time-frequency analysis Numerical analysis Vectors Mathematical models Magnetic fields Electromagnetic fields

来源：评论

学校读者我要写书评

暂无评论

The Impact of Increasing Number of Nodes on the Performance of Well-Known Trust and Reputation Models for Wireless Sensor Networks

ELECTRICA

引用

ELECTRICA 2020年第1期20卷 10-18页

作者： Tuna, Gurkan Das, Resul Trakya Univ Dept Comp Programming Edirne Turkey Firat Univ Dept Software Engn Technol Fac Elazig Turkey

In recent years, several trust and reputation management models have been proposed to address the security issues of wireless sensor networks. In wireless sensor networks, trust and reputation management systems basically allow sensor nodes to make their own opinion about how trustworthy other nodes are so that a higher number of successful transactions can be obtained and the probability of being defrauded reduced. To assess the performance of trust and reputation management systems a number of performance metrics were proposed. In this study, with the aim of finding out the most suitable trust and reputation model when the number of sensor nodes involved in a wireless sensor network has been increased, the performance of EigenTrust, Linguistic Fuzzy Trust Mechanism, PeerTrust and PowerTrust is evaluated in terms of accuracy rate and path length. The reason for focusing on this is that if a trust and reputation model is able to achieve the same accuracy rate and path length performance without any performance degradation when more sensor nodes are involved in the network, it can be considered as scalable. The results of our simulation studies prove that compared to the other models, Linguistic Fuzzy Trust Mechanism provides higher accuracy and less path length scores and is more suitable for large-scale deployments of wireless sensor networks.

关键词： Wireless sensor network node population eigentrust linguistic fuzzy trust mechanism peertrust powertrust accuracy range

来源：评论

学校读者我要写书评

暂无评论

An Exploratory Study on Performance Engineering in Model Transformations 20

An Exploratory Study on Performance Engineering in Model Tra...

引用

23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

作者： Groner, Raffaela Beaucamp, Luis Tichy, Matthias Becker, Steffen Ulm Univ Inst Software Engn & Programming Languages Ulm Germany Univ Stuttgart Inst Software Engn Stuttgart Germany

ISBN: (纸本)9781450370196

Model-Driven software Engineering (MDSE) is a widely used approach to deal with the increasing complexity of software. This increasing complexity also leads to the fact that the models used and the model transformations applied become larger and more complex as well. This means that the execution performance of model transformations is gaining in importance. While improving the performance of model transformation execution engines has been a focus of the MDSE-community in the past, there does not exist any empirical study on how developers of model transformation deal with performance issues. Consequently, we conducted an exploratory mixed method study consisting of a quantitative online survey and a qualitative interview study. We used a questionnaire to investigate whether the performance of a transformation is actually important for transformation developers and whether they have already tried to improve the performance of a model transformation. Subsequently, we conducted semi-structured interviews based on the answers to the questionnaire to investigate how transformation developers deal with performance issues, what causes and solutions they found and also what they think could help them to easier find causes. The results of the quantitative online survey show that 43 of 81 participants have already tried to improve the performance of a transformation and 34 of the 81 are sometimes or only rarely satisfied with the execution performance. Based on the answers from our 13 interviews, we identified different strategies to prevent or find performance issues in model transformations as well as different types of causes of performance issues and solutions. Finally, we compiled a collection of additional tool features perceived helpful by the interviewees to address performance issues.

关键词： mixed method study model transformation ATL Henshin QVTo Viatra performance engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：