?
Visualization of behavioral aspects of AADL-models
P. 87–91.
Zelenov S. V., Buzdalov D.
In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to debug behavioral specifications. In the paper, we consider examples of the metamodel usage to represent dynamics for the following two aspects of AADL-models: 1) simulation of a modelled system on the basis of a Behavior Annex specification; 2) failure modes and effects analysis on the basis of an Error Model Annex specification. We also present a stepwise visualization tool (engine and applications for both mentioned examples) that is implemented in MASIW framework for design of modern avionics systems.
Smirnov A., Социологические исследования 2023 № 4 С. 39–50
Using the analysis of a corpus of texts from eight leading Russian sociological journals, the article examines the impact of the digitalization of society on sociology in 2000–2021. Frequency analysis of 13.8 thousand scientific texts tracked the introduction of concepts related to digitalization into academic circulation. The article reveals the differences between the journals, due ...
Added: March 18, 2026
Oshmankevich K., Холодная Е. В., Магдилова Л. В. et al., В кн.: Правовое регулирование бережного и устойчивого оборота данных.: М.: ИНФРА-М, 2025. Гл. 3.5 С. 137–201.
Монография посвящена актуальным проблемам оборота данных в цифровую эпоху. Исследуется концепия "бережного" оборота данных для защиты прав человека. Анализируется влияние технологий на права, принципы "бережного" оборота, регулирование больших данных, соотношение данных и интеллектуальной слбственности, безопасность при развитии искусственного интеллекта. Особое внимание уделено персональным данным в трудовых отношениях и в здравоохранении.
Предназначена для научного сообщества, практикущих юристов, ...
Added: February 13, 2026
М.: МАКС Пресс, 2024.
The book contains theses of talks approved by the Program Committee of the Nineteenth Conference “Free Software in Higher Education”. ...
Added: October 25, 2025
М.: МАКС Пресс, 2025.
The book contains conference proceedings approved by the Program Committee of the Twentieth Conference ‘Free Software in Higher Education’. ...
Added: October 24, 2025
Kostyuk A., Tsvetkov V., Korolev P. et al., Reliability: Theory and Applications 2025 Vol. 20 No. 3(86) P. 35–53
This paper presents a methodology for predicting dependability measures of swarm structures of unmanned aerial vehicles used in agriculture. The main attention is paid to the development of mathematical models for assessing the dependability of hardware, software, and communication systems in drone swarms. Two types of UAVs are considered in the paper: DJI Phantom 4 ...
Added: June 23, 2025
Komashko M. N., В кн.: Право и экономика: стратегии регионального развития: сборник материалов IV Вологодского регионального форума с международным участием (Вологда, 27-28 марта 2024 г.).: Северо-Западный институт (филиал) Университета им. О.Е.Кутафина, 2024. С. 75–79.
The author notes that when discussing the problems of digital transformation of the economy and other social relations, it is necessary to take into account the protection of rights not only of information technology users, but also of software builders. However, the copyright law concept of computer software protection is currently suitable only for the ...
Added: December 29, 2024
Прокудин Д. Э., Lisanyuk E., Баымуратов И. Р., Научная визуализация 2024 Т. 16 № 3 С. 106–122
In the historical development of argumentation as a scientific direction and applied field, a number of ways of its visual representation have been developed. In the middle of the 20th century, within the framework of the theory of argumentation, in addition to the logical, rhetorical and computational concepts used since ancient times, new concepts were ...
Added: October 1, 2024
Kalyatin V., В кн.: Роль суда в регулировании экономической деятельности. Часть 2: сборник научных статей.: М.: Русайнс, 2024. С. 47–54.
The right to modification is an important part of legal regulation because it provides the author’s control for use of modified versions of his work. However, there are a lot of dispute issues connected with this right to modification, especially in relation to software and databases which have technical nature. However, the most important of ...
Added: October 1, 2024
Chaleenutthawut Y., Davydov V., Evdokimov M. et al., IEEE Access 2024 Vol. 12 P. 24843–24854
Decentralized finance (DeFi) offers a range of financial instruments and services that leverage the capabilities of web3 technology. Maker protocol, which enables users to obtain loans backed by cryptocurrencies, is one of them. Unlike traditional banks, Maker’s data is transparently recorded on the Ethereum blockchain. In this research paper, we focus on analyzing the lending ...
Added: September 4, 2024
Shirnin A., Andreev N., Potapova S. et al., IEEE/ACM Transactions on Speech and Language Processing 2024 Vol. 32 P. 2751–2763
We present an approach to evaluate the robustness of pre-trained vision and language (V&L) models to noise in input data. Given a source image/text, we perturb it using standard computer vision (CV) / natural language processing (NLP) techniques and feed it to a V&L model. To track performance changes, we explore the problem of visual ...
Added: July 19, 2024
Kalyatin V., Евразийский юридический журнал 2024 № 2(189) С. 209–212
Переработка произведений всегда вызывает много вопросов, но применительно к программам для ЭВМ они становятся намного сложнее. Это обусловлено особой природой указанных объектов и условиями их использования. Данная статья посвящена наиболее важным практическим вопросам переработки этих объектов. В ней рассматриваются причины появления тех или иных конфликтных ситуаций, возможные пути их разрешения, указывается наиболее важная судебная практика. ...
Added: June 20, 2024
Erlygin L., Zholobov V., Baklanova V. et al., , in: 2023 IEEE International Conference on Data Mining Workshops (ICDMW) 1–4 December 2023, Shanghai, China.: Shanghai: IEEE Computer Society, 2023. P. 1247–1258.
Machine learning models play a vital role in time series forecasting. These models, however, often overlook an important element: point uncertainty estimates. Incorporating these estimates is crucial for effective risk management, informed model selection, and decision-making.To address this issue, our research introduces a method for uncertainty estimation. We employ a surrogate Gaussian process regression model. ...
Added: March 20, 2024
Strimovskaya A., Barykin S., Volkova E. et al., IFAC-PapersOnLine 2023 Vol. 56 No. 2 P. 1809–1814
Modern tendencies of rapid economic growth, demand-driven market, highly uncertain economic environment with various disruption sources simultaneously with targets for sustainable development explains the increased interest to advanced solutions in supply chain management. The research paper presents a multi-level efficiency control model presenting analytical sequences and integral method of factor analysis for logistics performance indicators ...
Added: January 17, 2024
Saleh H., IEEE, 2023.
Estimating depth is necessary to understand and navigate the environment surrounding us. Over the years, many active sensors have been developed to measure depth, but they are expensive and require additional space for mounting. A cheaper alternative is estimating depth from a single RGB image taken by an ordinary monocular camera, which can be placed ...
Added: November 30, 2023
Kalyatin V., В кн.: Сборник научных статей учеников и коллег к 90-летию профессора Э.П. Гаврилова.: Томск: Томский государственный университет, 2023. С. 122–139.
Переработка программ для ЭВМ – сложная тема, вызывающая много вопросов. В данной статье рассматривается часть из них, в частности, имеет ли правообладатель перерабатываемой программы право запретить ее переработку, каковы пределы действия права правообладателя, какие права возникают у лица, переработавшего программу и т.д. ...
Added: November 21, 2023
Vladimir Borisovich Isakov, Legal Issues in the Digital Age 2022 Vol. 3 No. 3 P. 47–67
The article attempts at articulating the concept of graphic language and stating its role in the sphere of law. It also considers the functions of the graphic language and basic types of schemes. The main stages of the schematization process are shown. The author’s point of view on correlation between schematization and visualization is expressed. ...
Added: July 1, 2023
Erahtina O. S., Journal of Digital Technologies and Law 2023 Т. 1 № 2 С. 421–437
Objective: to review the modern scientific approaches to regulating relations in the sphere of using the artificial intelligence technologies; to reveal the main features and limitations of using the risk-oriented and technological approaches in order to determine the directions of their further development.
Methods: the methodological basis of the research is a set of scientific cognition ...
Added: June 23, 2023
Oxford University Press, 2020.
Social networks fundamentally shape our lives. Networks channel the ways that information, emotions, and diseases flow through populations. Networks reflect differences in power and status in settings ranging from small peer groups to international relations across the globe. Network tools even provide insights into the ways that concepts, ideas and other socially generated contents shape ...
Added: December 16, 2022
Boltunova E., , in: Picturing Russian Empire.: Oxford: Oxford University Press, 2024. Ch. 6 P. 66–73.
Added: November 30, 2022