?
Preliminary Proceedings of the 10th Spring /Summer Young Researchers’ Colloquium on Software Engineering
-, 2016.
Under the general editorship: A. Kamkin, Petrenko A. K., A. Terekhov
The issue contains papers accepted for presentation at the 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2016) held in Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia on May 30-June 1, 2016. The paper selection was based on originality and contributions to the field. Each paper was peer-reviewed by at least three referees.
The colloquium’s topics include programming languages, software development tools, embedded and cyber-physical systems, software and hardware verification, formal methods, information security, and others.
Language:
English
Alexey Mitsyuk, Anna Kalenkova, Sergey A. Shershakov et al., Business Informatics 2014 Vol. 29 No. 3 P. 15-27
E-trade systems are widely used to automate sales processes. Inefficiencies and bottlenecks in the sales processes lead to business losses. Conventional approaches to identifying problems require much time and result in subjective conclusions. This paper proposes an approach for the analysis of e-trade system processes based on the application of process mining techniques. Process mining ...
Added: August 29, 2014
Kazan : -, 2013
The issue contains the papers presented at the 7th Spring/Summer Young Researchers' Соllоquium оn Software Engineering (SYRCoSE 2013) held in Kazan, Russia on 30th and З1st оf Мay, 2013. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and reseаrсh-in-рrogrеss papers were соnsidered ассeрtable for the ...
Added: June 8, 2013
W.M.P. van der Aalst, Informatik-Spektrum, Germany 2014 Vol. 37 No. 5 P. 191-198
Seit ihrem Entwurf im Jahr 1962 sind Petrinetze in ganz unterschiedlichen Bereichen eingesetzt worden. Obwohl sie graphisch dargestellt werden und intuitiv einfach verständlich sind, haben Petrinetze eine formal eindeutige Semantik mit einer Vielzahl mathematischer Analysetechniken. Sie reichen vom Model Checking und der Strukturellen Analyse über das Process Mining bis zur Performanz-Analyse. Im Lauf der Zeit ...
Added: October 17, 2014
Springer, 2020
International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019) will take place in Tbilisi, Georgia on 7-9 November 2019. The conference will be focused on application of modern methods of data science to the analysis of software quality. The organizer of this year’s TMPA event is Ivane Javakhishvili Tbilisi State University, see ...
Added: October 14, 2019
Mitsyuk A. A., Shugurov I., Моделирование и анализ информационных систем 2014 Т. 21 № 4 С. 181-198
Process mining is a new emerging discipline related to process management, formal process models, and data mining. One of the main tasks of process mining is the model synthesis (discovery) based on the event logs. A wide range of algorithms for process model discovery, analysis, and enhancement are developed. The real-life event logs often contain ...
Added: October 20, 2014
W. M. P. van der Aalst, Software and Systems Modeling. Germany 2014 P. 1-7
Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a ...
Added: October 17, 2014
Lomazova I. A., Fundamenta Informaticae 2010 Vol. 101 No. 1-2 P. 59-70
In this work we consider modeling of workflow systems with Petri nets. To increase flexibility and give tools for workflow models re-engineering we extend the formalism of workflow nets by considering systems of interacting nets. Then we study soundness - the main correctness property of workflow processes - and show, that for a special class ...
Added: November 19, 2012
van der Aalst W., Distributed and Parallel Databases 2013 Vol. 31 No. 4 P. 471-507
The practical relevance of process mining is increasing as more and more event data become available. Process mining techniques aim to discover, monitor and improve real processes by extracting knowledge from event logs. The two most prominent process mining tasks are: (i) process discovery: learning a process model from example behavior recorded in an event ...
Added: November 14, 2013
Fuad Aleskerov, Evgeny Mitichkin, Sergey Shvydun et al., Procedia Computer Science 2013 No. 17 P. 1121-1124
The paper examines a choice problem in case of large number of alternatives characterized by a set of criteria. Very often existing choice procedures cannot be used due to their computational complexity. In contrast, the approach proposed in this paper utilizes a set of easy to use techniques having complexity less than the quadratic. We ...
Added: June 7, 2013
M. : HSE, 2014
The materials of The Third International Scientific-Practical Conference is presented below. The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.
Digest of Conference materials is presented in 3 parts. It is interesting for a wide range of researchers, teachers, graduate students and ...
Added: April 18, 2014
Baranov A., Baranov P., Проблемы информационной безопасности. Компьютерные системы 2018 № 4 С. 62-67
The paper examines probability-theoretic models of information distortion at message level. We research control sum distribution segments that are typical for network protocols like TCP.
As an addition operation we use both bitwise coordinate addition and addition of numbers in binary code with carry. Control sum error probability for asymptotic assessments provided distortion probability is low ...
Added: July 31, 2019
IEEE Computer Society, 2020
ICTAI 2020: The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies.
The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems ...
Added: January 30, 2021
Koldanov A. P., Kalyagin V. A., Pardalos P. M., Lecture Notes in Computer Science 2015 Vol. 9432 P. 26-36
Stock selection by Sharp ratio is considered in the framework of multiple statistical hypotheses testing theory. The main attention is paid to comparison of Holm stepdown and Hochberg step up procedures for different loss functions. Comparison is made on the basis of condittional risk as a function of selection threshold. This approach allows to discover ...
Added: December 13, 2015
Липецк : ООО "Максимал информационные технологии", 2014
В сборнике публикуются статьи проблемного и научно-практического характера, представляющие собой результаты завершенных исследований, обладающие новизной и представляющие интерес для широкого круга читателей.
Печатается по решению редакционно-издательского совета Международного научного партнерства "Национальный фонд инноваций" ...
Added: March 26, 2014
Babkin E., Babkina T. S., Ulitin B., Бизнес-информатика 2018 № 2 (44) С. 17-29
Joint analysis of the general structure of online Internet discussions and different attributes of particular text comments becomes an important scientific task in theoretical and applied aspects. Although methods of machine learning facilitate stochastic analysis of text messages, appropriate modeling of dynamics of online discussion and psycho-linguistic characteristics of comments in the presence of multiple ...
Added: September 30, 2018
Akopov A. S., Beklaryan L., Automation and Remote Control 2015 Vol. 76 No. 10 P. 1817-1827
An agent model of crowd (ensemble) behavior in emergencies was presented. This model is distinguished for the allowance for dynamics of each agent from the ensemble under consideration. The crowd effect manifests itself mostly as attraction or repulsion of closely set agents with a probability depending on the agent’s psychological type. Consideration was given to ...
Added: October 24, 2015
Aleskerov F. T., Gavrilenkova I., Shvydun S. et al., Group Decision and Negotiation 2020 Vol. 29 No. 3 P. 399-424
Since 9/11, terrorism has become a global issue of the twenty-first century. Terrorist organizations become important actors of world politics as they gain influence on political process and decision-making. Some organizations compete with each other in order to gain more power and influence. We study the distribution of power among terrorist groups using network approach ...
Added: April 19, 2020
Levin V., Козлов Д. Н., Банковское кредитование 2013 Т. 48 № 2 С. 15-25
Система предотвращения мошенничества (внутреннего и внешнего) мошенничества при потребительском кредитовании нацелена на выявление искажений персональных данных самими клиентами и/или с участием лиц вне банка (организованных преступных группировок, "черных(серых)" брокеров), а также для выявления фактов внутреннего мошенничества с участием сотрудников банка. Упор делается на индикаторы мошенничества, построенные на основе алгоритма нечетких совпадений. В системе предусмотрены возможности ...
Added: November 24, 2013
Fuad Aleskerov, Demin S., Shvydun S., SN Computer Science 2020 Vol. 1 No. 2 Article 68
The paper examines the choice problem when the total number of observations and criteria is too large. There are many different procedures, which are used for decision-making process under multiple criteria; however, most of them cannot be applied to large datasets due to their computational complexity while others provide sufficient accuracy. To solve the problem, ...
Added: February 20, 2020
Пенза : ПГУ, 2015
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и ...
Added: May 31, 2015
Akopov A. S., Beklaryan L. A., Saghatelyan A. K., Environmental Modelling and Software 2019 Vol. 116 P. 7-25
Urban greenery such as trees can effectively reduce air pollution in a natural and eco-friendly way. However, how to spatially locate and arrange greenery in an optimal way remains as a challenging task. We developed an agent-based model of air pollution dynamics to support the optimal allocation and configuration of tree clusters in a city. The Pareto ...
Added: February 24, 2019
Ayzatullova Renata, Lyadova Lyudmila, Shalyaeva Irina, International Journal "Information Models and Analyses" 2015 Vol. 4 No. 2 P. 122-141
Abstract: An approach to reengineering business processes through the integration of the domain specific modeling platform and Process Mining tools is described. An analysis of the existing approaches to business processes improvement is presented and restrictions are shown. The Process Mining methods are related to business process reengineering stages and tasks. Comparative analysis of Process ...
Added: January 23, 2016
Gromoff A., Информационные технологии в проектировании и производстве 2012 № 2 С. 13-19
The article is dedicated to quantitative assessment of operational risk in statistical incorrect environment specified by insufficiency of data: IT-system failure/breakdown and time to recovery. System capabilities provided by manufacturer as well as Company's business continuity reliability specifications were used as the input data for the model. The authors used their own experience of operational ...
Added: September 8, 2012
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Added: November 18, 2013