This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
We describe a distributed system architecture that supports the integration of different front-office trading systems with middle and back-office systems, each of which have been ...
Wolfgang Emmerich, Walter Schwarz, Anthony Finkels...
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
The main aim of this project is to explore, develop and evaluate the contribution of language technologies to the development of WEBCOOP, a system that provides intelligent Cooper...
In this paper, some considerations on extension of the Datalog language are proposed in order to apply this language on a GEFRED fuzzy relational database. For this integration, w...