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

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 aim of this study was to evaluate the utility of a proficiency testing program among limited number of local laboratories as an alternative to the iupac/citac guide on proficiency testing with a limited number of participants, specially where international schemes are not accessible. as a sample scheme we planned to determine aflatoxins (b1, g1, b2, g2, total) in iranian pistachio matrix. a...

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

Penelitian ini bertujuan untuk memaparkan serta menjelaskan tentang bagaimana pemahaman siswa terhadap pelayanan tenaga laboratorium komputer di SMK N 2 Bukittinggi pada aspek reliability, responsiveness, assurance, empathy dan tangibles. Jenis penelitian yang digunakan adalah deskriptif kuantitatif teknik proportional stratified random sampling. Populasi yaitu murid kelas X XI sebanyak 1.114 o...