CORR
2008
Springer
14 years 17 days ago
2008
Springer
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
At the 2003 EuSpRIG meeting, we presented a framework and software infrastructure to generate and analyse an audit trail for a spreadsheet file. This report describes the results ...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, ...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
In this paper, we explore the benefits, from the perspective of degrees of freedom (DOF), of user cooperation and cognitive message sharing for a two-user multiple-input-multiple-...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
: Agent-based modelling and simulation offers a new and exciting way of understanding the world of work. In this paper we describe the development of an agent-based simulation mode...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
CORR
2008
Springer
14 years 17 days ago
2008
Springer
: The purpose of this report is to present the Crossdock Door Assignment Problem, which involves assigning destinations to outbound dock doors of Crossdock centres such that travel...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
CORR
2008
Springer
14 years 17 days ago
2008
Springer
In this paper, we implement an anomaly detection system using the Dempster-Shafer method. Using two standard benchmark problems we show that by combining multiple signals it is pos...