CONSTRUCTION OF A GENERALIZED MODEL FOR DETERMINATION THE BROKER BEHAVIOUR FOR CAPITAL MARKET

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 propositions what describe the states and the transitions of the system. In order to be verified by a given model, a property is written as a temporal logic formula across the labelled propositions from the model. A model checker is an algorithm that determines the states of a model that satisfy a temporal logic formula.

CONSIDERATIONS ON USING KNOWLEDGE MANAGEMENT PRINCIPLES IN THE DEVELOPMENT OF E-LEARNING PLATFORMS

Developed in the business sector, where it proved to increase employee motivation, enhance customer support services and overall business efficiency, Knowledge Management found its way to higher education institutions. This paper tries to argument the benefits of using KM principles when designing an e-learning platform as well as point out a few practical implementations.knowledge management, e-learning, higher education