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...

: In the context of the omnipresence of technology in our quotidian lives, it is normal for educational process to adapt to these new conditions and requirements. Moreover, it is expected that distance education based on Internet technology (in short, e-Learning) will record a great expansion in...

Romania is currently facing an acute crisis of values. The students' interest for knowledge declined alarmingly. The society puts so in front of the education system new problems and new demands about human resources training, level of education and culture of the population, standards of...

The paper is based on a research conducted in "Carol I-st" National Defense University in the academic year 2010-2011. It concentrates on defining Knowledge Management and learning in networks, linking these concepts to military English learning situations. Attention is drawn to the details...

Contemporary organization has to survive in a continuously and rapidly changing environment. Any organization is usually structured according to certain formal principles and therefore it is rigid and quite reluctant to change. Teams, on the other hand, have more reduced dimensions and a higher...

Multiplying the strategic alliances has led in time to the evolved forms of federations created either on the investment criterion, or on the basis of a common approach of a market or to approach together a research-development area. In order to try to shape the new realities in the practice of...

The current economic environment is of high complexity and it requires a different approach to the concept of economic-financial management, namely to have a preventive, proactive character, under the conditions of an unpredictable future, which should promptly respond to the challenges caused...