The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Systemy antykradzieżowe EAS stosowane są na przykład w sklepach lub bibliotekach w celu sygnalizacji kradzieży towaru. Przykładowy system antykradzieżowy EAS składa się: anteny nadawczej, anteny odbiorczej i znaczników nazywanych również tagami, metkami lub klipsami. Dla konsumenta znacznik jest tym elementem systemu, z którym ma on bezpośredni kontakt. Znaczniki są instalowane na przeróżnych artykułach...
For modelling of real-time safety critical systems, when traditional testing techniques cannot be applied, formal system verification is crucial. Alvis is a modelling language that combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. Solutions introduced in Alvis make the development process easier and help engineers to cope with...
Concurrent systems are composed of a set of subsystems (processes, threads etc.) that must communicate between themselves to meet the system requirements. Modelling and programming languages provide different communication modes to handle synchronous and/or asynchronous communication between subsystems. The paper provides a survey of communication modes introduced to the Alvis modelling language and...
Priority management is crucial to the development of correct real-time systems. Applications of formal methods in the development process require to choose a suitable formalism that is capable of dealing with different priority management algorithms. The paper deals with priority management in the Alvis modelling language. One of the advantages of Alvis is its Haskell middle-stage representation that...
Jacek Sielski took photographs of the Praga district in Warsaw from a specific angle, seeking a sui generis urban folklore or encountering it frame after frame. Looking at the bodies and faces of people from the streets of Praga: Brzeska, Zabkowska, Kaweczynska, Stalowa and Szwedzka, or the Rózycki Bazaar we suddenly see much more, and their dialogues, thoughts and experiences become 'visible'. We...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.