There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of p
This thesis addresses the need to balance the use of facial recognition systems with the need to protect personal privacy in machine learning and biometric iden
More and more services are moving to the cloud, attracted by the promise of unlimited resources that are accessible anytime, and are managed by someone else. Ho
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establis
This book provides a structured introduction to the verification of sequen tial and concurrent programs. It thus belongs to the area of programming languages bu