Experience in preparing Web content for people with visual disabilities shows that automatic testing of accessibility is clearly insufficient to meet real-world demands, and that ...
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
In this paper, we describe a solution to obtain flexible user interface distribution across multiple devices, even supporting different modalities. For this purpose we extend a mo...