A simulation model, and more generically, a model, is founded on its assumptions. Assurance of the model’s correctness and correct use is needed to achieve accreditation. Often the exercise of working with a specific code ...

The analysis of markets with indivisible goods and fixed exogenous prices has played an important role in economic models, especially in relation to wage rigidity and unemployment. This paper provides a novel mathematical ...

In this paper we discuss the result of piloting a methodology for Engineering Final Year Projects (FYP) assessment that takes into consideration professional skills acquisition. The FYP is structured around three milestones; ...

The airline industry is constantly subject to the search of new methods in order to increase efficiency, profitability, and customer satisfaction. Since airlines only generate revenue when their airplanes are on the air, ...

Creating a definition of the features and the architecture of a new Energy Management Software (EMS) is complex because different professionals will be involved in creating that definition and in using the tool. To simplify ...

The analysis of markets with indivisible goods and xed exogenous prices has played an important role in economic models, especially in relation to wage rigidity and unemployment. This paper provides a novel mathematical ...

The objective of the paper is to present a methodology that can be used to translate a model from one formalism to another allowing model reuse and cross-verification. With the use of formal languages, the model specifications ...

The software selection process in the context of a big company is not an easy task. In the Business Intelligence area, this decision is critical, since the resources needed to implement the tool are huge and imply the ...