12,889 research outputs found
Checking of models built using a graphically based formal modelling language
No full textRDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete systems. Aside from the benefits which accrue as a side effect of building a formal model of a proposed system, these diagrammatic models can be useful as a means of communication between the development team and the users. However one of the greatest benefits of a formal model is that it can be subjected to rigorous examination to ensure that it satisfies properties required of the system. This paper describes the RDT language and a transformation from RDT into Promela code (the input language of the SPIN model-checker) which can be performed automatically and illustrates the use of the technique with an example
D. Walters portrait
No full textWalters, D.--Portrait. He is wearing a suit and tie.https://mavmatrix.uta.edu/specialcollections_wdsmithphotography/10680/thumbnail.jp
D. Walters portrait
No full textWalters, D.--Portrait. He is wearing a suit and tie.https://mavmatrix.uta.edu/specialcollections_wdsmithphotography/10679/thumbnail.jp
Recommended from our members
Eco-crime
No full textAbout the book:
Crime: Local and Global and its sister text Criminal Justice: Local and Global are two new teaching texts that aim to equip the reader with a critical understanding of the globally contested nature of 'crime' and 'justice'. Through an examination of key concepts and criminological approaches, the books illuminate the different ways in which crime is constructed, conceived and controlled. International case studies are used to demonstrate how 'crime' and 'justice' are historically and geographically located in terms of the global/local context, and how processes of criminalisation and punishment are mediated in contemporary societies. Crime: Local and Global covers the way local events (such as prostitution) have wider aspects than previously thought. Links with people traffickers, international organised crime and violence cannot be ignored any longer. Each crime or area of activity selected within this text has a global reach, and is made ever more possible due to the way globalisation has opened up markets, both legitimate and illegitimate. The book's approach and scope emphasises that we can no longer view 'crime' as something which occurs within certain jurisdictions, at certain times and in particular places. For example, the chapter on cybercrime highlights the 'illegal' acts that can be perpetrated by second lifers, anywhere in the world, but are they a crime
Walters, D, 421776
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/423828Surname: WALTERS. Given Name(s) or Initials: D. Military Service Number or Last Known Location: 421776. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 50732.251395
Item: [2016.0049.56089] "Walters, D, 421776
Walters, D W, 407307
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/423827Surname: WALTERS. Given Name(s) or Initials: D W. Military Service Number or Last Known Location: 407307. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 10116.251393
Item: [2016.0049.56088] "Walters, D W, 407307
Walters, A G D, TX5761
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/423843Surname: WALTERS. Given Name(s) or Initials: A G D. Military Service Number or Last Known Location: TX5761. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 31140.251425
Item: [2016.0049.56104] "Walters, A G D, TX5761
Harold D. Walters
No full textAlumni awards were presented to Edith Elliott Kuhn \u2713 and Harold D. Walters \u2735 by Alumni Association President John W. Yoder. Mrs. Kuhn was honored for her contribution to the University through her fine interest in the alumni as individuals and her superb leadership as secretary of the Alumni Association for many years. Mr. Walters was honored for his contributions to the welfare of the University, such as, serving as alumni trustee and promoting the raising of the Ferguson Foundation Fund, and for his leadership in many community service activities and specifically for his portrayal of the Christ in the American Passion Play.https://digitalcommons.iwu.edu/awards_distinguished/1087/thumbnail.jp
Recommended from our members
Interrogating crime
No full textAbout the book:
Crime: Local and Global and its sister text Criminal Justice: Local and Global are two new teaching texts that aim to equip the reader with a critical understanding of the globally contested nature of 'crime' and 'justice'. Through an examination of key concepts and criminological approaches, the books illuminate the different ways in which crime is constructed, conceived and controlled. International case studies are used to demonstrate how 'crime' and 'justice' are historically and geographically located in terms of the global/local context, and how processes of criminalisation and punishment are mediated in contemporary societies. Crime: Local and Global covers the way local events (such as prostitution) have wider aspects than previously thought. Links with people traffickers, international organised crime and violence cannot be ignored any longer. Each crime or area of activity selected within this text has a global reach, and is made ever more possible due to the way globalisation has opened up markets, both legitimate and illegitimate. The book's approach and scope emphasises that we can no longer view 'crime' as something which occurs within certain jurisdictions, at certain times and in particular places. For example, the chapter on cybercrime highlights the 'illegal' acts that can be perpetrated by second lifers, anywhere in the world, but are they a crime
Recommended from our members
Statutory erosion of secured creditors' rights: some insights from the United Kingdom
No full textAs the American Bankruptcy Institute’s Commission to Study the Reform of Chapter 11 considers the state of business bankruptcy in this country, the narrative on chapter 11 is well-established and oft-repeated. According to this narrative, whereas in the past firms filing for chapter 11 came into the bankruptcy process with at least some unencumbered assets, modern firms tend to have capital structures that are entirely consumed by multiple layers of secured debt. Moreover, as secured creditors have come to dominate capital structures, conventional wisdom has it that they have “captured” chapter 11 to the detriment of unsecured creditors. This development has justifiably troubled many scholars on both efficiency and distributional grounds. However, it remains an open question whether the perceived downsides of secured creditor control can be satisfactorily addressed through bankruptcy law reform. In this Article, Professor Walters examines English attempts to use bankruptcy law to adjust the priority and control rights of secured creditors with the aim of improving the welfare of unsecured creditors. The Article starts from the premise that lenders that are powerful enough to bargain for superior control and priority rights inside or outside of bankruptcy will be equally capable of adjusting to legal changes that affect, or are perceived as affecting their interests. Four ways in which lenders will adjust to “adverse” bankruptcy reform are identified: (i) metabargaining; (ii) adjustments to prebankruptcy behavior; (iii) transactional innovation; and (iv) “shape shifting”. In Parts II and III, the Article then illustrates how English lenders have successfully adjusted to statutory erosion of their priority rights through transactional innovation and to statutory attempts to curb their control rights through “shape shifting”. Walters’ conclusion on the efficacy of bankruptcy law reform is cautionary and skeptical. He assesses English attempts to improve the position of unsecured creditors by dampening the rights of secured creditors as a failed conceit
- …
