This paper applies and reenes the ProCoS approach to trans-formational design of real-time systems to a benchmark case study, the Karlsruhe production cell 10, 9]. We start by formalizing the informal requirements of 10, 9] in Duration Calculus and end with a distributed controller architecture where all components are speciied in the program speciication language SL time 18]. Novel is the full...

The study analyzes the contribution of Alexander Kovalev to science and education, who stood at origins political since its institutionalization in Russia. contours his general philosophical concept social development are determined, original approaches interpretation categories “power” “politics”, laws politics activity, a number basic concepts reconstructed. role A. substantiating importance ...

[1] Orbital images from the MESSENGER spacecraft show that ~27% of Mercury’s surface is covered by smooth plains, the majority (>65%) of which are interpreted to be volcanic in origin. Most smooth plains share the spectral characteristics of Mercury’s northern smooth plains, suggesting they also share their magnesian alkali-basalt-like composition. A smaller fraction of smooth plains interprete...

M CASE is an approach to software development which emphasizes the use of operational models throughout the life cycle. Software development consists , therefore, in building, testing and reening models within a seamless process that leads the ana-lyst/developer from analysis to design and nally to the implementation of the system. M CASE is made up of two modeling languages, namely Protob and ...

The paper argues that the communicative system of touch includes a lexicon, an alphabet and some norms of use, and presents a research aimed at making them explicit. 104 items of touch were analysed in terms of their formational parameters, various semantic criteria, and norms of use, and some hypotheses on the structure of the communicative system of touch in Italy were tested in a pilot study...

Why is immediate-serial-recall (short-term memory) span consistently shorter for sign language than it is for speech? A new study by Boutla et al. shows that neither the length of signs, nor the formational similarity of signed digits, can account for the difference. Their results suggest instead that the answer lies in differences between the auditory and visual systems. At the same time, howe...

This paper presents new ideas about the formational identity, as well first data on age of formation rocks within Lysan intrusive complex located at junction Derbin block and Sisim-Kazyr zone Central Asian folded belt. The study identified similarities between intrusions alkaline-ultrabasic formation. It formed during period maximum intraplate activity along edge Siberian craton.

The current paper aims to discuss the methodology of developing a social-structure explanation of employee work performance, emphasizing the importance of trans‐ formational leadership behaviours and the three compo‐ nents of organizational commitment in an Arab context. As this research paper adopted the pragmatist view in exploring the phenomenon, choices of lower-level meth‐ odological consi...