Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make sure that the designed system fulfills all user…

In this paper, a client/server information system for the management of data and its extraction from a database containing information for diploma works of students is proposed. The developed system provides users the possibility of accessing information about different characteristics of the diploma works, according to their specific interests.…

Social bookmarking services became very popular recently. Easy of use, possibility to share and discover in addition to accessibility though the Internet, turns social bookmarking systems into powerful repository of shared knowledge. Obviously this attracts attention of educational institutions and recently such systems started to appear under…