In recent years the world has been experiencing a series of environmental changes that have led to the emergence of a strong conviction in society to do with the need to protect the environment. Information Technologies (IT), especially software technologies, can contribute to environmental sustainability in two ways: “Green by IT”, in the sense that IT can provide tools to perform tasks in a w...

Compliance issues impose significant management and reporting requirements upon organizations.We present an approach to enhance business process modeling notations with the capability to detect and resolve many broad compliance related issues. We provide a semantic characterization of a minimal revision strategy that helps us obtain compliant process models from models that might be initially n...

It is now widely accepted that errors in spreadsheets are both common and potentially dangerous. Further research has taken place to investigate how frequently these errors occur, what impact they have, how the risk of spreadsheet errors can be reduced by following spreadsheet design guidelines and methodologies, and how effective auditing of a spreadsheet is in the detection of these errors. H...

This paper is a first step in the analysis of the use of signals of taxpayer’s incomes by tax audit authorities. In a very simple model, we consider the design of the audit strategy when the tax authority can commit to it and has free access to a signal correlated with the taxpayer’s true income. We discuss the optimal enforcement policy and compare it with the optimal one when only self-report...

The protection of sensitive information is of utmost importance for organizations. The complexity and dynamism of modern businesses are forcing a re-think of traditional protection mechanisms. In particular, a priori policy enforcement mechanisms are often complemented with auditing mechanisms that rely on an a posteriori analysis of logs recording users’ activities to prove conformity to polic...

Spreadsheets are an important device for computer based decision support. In this capacity, they might reach a level of complexity and show evolutionary patterns similar to conventional software. However, as end-user devices, they are not subjected to as rigorous a development and maintenance process as professionally written software. Thus, the significance of the decisions they are supporting...

Computations in spreadsheets are hard to grasp and consequently many errors remain unnoticed. The problem with the hidden errors lies in the invisibility of the structure of calculations. As a result, auditing and visualization tools are required to make spreadsheets easier to comprehend and errors easier to be detected. This paper presents a theoretical model of spreadsheets, and describes var...

There is a significant growth of behavior economics in the last decade. The goal of the behavior research is aimed at the deviations from rationality in order to improve the predictive power of economic models. In this paper, attached to the specific auditing process, I want to classify the neglecting relevant information due to judgment by representative which causes the bias, or the error of ...