Application Virtualizaton as a Strategy for Cyber Foraging in Resource-Constrained Environments

This technical note explores the applicability of application virtualization as a strategy for cyber foraging in resource-constrained environments. Cyber foraging is a technique to enable resource-poor, mobile devices to leverage...

Reliability Improvement and Validation Framework

This report discusses the reliability validation and improvement framework developed by the SEI. The purpose of this framework is to provide a foundation for addressing the challenges of qualifying increasingly...

Resource Allocation in Dynamic Environments

When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource...

Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language

Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.

Insider Fraud in Financial Services

This brochure presents a summary of the findings of a recent study that analyzed insider and outsider computer criminal activity in the financial services sector to help security professionals prevent,...