Assurance cases are a key concept in communicating dependability assurance of computer systems among the stakeholders. Noting an analogy between assurance cases and proofs, we plan to apply the technology of interactive proof assistants for construction and assessment of assurance cases. Fig. 1 An illustration of GSN from [5] Note The purpose of this report is to record our presentation given a...

Improving the quality of service is most important thing for companies, as case with PT. Gojek Indonesia one online-based provider customer satisfaction very to know level and customers. The development electronic in providers was carried out by distributing questionnaires 385 respondents determine effect on consumers who use it, well finding proposals improvements services based right dimensio...

Since 2005, Pace University in New York City has been collaborating with the Institute of Technology of Cambodia and the University of Delhi in India to bring students together to work on globally distributed software development projects. Over this period, we have been exploring models through which graduates and undergraduates from the three countries can work together as partners and mentors...

introduction: during radiotherapy, high accuracy in the dose delivery is required because there is a strong  relationship between the absorbed dose, local tumor control and particularly the normal tissue damage. in  many institutions, in vivo dosimetry using diodes is performed to check the actual dose delivered. in general,  the uncertainty in the dose delivered should fall within  ± 5% of the...

The discussion on concepts of quality of teaching and learning in higher education was given boosts, first in the 1980s by the introduction of what can broadly be called ‘new public management’, with its predilection for management models developed in the business world, then in the 1990s by the fall of communism in Central and Eastern Europe, and most recently in the 2000s by the Bologna and L...

BACKGROUND Syphilis causes up to 1,500,000 congenital syphilis cases annually. These could be prevented if all pregnant women were screened, and those with syphilis treated with a single dose of penicillin before 28 weeks gestation. In recent years, rapid point-of-care tests have allowed greater access to syphilis screening, especially in rural or remote areas, but the lack of quality assurance...

PURPOSE In this article, we evaluate a plastic scintillation detector system for quality assurance in proton therapy using a BC-408 plastic scintillator, a commercial camera, and a computer. METHODS The basic characteristics of the system were assessed in a series of proton irradiations. The reproducibility and response to changes of dose, dose-rate, and proton energy were determined. Photogr...

We propose that voting protocols be judged in part on ballot casting assurance, a property which complements universal verifiability. Some protocols already support ballot casting assurance, though the concept has not received adequate explicit emphasis. Ballot casting assurance captures two well known voting concepts – cast as intended, and recorded as cast – into one end-to-end property: Alic...

INTRODUCTION Service quality assessments have assumed increasing importance in the last two decades. They are useful in identifying gaps in services been provided with the ultimate aim of guaranteeing quality assurance. The objective of this study was to assess the client perception of service quality at the outpatient clinics of Randle General hospital, Lagos. METHODS A descriptive cross sec...

The concept of substantial equivalence, introduced for the risk assessment of genetically modified (GM) food, is a reducing concept because it ignores the context in which these products have been produced and brought to the consumer at the end of the food chain. Food quality cannot be restricted to mere substance and food acts on human beings not only at the level of nutrition but also through...