More and more, modern software systems in a distributed and parallel environment are
becoming highly complex and difficult to manage. A self-adaptive approach that integrates …

We analyze the problem of buffer sizing for TCP flows in 802.11-based Wireless Mesh
Networks. Our objective is to maintain high network utilization while providing low queueing …

The problem of propositional formula minimization can be traced to the mid of the last
century, to the seminal work of Quine and McCluskey, with a large body of work ensuing …

Modern computer systems for distributed service computing become highly complex and
difficult to manage. A self-adaptive approach that integrates monitoring, analyzing, and …

New and unseen polymorphic malware, zero-day attacks, or other types of advanced
persistent threats are usually not detected by traditional security systems. This represents a …

Imagine a set of communication partners wants to keep their communication links secret.
Consider the case where untrustworthy parties are able to observe every communication …

The problem of propositional formula minimization can be traced to the mid of the last
century, to the seminal work of Quine and McCluskey, with a large body of work ensuing …

In distributed systems in which autonomous entities exchange information with each other,
these entities have the freedom to provide incorrect information. This becomes especially …