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 heads-up to decision makers who are building information systems that have security constraints, who feel the market imperatives, and who want to make opportunistic use of what the market has to offer.
This monograph provides an in-depth technical study about a COTS-based information system made up of several commercial components.