and school staff. therefore, it is essential to pay continuous and specific attention to safety problems in schools. we identified 20 critical success factors (csfs) in the current study based on previous researches in order to achieve effective school safety. then these factors validated by 33 governmental high school administrators. this survey was conducted in tehran, among 96 governmental h...

conclusions although, successful implementation of high reliability organizations is based on knowledge of managers and supervisors, the effectiveness of this model is still in the maturity and readiness phase. results after holding high reliability model training course, 52.2% of respondents expressed obtaining a keen knowledge of high reliability organizations model. compared to knowledge of ...

a bstract background: medication errors and adverse drug events of high alert medication are one of the major problems in therapeutic system. the purpose of the present study was to investigate ‎the effect of clinical supervision model on high alert medication safety in intensive care units nurses. materials and methods: this was a quasi-experimental study conducted on 32 nurses of intensive ca...

[no abstract available]

Our critical computing systems are coded in low-level, typeunsafe languages such as C, and it is unlikely that they will be re-coded in a high-level, type-safe language such as Java. This invited talk discusses some approaches that show promise in achieving type safety for legacy

This paper presents a new synthesis-based approach for writing low-level memory-safe code. Given a partial program with missing guards, our algorithm synthesizes concrete predicates to plug in for the missing guards such that all buffer accesses in the program are memory safe. Furthermore, guards synthesized by our technique are the simplest and weakest among guards that guarantee memory safety...

Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In traditional implementations of PCC the producer negotiates beforehand, and in an unspecified way, with the consumer the permission to prove safety in whatever high-level way it chooses. In practice this has meant that highlevel rules for type safety have been hard-wired into th...

Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we defin...