This work was carried out in the ASCI graduate school. ASCI dissertation series number 150. Doctoral committee: prof.dr. A.S. Tanenbaum (promotor) dr. B. Crispo (copromotor) prof.dr. B. Christianson (University of Hertfordshire, UK) prof.dr. J. Bacon (University of Cambridge, UK) prof.dr. F. Brazier (Vrije Universiteit, Amsterdam) prof.dr. M. van Steen (Vrije Universiteit, Amsterdam) dr. H. Bos (Vrije Universiteit, Amsterdam)