383 research outputs found
Multiparty Session Actors
Actor coordination armoured with a suitable protocol description language has
been a pressing problem in the actors community. We study the applicability of
multiparty session type (MPST) protocols for verification of actor programs. We
incorporate sessions to actors by introducing minimum additions to the model
such as the notion of actor roles and protocol mailbox. The framework uses
Scribble, which is a protocol description language based on multiparty session
types. Our programming model supports actor-like syntax and runtime
verification mechanism guaranteeing type-safety and progress of the
communicating entities. An actor can implement multiple roles in a similar way
as an object can implement multiple interfaces. Multiple roles allow for
inter-concurrency in a single actor still preserving its progress property. We
demonstrate our framework by designing and implementing a session actor library
in Python and its runtime verification mechanism.Comment: In Proceedings PLACES 2014, arXiv:1406.331
COVID-19 impact on the subsequent assessment of the competition rights of football players
Acquired competition rights to football players are a specific intangible asset and therefore have different features in their initial and subsequent valuation. The purpose of this article is to discuss the impact of COVID-19 on the subsequent assessment of the value of transfer rights of players and on this basis to be made a critical analysis of the main factors relevant to the subsequent reporting of these rights and their presentation in the financial statements of the football clubs that apply International Financial Reporting Standards. As a result of the study, it was summarized that COVID-19 can be considered as a factor in reducing the value of the competitive rights of football players. This factor can be included as part of the so-called general factors that are relevant to the overall performance of the football club, as well as to have a personalized meaning - in relation to individual players. It was concluded that UEFA should develop a strict methodology that allows clubs to recognize impairment losses on competition rights in their financial statements and this methodology should be part of the FFP Rules
Serum homocysteine and high-sensitive C-reactive protein levels and cardiovascular disease in patients with diabetes mellitus type 2
PURPOSE: Hyperhomocysteinemia and hs-CRP are non-classical risk factors independently associated to the development of cardiovascular disease. The increased coronary heart disease (CHD) risk in subjects with type 2 diabetes mellitus (DMT2) can be in part explained by the classical risk factors like hypertension, hyperlipidemia and obesity. There is no sufficient data about the importance of homocysteine (Hcy) and hs-CRP levels in DMT2 patients without CHD in predicting the macroangiopathic complications. The aim of this study was to determine the association between plasma homocysteine and hs-CRP concentrations in DMT2 patients with and without CHD.MATERIAL AND METHODS: Fifty patients hospitalized in the Clinic of Endocrinology at St. Marina University Hospital of Varna were divided into three groups: group one, 20 DMT2 patients without any evidence of CHD; group two, 20 DMT2 patients with history of CHD and group three, 10 healthy controls matched to these groups in terms of age and classical risk factors for CHD.RESULTS: Serum hs-CRP concentrations were significantly higher in DMT2 patients than in healthy controls as well as in DMT2 patients with CHD than in CHD-free DMT2 ones. Serum Hcy concentrations were significantly higher in DMT2 patient with CHD than in controls. Both markers were elevated in group two presenting with the highest risk for CHD.Scripta Scientifica Medica 2013; 45(1): 58-61
Timed Runtime Monitoring for Multiparty Conversations
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates constraining the times in which interactions should occur. We present a timed API for Python to program distributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. The performance of our implementation and its practicability are analysed via benchmarking
Tacit Agreements in the Bulgarian Transition to Democracy: Minority Rights and Constitutionalism
DEVELOPMENT OF MULTICULTURAL COMPETENCIES IN STUDENTS' ACADEMIC EDUCATION
The article addresses the scientific problem of developing a multi-paradigmatic model for learning in a multicultural environment. The components of this model are conceptual, didactic, empirical, practically applied. The context in which the multi-paradigmatic model was developed is the real multicultural environment that exists in the academic student community. In the study, the multicultural environment is considered as an academic and school multicultural environment. In the academic multicultural environment, students develop skills to communicate with their own cultural differences - to accept and integrate them; to combine them with each other. At the multicultural classroom level, students develop process management skills in the classroom. A didactic technology for the development of multicultural skills built in a simulated pedagogical environment is presented. The article also presents an empirical study aimed at exploring the attitudes and pedagogical behavior of students placed in a controlled simulated environment. Article visualizations
Accounting aspects of the risk of digital payment operations in Bulgarian banks
Changing banking business models through the introduction of digital innovations is of key importance for the future development of the banking system, but at the same time it is related to the development of existing and new risks for banks. The purpose of this publication is to carry out a critical analysis of the risk of the introduction of various digital banking products and services in the field of payment operations and, on this basis, to outline the specific accounting aspects of this risk. Our conclusions are related to the understanding that the differentiated disclosure of incurred costs and/or reported losses from the occurrence of cyber risks in the financial statements of banks related to digital products and services and in particular to digital payment operations is necessary in order to correctly define, evaluate and analysis of those risks by all users of financial information
DEVELOPMENT OF BULGARIAN HIGHER EDUCATION IN THE CONTEXT OF THE EUROPEAN VISION
The quality of higher education, its value and its realization are among the national priorities in Bulgaria. With the development of society, its needs and expectations, higher education seeks to meet its expectations and business needs. The purpose of this article is to trace the European tendencies for a common European educational space and their reflection in the development of higher education in Bulgaria. A theoretical reading of a number of European and national documents is made to highlight the positive development trend of higher education in Bulgaria. The quality of higher education in Bulgaria is directly tied to and correlated not only with our national traditions, mentality, but also with the European horizons of a united community called Europe. Article visualizations
- …