202,883 research outputs found
Hennessy, M, NX6122
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/391821Surname: HENNESSY. Given Name(s) or Initials: M. Military Service Number or Last Known Location: NX6122. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 5402.209194
Item: [2016.0049.24114] "Hennessy, M, NX6122
Hennessy, R M S, SX6497
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/391824Surname: HENNESSY. Given Name(s) or Initials: R M S. Military Service Number or Last Known Location: SX6497. Missing, Wounded and Prisoner of War Enquiry Card Index Number: C1245.209199
Item: [2016.0049.24117] "Hennessy, R M S, SX6497
Security Policies as Membranes in Systems for Global Computing
No full textWe propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane which regulates the interactions between the computing body and the external environment. More precisely, membranes are filters which control access to the associated site, and they also rely on the well-established notion of trust between sites. We develop a basic theory to express and enforce security policies via membranes. Initially, these only control the actions incoming agents intend to perform locally. We then adapt the basic theory to encompass more sophisticated policies, where the number of actions an agent wants to perform, and also their order, are considered
The early ownership of the Hennessy Hours
No full textHurt Jethro-M. The early ownership of the Hennessy Hours. In: Scriptorium, Tome 27 n°1, 1973. pp. 43-46
Colleens Catherine Hennessy and Marie Catherine Riley
No full textColleens Catherine Hennessy, left, and Marie Catherine Riley celebrating Saint Patrick\u27s Day. Miss Hennessy is the daughter of Mr. and Mrs. J. M. Hennessy, of 3401 South Jennings Avenue. Miss Riley is the daughter of Mr. and Mrs. A. D. Riley, of 1822 May Street. Miss Hennessy\u27s blouse has a bow detail on the front and she is wearing bows in her hair as well as a necklace. Miss Riley is wearing a blouse with floral embroidery details above the breast pockets.https://mavmatrix.uta.edu/specialcollections_startelegram1940s/2321/thumbnail.jp
Hennessy-Milner Classes and Process Algebra
No full textThis paper studies Hennessy-Milner classes, classes of Kripke models where
modal-logical equivalence coincides with bisimulation. Concepts associated
with these classes in the literature (Goldblatt [6], Visser [8])are studied and
compared and the structure of the collection of maximal Hennessy-Milner
classes is investigated (how many are there, what is their intersection?). The
insights into these classes are applied to process algebra. This results in a
Hennessy-Milner process algebra for a non-trivial process language, whose
standard graph-semantics is not Hennessy-Milner
Portrait of Reverend M.N. Hennessy, 1911 [picture] /
No full textTitle from inscription on reverse.; Condition: Good.; Inscriptions: "The Johnson Studios, corner Pitt & Market Streets, Sydney" --Printed lower right corner. "Rev. M. N. Hennessy, 1911" --In pencil on reverse.; Also available in an electronic version via the Internet at: http://nla.gov.au/nla.pic-an24213050
The accuracy of measuring backfat and loin muscle thicknesses on pork carcasses by the Hennessy HGP2, Destron PG-100, CGM and ultrasound CVT grading probes
No full text Research was undertaken to evaluate the accuracy of different grading probes measuring backfat (F) and loin muscle thicknesses (M). Thus, 270 pig carcasses were selected according to a 2 × 3 × 3 factorial arrangement. Gender (barrows and gilts), fat thickness at the Canadian grading site (< 15.75, 15.75 to 19.75 and > 19.75 mm), and hot carcass weight (75.5 to 81.8, 81.9 to 86.2 and 86.3 to 92.7 kg) were the main factors. The Hennessy (HGP2), Destron (PG-100) and CGM optic probes and the CVT ultrasound probe with two transducers [PCA-5049, 172 mm (CVT-1) and PCB-5011, 125 mm (CVT-2)] were evaluated. Grading measures were compared to the equivalent measures taken in a digitized image. The F and M precision was evaluated in terms of random bias (ED). Hennessy F and CVT-1 M had the lower ED. For F measurements, CGM, Destron, CVT-2 and CVT-1 ED was respectively, 1.65, 1.72, 1.78 and 2.14 times greater than Hennessy ED. For M measurements, ED of CVT-2, CGM, DPG and Hennessy was 1.02, 1.84, 2.03 and 2.20 times greater than CVT-1 ED. Measures of the intercostal muscles were not reliable in any of the probes able to take that measure. Key words: Pork, carcass grading, grading probes, HGP2, PG-100, CGM, CVT </jats:p
Inferring dynamic credentials for role-based trust management
No full textThe topic of this paper is the role-based trust-management language RT_0, a formalism inspired by logic programming that handles trust in large scale, decentralised systems. We provide a purely operational semantics for the language in which credentials can be established using a simple set of inference rules. We then extend RT_0 to include time validity and boolean guards that control the availability of credentials. In such an extended framework, credentials are conditional on the availability of supporting credentials in the execution context. In addition to a set-theoretic and a logic-programming semantics, we develop for the extended language a series of increasingly powerful inference systems for establishing these conditional credentials. By means of simple but realistic examples, we demonstrate the expressiveness and usability of our language, warranting its integration into existing trust-management tools
- …
