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

4th International Conference on Model-Driven engineering and software Development, MODELSWARD 2016

作者： Jäger, Sven Maschotta, Ralph Jungebloud, Tino Wichmann, Alexander Zimmermann, Armin Systems and Software Engineering Group Computer Science and Automation Department Technische Universität Ilmenau Ilmenau Germany

ISBN: (纸本)9789897581687

Model-driven architecture is a well-known approach for the development of complex software systems. The most famous tool chain is provided by Eclipse with the tools of the Eclipse modeling project. Like Eclipse itself, these tools are based on Java. However, there are numerous legacy software packages written in C++, which often use only an implicit meta-model. A real C++ implementation of this meta-model would be necessary instead to be used at run time. This paper presents a generator for C++ to create the classes, meta-model packages, and factories to realize modeling, transformation, validation, and comparison of UML models. It gives an overview of its workflow and major challenges. Moreover, a comparison between Java and C++ implementations is given, considering different benchmarks. © Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

PSCS4CPP: A Generative PSCS Implementation for C++ 1

引用

Model-Driven engineering and software Development - 9th International Conference, MODELSWARD 2021, and 10th International Conference, MODELSWARD 2022, Revised Selected Papers

作者： Hammer, Maximilian Maschotta, Ralph Wichmann, Alexander Jungebloud, Tino Bedini, Francesco Zimmermann, Armin Systems and Software Engineering Group Computer Science and Automation Department Technische Universität Ilmenau Ilmenau Germany

ISBN: (数字)9783031388217

ISBN: (纸本)9783031388200

Since the early 2000s, Model-driven engineering has aimed to accomplish executable UML models. With fUML and PSCS, the Object Management Group (OMG) published standardized specifications of precise semantics for certain parts of UML in the form of metamodels, which form an execution environment. A certain characteristic of these environments is that static information about a model is analyzed and evaluated during runtime. With composite structures being a concept for describing structural properties of a model, the majority of execution semantics specified by PSCS concern analysis and processing of such static information about the model’s fine-grained structure. Thus, the PSCS specification appears suitable for a generative realization approach. Using Model-To-Text-Transformation to generate source code, which serves as an input for the actual execution environment, the runtime level of model executions can be relieved by outsourcing analysis and processing of static information to the level of code generation. By inserting this preprocessing step, the performance of the actual model execution at runtime can be improved. This paper introduces an implementation of the PSCS specification for C++ based on code generation using Model-to-Text-Transformation. This also includes a generative approach to realize an extension mechanism of the fUML and PSCS execution environments by introducing user-defined semantic execution strategies. The proposed PSCS implementation was developed as a part of the MDE4CPP project. Moreover, this paper presents a set of test models validating the correct functionality of the implementation as well as a performance benchmark. Finally, analysis results of an application example for the presented realization are evaluated and discussed. © 2023, Springer Nature Switzerland AG.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Ensemble Approach Combining Deep Residual Networks and BiGRU with Attention Mechanism for Classification of Heart Arrhythmias

引用

computers, Materials & Continua 2024年第7期80卷 341-359页

作者： Batyrkhan Omarov Meirzhan Baikuvekov Daniyar Sultan Nurzhan Mukazhanov Madina Suleimenova Maigul Zhekambayeva Department of Information Systems Al-Farabi Kazakh National UniversityAlmaty050040Kazakhstan Department of Mathematical and Computer Modeling International Information Technology UniversityAlmaty050040Kazakhstan Department of Software Engineering Satbayev UniversityAlmaty050013Kazakhstan

This research introduces an innovative ensemble approach,combining Deep Residual Networks(ResNets)and Bidirectional Gated Recurrent Units(BiGRU),augmented with an Attention Mechanism,for the classification of heart *** escalating prevalence of cardiovascular diseases necessitates advanced diagnostic tools to enhance accuracy and *** model leverages the deep hierarchical feature extraction capabilities of ResNets,which are adept at identifying intricate patterns within electrocardiogram(ECG)data,while BiGRU layers capture the temporal dynamics essential for understanding the sequential nature of ECG *** integration of an Attention Mechanism refines the model’s focus on critical segments of ECG data,ensuring a nuanced analysis that highlights the most informative features for arrhythmia *** on a comprehensive dataset of 12-lead ECG recordings,our ensemble model demonstrates superior performance in distinguishing between various types of arrhythmias,with an accuracy of 98.4%,a precision of 98.1%,a recall of 98%,and an F-score of 98%.This novel combination of convolutional and recurrent neural networks,supplemented by attention-driven mechanisms,advances automated ECG analysis,contributing significantly to healthcare’s machine learning applications and presenting a step forward in developing non-invasive,efficient,and reliable tools for early diagnosis and management of heart diseases.

关键词： CNN BiGRU ensemble deep learning ECG arrhythmia heart disease

来源：评论

学校读者我要写书评

暂无评论

Fingerprint Agreement Using Enhanced Kerberos Authentication Protocol on M-Health

引用

computer systems Science & engineering 2022年第11期43卷 833-847页

作者： A.S.Anakath S.Ambika S.Rajakumar R.Kannadasan K.S.Sendhil Kumar School of Computing E.G.S.Pillay Engineering CollegeNagapattinam611002India Department of Computer Science and Engineering University College of Engineering AriyalurAriyalur621705India Department of Mathematics University College of Engineering AriyalurAriyalur621705India Department of Software Systems School of Computer Science and Engineering(SCOPE)Vellore Institute of Technology UniversityVellore632014India Department of IoT School of Computer Science and Engineering(SCOPE)Vellore Institute of Technology UniversityVellore632014India

Cloud computing becomes an important application development platform for processing user data with high *** providers are accustomed to providing storage centers outside the trusted location preferred by the data ***,ensuring the security and confidentiality of the data while processing in the centralized network is very *** secured key transmission between the sender and the receiver in the network is a huge challenge in managing most of the sensitive data transmission among the cloud *** are very active over the network like real authenticated user to hack the personal sensitive data,such as bank balance,health data,personal data,and confidential documents over the cloud *** this research,a secured key agreement between the sender and the receiver using Kerberos authentication protocol with fingerprint is proposed to ensure security in *** of patients are monitored using wireless sensor devices and are then transferred to the *** protocol helps in avoiding unnecessary communication of authenticated data over the cloud *** security process is a procedure with the best security in most of the authentication *** node is responsible in carrying data packets from the sender to the receiver in the cloud *** Kerberos protocol is used in trust node to ensure *** communication between the local health center and the healthcare server is ensured by using a fingerprint feature called minutiae form,which refers to the fingerprint image of both sender and *** computational and communicational cost of the proposed system is lesser when compared with other existing authentication methods.

关键词： Protocol security m-health cloud computing biometric fingerprint kerberos protocol

来源：评论

学校读者我要写书评

暂无评论

Towards re-engineering legacy systems for assured dynamic adaptation

Towards re-engineering legacy systems for assured dynamic ad...

引用

ICSE 2007 Workshops: International Workshop on Modeling in software engineering, MISE'07

作者： Zhang, Ji Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824

ISBN: (纸本)0769529534

Increasingly, software must adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Since most existing software was not designed to adapt, research on techniques to make legacy software dynamically adaptive has gained increasing interest. Assurance is crucial for adaptive software to fulfill its intended purpose. Correctness is even more critical if it is to be applied in high assurance systems. This paper proposes a model-driven approach to introduce dynamic adaptation to non-adaptive legacy systems while maintaining assurance properties. An aspect-oriented technique is applied to achieve separation of concerns in the implementation. © 2007 IEEE.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

Determining the Critical Factors of Antenatal Care Follow-Up Using Two-Phase Machine Learning 27

Determining the Critical Factors of Antenatal Care Follow-Up...

引用

27th International Conference on Soft Computing and Measurements, SCM 2024

作者： Bessmertny, Igor A. Enkomaryam, Bidru C. Mamuye, Adane L. Itmo University Faculty of Software Engineering and Computer Systems Saint Petersburg Russia University of Gondar Department of Computer Science Gondar Ethiopia

ISBN: (纸本)9798350363708

Determining the critical factors affecting antenatal visits will greatly contribute to reducing maternal and infant mortality. This study, thus attempted to construct a cluster-based predictive model to determine the critical factors of antenatal care follow-up among women in Ethiopia using two-step machine learning techniques. The 5,990 preprocessed obstetric dataset with 13 selected attributes were used that was collected from the Dabat Research Center at the University of Gondar, Ethiopia. To solve the study problem, six cluster models were developed using K-means, Expectation Maximization and Make Density clustering algorithms, which are well-suited for analyzing health datasets, providing scalability, flexibility, robustness to noise, and the ability to handle uneven cluster sizes. K-means out-formers Density based and Expectation Maximization clustering algorithms with minimum number of sum of square errors (17094) and number of iteration (3). Then, output of the K-means cluster model was used as input to segment the dataset and build a total of 21 predictive models using the tree-based J48 classifier, PART and JRip rule generators while adjusting their parameters. The model for predicting antenatal care follow-up is constructed by induction of the truncated PART rule (accuracy of 99.93%) and extracts attributes of interest such as antenatal care attendance, antenatal care location, antenatal care frequency, current vaccination, woman's age, and HIV testing to predict antenatal care follow-up in the study area. © 2024 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Support for the file system security requirements of computational e-mail systems 94

Support for the file system security requirements of computa...

引用

Proceedings of the 2nd ACM Conference on computer and Communications Security

作者： Jaeger, Trent Prakash, Atul Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897917322

Computational e-mail systems, which allow mail messages to contain command scripts that automatically execute upon receipt, can be used as a basis for building a variety of collaborative applications. However, their use also presents a serious security problem because a command script from a sender may access/modify receiver's private files or execute applications on receiver's behalf. Existing solutions to the problem either severely restrict I/O capability of scripts, limiting the range of applications that can be supported over computational e-mail, or permit all I/O to scripts, potentially compromising the security of the receiver's files. Our model, called the intersection model of security, permits I/O for e-mail from trusted senders but without compromising the security of private files. We describe two implementations of our security model: an interpreter-level implementation and an operating systems-level implementation. We discuss the tradeoffs between the two implementations and suggest directions for future work.

关键词： file systems security computer-supported cooperative work active email groupware collaboration technology computational email

来源：评论

学校读者我要写书评

暂无评论

Scope-Bounded Reachability in Valence systems 32

Scope-Bounded Reachability in Valence Systems

引用

32nd International Conference on Concurrency Theory, CONCUR 2021

作者： Shetty, Aneesh K. Krishna, S. Zetzsche, Georg Department of Computer Science and Engineering Iit Bombay India Max Planck Institute for Software Systems Kaiserslautern Germany

ISBN: (纸本)9783959772037

Multi-pushdown systems are a standard model for concurrent recursive programs, but they have an undecidable reachability problem. Therefore, there have been several proposals to underapproximate their sets of runs so that reachability in this underapproximation becomes decidable. One such underapproximation that covers a relatively high portion of runs is scope boundedness. In such a run, after each push to stack i, the corresponding pop operation must come within a bounded number of visits to stack i. In this work, we generalize this approach to a large class of infinite-state systems. For this, we consider the model of valence systems, which consist of a finite-state control and an infinitestate storage mechanism that is specified by a finite undirected graph. This framework captures pushdowns, vector addition systems, integer vector addition systems, and combinations thereof. For this framework, we propose a notion of scope boundedness that coincides with the classical notion when the storage mechanism happens to be a multi-pushdown. We show that with this notion, reachability can be decided in PSPACE for every storage mechanism in the framework. Moreover, we describe the full complexity landscape of this problem across all storage mechanisms, both in the case of (i) the scope bound being given as input and (ii) for fixed scope bounds. Finally, we provide an almost complete description of the complexity landscape if even a description of the storage mechanism is part of the input. © Aneesh K. Shetty, S. Krishna, and Georg Zetzsche;.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of Camera Calibration Algorithms for Football Applications 4

Comparative Analysis of Camera Calibration Algorithms for Fo...

引用

4th International Workshop on Information Technologies: Theoretical and Applied Problems, ITTAP 2024

作者： Sorokivskyi, Oleksandr Hotovych, Volodymyr Nazarevych, Oleg Shymchuk, Grygorii Department of Computer Science Faculty of Computer Information Systems and Software Engineering Ternopil Ivan Puluj National Technical University Ternopil Ukraine

In solving the problem of automated analysis of football match video recordings, special video cameras are currently used. This work presents a comparative characterization of known algorithms and methods for video camera calibration, including those utilizing machine learning and neural networks, with the aim of identifying their shortcomings and forming a theoretical foundation for developing modern, more effective methods and algorithms. Specifically, it examines both algorithms that require more input data but operate quickly [1, 2] and more accurate algorithms using machine learning [3, 4, 5, 6, 5]. It is demonstrated that their main drawback is either accuracy or speed. More accurate algorithms using machine learning often do not specify the algorithm's operational speed, which precludes their use in real-time applications. The examined works that emphasize speed frequently lack the accuracy necessary for practical use in real-life scenarios. Copyright © 2024 for this paper by its authors.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

An implementation of embedded real time system framework in service oriented architecture

An implementation of embedded real time system framework in ...

引用

4th International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2012

作者： Aghajani, Mahmood Jawawi, Dayang N. A. Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia Johor Bahru Malaysia

ISBN: (纸本)9780769548104

Currently, the complexity of embedded software is increased, hence, more efficient design approaches are demanded. Although component based design is well-defined for developing Embedded Real Time (ERT) systems, the design and implementation of ERT component software is slow and complex. Distributed ERT systems can reduce the complexity of a component and increase its reliability and re-usability as well. Currently, Service Oriented Architecture (SOA) is an excellent technology for the implementation of distributed software. Some platforms are introduced to implement the components in SOA concept such as Service Component Architecture (SCA) and OSGI (Open Services Gateway Initiative). SCA provides a hierarchical component composition, distributed configurations and an interconnection with various means to design and combine services. However, SCA is unable to discover and reference services dynamically. In contrast, OSGI focuses on loading the service component. The services can be stopped, loaded and unloaded in frameworks supported by OSGI. Hence, this paper proposes an integration of SCA and OSGI to introduce a new framework for the implementation of distributed ERT systems. © 2012 IEEE.

关键词： Information services

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：