Showing 1 - 7 of 7 results for the Author - scott hissam , Type - White Paper
In this paper, the authors present an automated overflow detection technique based on model checking and iterative refinement.
Ultra-large-scale systems are interdependent webs of software, people, policies, and economics. In socio-adaptive systems, human and software interact as peers.
Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
This monograph provides an overview of a method for isolating and overcoming faults in COTS-based systems.
This monograph offers a
This monograph provides an in-depth technical study about a COTS-based information system made up of several commercial components.