Modern systems that execute in ubiquitous environments must be adaptive in order to maintain an acceptable quality of service. As in traditional distributed systems, faults in such systems are likely to propagate across ...

Polytypic or datatype-generic programming is a form of generic programming where we abstract over the shape of datatypes: we define functions by induction over the structure of datatypes. In this thesis we show how to ...

Human mental workload has gained importance, in the last few decades, as a fundamental design concept in human-computer interaction. It can be intuitively defined as the amount of mental work necessary for a person to ...

In this thesis we implement different process calculi to model ad hoc wireless networks. Each of these calculi considers different features of wireless systems, which are selected by focusing on the kind of applications ...

This thesis examines the application of sentiment analysis towards financial news. The primary goal within the field of sentiment analysis is to develop a methodology by which the sentiment or emotional view being expressed ...

Pervasive computing environments enable access to diverse resources and services over networked computing systems. Mobile systems have the potential to be very active participants in such environments as resource providers, ...

The automotive industry has increasingly adopted computer technology to enhance the safety and efficiency of vehicles. Using sensors and electronic control systems, vehicles can become partially or fully automated, taking ...

Rendering methods basal on ray-tracing hold the promise of great realism for interactive applications. However, these algorithms still involve a considerable computational cost relative to the capabilities of today�۪s ...

The objective of image compression is to achieve the minimum possible bit-rate, within certain bounds of computational complexity, and with a tolerable degree of distortion. In very low bit-rate coding it is generally ...

Collision detection is a fundamental problem in myriad applications, spanning a wide variety of fields. Although the core concept is relatively straightforward, significant complexities result from the demand for interactive ...