In this paper we survey the major developments in understanding the complexity of the graph connectivity problem in several computational models, and highlight some challenging op...
We describe the ABC modeling work of the Harmony Project. The ABC model provides a foundation for understanding interoperability of individual metadata modules
The system-to-administrator ratio is commonly used as a rough metric to understand administrative costs in high-scale services. With smaller, less automated services this ratio ca...
One of the most critical steps of any security review involves identifying the trust boundaries that an application is exposed to. While methodologies such as threat modeling can ...
Urban environments require cognitive abilities focused on both spatial overview and detailed understanding of uses and places. These abilities are distinct but overlap and reinfor...