The model checkers are tools which can be used to verify a given system satisfies a given temporal logic formula. The model is a directed graph where the nodes represent the states of the system and the edges represents the state transitions. The nodes and the edges can be labelled with atomic...

Algorithmic research is an established knowledge engineering process that has allowed researchers to identify new or significant problems, to better understand existing approaches and experimental results, and to obtain new, effective and efficient solutions. While algorithmic researchers...

Human or virtual agents are presented in our lives daily. They serve our purposes and represent us in different many situations. Nowadays the number of virtual agents is increasing daily because they are cheaper, faster and more accurate than human agents. Our aim in this article is to define a...

Following the trends of IT use in education we propose four main principles of educational application development: anytime-anywhere access (including access for mobile devices); user-generated content; assigning users an active role inside the platform; creating a correlation between natural...

The firm, considered to be a unitary system, disposes of a functioning mechanism defined by a few characteristics, which include: - it is a unitary ensemble with an established juridical regime and a certain functional autonomy; - it has specific in and out parameters; - it is capable of...

Under consideration accomplished subdued research a series of the biochemical parameters (the haemoglobin, albuminoidal, lactic acid), who conditions the physical special effort. Hold the medical area ( A. Demeter, 1982; I. Dragan, 1984; M. Ifrim, 1989, etc.) propose in the process of selection grids...

An average annual rate of growth of 6.92% during 2002-2008 has ensured the gradual decrease in the gap between Romania and other EU member states. Key economic indicators are shown in Table 1. The main growth factor for this period has been the domestic demand. Having grown at a steady pace for...

There are stories about successes but also about failures referring to franchise and network marketing businesses. Considering the similarities and differences they offer, it is necessary to correctly indicate them for a certain situation. If someone wants to find out the perfect moment for a...

Creating, managing and transferring knowledge is at the top of the agenda for a growing number of organizations. There are two approaches to knowledge management: the process approach and the practice approach. The process approach attempts to codify organizational knowledge through formalized...

Knowledge Management deals with a multitude of tasks that range from the representation to the evolution of knowledge in its various forms. Understanding the way in which knowledge is used contributes to the improvement of the Knowledge Management Systems at the organizational level. This paper...