We develop a game semantics for process algebra with two independent, interacting agents. The purpose of the semantics is to make manifest the role of knowledge and information flow in the interactions between agents and to control the information available…

Reference documentation is an important source of information on API usage. Programmers, however, can easily overlook reference information because of its tedious nature, and because the information they seek can be buried among irrelevant or boiler-plate text. We propose to…

Positron emission tomography (PET) imaging is becoming increasingly popular for understanding brain function. This thesis addresses two problems related to PET images: binding potential (BP) computation and pairwise PET image registration. We first investigate the influence of several computational choices…

Modern information systems, consisting of an application server tier and a database tier, offer several consistency guarantees for accessing data where strong consistency is traded for better performance or higher availability. However, it is often not clear how an application…