122 search results - page 1 / 25 » The Creation of a New Minor Event Coding System |
CTW
2002
13 years 4 months ago
2002
Abstract: The present study began with an assessment of the reliability and usefulness of an existing minor event coding system in a British `highconsequence' industry. It was...
PPPJ
2003
ACM
13 years 10 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
MM
2004
ACM
13 years 10 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
CODES
2006
IEEE
13 years 10 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...