Equivalence properties are extremely useful in the analysis of security protocols for expressing privacy type properties. While reachability properties have been extensively studies and benefit from rich tool support the situation for equivalence properties is different. In this review we give an overview of four prototype tools that have been developed in the AVOTÉ project.

0

project scheduling   net present value   we consider a project scheduling problem with permitted tardiness and discrete time/resource trade-offs under maximum net present value objective. in this problem, a project consists of a set of sequential phases such that each phase contains one or more sub-projects including activities interrelated by finish-start-type precedence relations with a time ...

the aim of this paper is to highlight the issue of managerial competencies and competency model in industrial enterprises. this paper builds upon the theory of knowledge processing and its role as a theoretical basis for knowledge development in the area of managerial competencies. managerial competencies are becoming one of the key building blocks of success in a company to achieve both the mi...

Innovation is increasingly taking place in networks of organizations, both private and public. This Network Innovation is challenging traditional approaches to project management and development. In this paper we present the application of a Co-Design approach in an innovation project with more than 20 organizations as partners, including global corporations, SMEs, government authorities, unive...

the issue of successful project management and control is of vital importance in today’s world. although the time and cost of any project is determined in advance, paying less attention to an appropriate control and revision will result in a small chance of reaching those goals. the earned value management method that shows deviation of projects schedules and costs is of the good method for thi...

Due to the particular importance of projects in human life and in organizations, proper project management has been always regarded highly by researchers and practitioners. Recent advances in technology and fundamental changes in most scientific areas have affected projects and made their nature and environmental circumstances much more complex than in the past. Fortunately, in recent years, ma...