MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Computer Safety" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

142 documents found, showing 1 through 10. Next 10 →

ATOM

at 24th international conference on computer safety, reliability and security (SAFECOMP’05), 28
by Zeshan Kurd, Tim P. Kelly — 2005
…Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control Zeshan Kurd…
Cited by 1 (1 self) – Add To MetaCart

Contents
by unknown authors
…Final report of the study group on the safety of operational computer systems The use of computers…
Add To MetaCart

An overview of the programatica toolset
by Thomas Hallgren, James Hook, Mark P. Jones, Richard B. Kieburtz — 2004 — High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04
… increasing use of computers in safety and security critical applications, the need for trustworthy computer…
Cited by 5 (0 self) – Add To MetaCart

Safety, Reliability and Security of Industrial Computer Systems
by Stuart Anderson, Massimo Felici — 2003
…Guest Editorial Safety, reliability and security of industrial computer systems This special issue…
Add To MetaCart

A modal language for the safety of mobile values
by Sungwoo Park — 2006 — In Fourth ASIAN Symposium on Programming Languages and Systems
… not found in stand-alone computations: the safety of mobile code. One approach to the safety of mobile code…
Cited by 8 (1 self) – Add To MetaCart

Software Reliability and Safety in Nuclear Reactor Protection Systems
by J. Dennis Lawrence, J. Dennis Lawrence — 1993
… of a series of reports from the Computer Safety and Reliability Group, Lawrence Livermore National…
Cited by 3 (0 self) – Add To MetaCart

Safe and Reliable Computer Control Systems Concepts and Methods
by Henrik Thane, Henrik Thane — 1996
… of Technology Sweden henrikt@(email omitted); ABSTRACT The introduction of computers into safety-critical control…
Cited by 2 (0 self) – Add To MetaCart

From Security to Safety and Back
by Victoria Stavridou, Bruno Dutertre — 1998 — Conference on Computer Security, Dependability and Assurance
…From Security to Safety and Back Victoria Stavridou and Bruno Dutertre Computer Science Laboratory…
Cited by 4 (0 self) – Add To MetaCart

Testing-Based Analysis of Real-Time System Models
by Duncan Clarke, Insup Lee — 1996 — In Proceedings of International Test Conference
… the size of models that can be considered. 1 Introduction The spread of computers into safety critical…
Cited by 2 (2 self) – Add To MetaCart

Modelling and Hazard Identification in an Air-Traffic Control User-Interface
by Hazard Identi Cation, Andrew Hussey, David Leadbetter, Peter Lindsay, Key Centre, Human Factors, Andrew Neal, Andrew Neal, Mike Humphreys, Mike Humphreys — 2000
… The University of Queensland Abstract Growing use of computers in safety-critical systems increases the need…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB