122 search results - page 1 / 25 » The Creation of a New Minor Event Coding System |
80
Voted
CTW
2002
14 years 10 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...
102
Voted
PPPJ
2003
ACM
15 years 3 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...
110
click to vote
ICFP
2005
ACM
15 years 10 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
15 years 3 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...
95
Voted
CODES
2006
IEEE
15 years 4 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...