We present a novel framework to reason on programs based on probability distributions on the state space of a program: they are functions from program states to real numbers in the range [0..1], which can be used to represent ...

High-performance primitive libraries are used to replace parts of sub-optimal code with optimized implementations. These libraries often come in the form of highly-optimized assembly routines, which raises several issues. ...

Software operating in domains such as process management systems, wireless sensor networks and spacecraft control systems are expected to continue uninterrupted operation over extended periods, without any manual supervision, ...

Real-time applications such as games or urban simulations arc often highly complex in nature. User expectations grow year by year, along with a concomitant desire for added realism. Due to the performance limitations of ...

The Internet is the main provider of information, communication and media services for an increasing percentage of the world's population. Its architecture is based on packet switching principles and employs a layered, ...

In the computer graphics realm complex objects are abundant, but often need to be simplified in order to be displayed interactively. As the human visual system is far from flawless, advantage can be taken of its weaknesses ...

Ad Hoc networks are an ideal way to form interactions between mobile wireless nodes of emergency services from different domains (i.e. organizations or countries). However, due to the frequent topological and membership ...

The peers in a Peer-to-Peer (P2P) system arrange themselves in a virtual network called the overlay network. The overlay network sits above the underlying physical network and is used to search for resources and peers, ...

The need to autonomically optimize end user service experience in near real time has been identified in the literature in recent years. Service management systems that monitor end user service session context are deployed ...