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...

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...

this study aimed to evaluate the radiation safety condition and the level of radiation-awareness amongst staff and patients in 18 hospitals of shahid beheshti university of medical sciences, tehran, iran. this descriptive, cross–sectional study was administered to patients and personnel, also making a review on the radiation-safety status in the hospitals. in evaluating the level of awareness, ...

background: the safety of rehabilitation centers is of great importance to ensure the well-being of patients. the present study aimed to determine non-structural and functional vulnerability of state rehabilitation centers of tehran city welfare organization in disasters using national standard instruments in 2014. materials and methods: this study has a descriptive and cross-sectional design. ...

Background: Today, occupational safety play the vital role to reduce the number of accidents. In other words, it is necessary to pay attention to improving the safety performance of employees in organizations. Indeed, safety performance is part of safety activities, describing the behavioral aspect of employees and being influenced by various factors. The purpose of this research is to provide ...