Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Conferences

Using Model Checking to Generate Tests From Specifications

Author(s)
P E. Ammann, Paul E. Black, William J. Majurski
We apply a model checker to the problem of test generation using a new application of mutation analysis. We define syntactic operators, each of which produces a

Amorphous Alloys Containing Cobalt for Orthopaedic Applications

Author(s)
John A. Tesk, C E. Johnson, Drago Skrtic, Ming S. Tung, Stephen M. Hsu
Amorphous metal alloys have properties and structures unlike those of theircrystalline counterparts. For example, a multiphase crystalline structure may exhibit

Role-Based Access Control for the Web

Author(s)
John Barkley, David R. Kuhn, Lynne S. Rosenthal, Mark Skall, Anthony V. Cincotta
Establishing and maintaining a presence on the World Wide Web (Web), once a sideline for U.S. industry, has become a key strategic aspect of marketing and sales

Fire-Emulator Detector-Evaluation

Author(s)
Artur A. Chernovsky, William L. Grosshandler, Thomas G. Cleary, Michael D. Anderson
The performance of a fire detection system is determined as much by its ability to recognize correctly the non-fire state as to sense the presence of a real

Inheritance Properties of Role Hierarchies

Author(s)
Wayne Jansen
Role Based Access Control (RBAC) refers to a class of security mechanisms that mediate access to resources through organizational identities called roles. A
Was this page helpful?