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

in this paper, efforts are made to compare the safety of steel moment resistant frames designed according to different editions of the iranian code of practice for seismic resistant design of buildings. also, failure risk of a low and medium height frame which designed for high and low seismicity regions according to three editions of the code are evaluated. first, the testing cases were design...

The Hospital Consumer Assessment of Healthcare Providers and Systems (HCAHPS) survey is a publicly reported tool that measures patient satisfaction. As both patients and Centers for Medicare & Medicaid Services (CMS) reimbursement rely on survey results as a metric of quality of care, we reviewed the current literature to determine if patient satisfaction correlates with quality, safety, or pat...

A LTHOUGH THE PATIENT PROTECTION AND Affordable Care Act (ACA) was passed in 2010, the major expansion of health insurance promulgated by the bill does not occur until 2014. At that time an estimated 23 million uninsured Americans with incomes below 133% of the federal poverty level will gain Medicaid. An additional 17 million persons will be eligible for subsidized coverage under a health insu...

background: patient safety is a serious global public health issue. estimates show that every day many patients are harmed while receiving hospital care. health care staff plays a key role in providing quality and safe patient care, especially physicians who are main members of the medical team and a critical element in patient safety efforts. objective: the current study used a theory of plann...

OBJECTIVE We sought to assess the readiness of general emergency departments (EDs) in academic hospitals in the central region of the Kingdom of Saudi Arabia (KSA) to manage pediatric patients using an international tool: The American Academy of Pediatrics, American College of Emergency Physicians, and Emergency Nurses Association guidelines, which include facilities, personnel, safety, and oth...