Abstract. In this paper, an agent-based evolutionary computing technique is introduced, that is geared towards the automatic induction and optimization of grammars for natural lang...
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identication Devices (RFID) and develop techniques for facilitating a correlatio...
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
The potential of Computer-Mediated Communication (CMC) to enable new forms of social interaction and foster democratisation of decision making has raised much interest but has bee...
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...