In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
The subArctic user interface toolkit has extensibility as one of its central goals. It seeks not only to supply a powerful library of reusable interactive objects, but also make i...
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
We first present in this paper why peripheral awareness is important in the context of Air Traffic Controller interfaces. Controllers are often working under a high working load, ...
Jonathan J. Cadiz, Mary Czerwinski, D. Scott McCri...
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...