AS2542.3 (Determination of Thickness – Use of Ultrasonic Testing) states: “This standard specifies six methods for determination of thickness of material based on the use of ultrasonic pulse-echo principals where the scanning and reflecting surfaces are substantially parallel”. In many cases, the principals and procedures used in AS2452.3 are not applicable for the detection and measuring of is...

We present an authorization logic that is quite similar to constructive modal S4. The logic assumes that principals are conceited in their beliefs. We describe the sequent calculus, Hilbert-style axiomatization, and Kripke semantics of the logic. A distinguishing characteristic of the sequent calculus is that hypothetical reasoning is relativized to beliefs of principals. We prove several meta-...

We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) ”boxes” annotated with the intended source and destination of those components. The boxes are to be implemented with cryptography. Strand spaces provide a semantics for these choreographies, in which some roles may be played by comp...

We devise an experiment to explore the effect of different degrees of bargaining power on the design and the selection of contracts in a hidden-information context. In our benchmark case, each principal is matched with one agent of unknown type. In our second treatment, a principal can select one of three agents, while in a third treatment an agent may choose between the contract menus offered ...

Although many factors combine to make a successful school, most people agree that quality teachers and school principals are among the most important requirements for success, especially when success is defined by the ability of the school to raise the achievement of its students. The central question for this study is how the quality of the teachers and principals in high poverty schools in No...

Developers of the UF Distributed Conferencing System, version 2 (DCS.v2) have proposed a protocol that involves the distribution of a session key by a trusted server to a principal with whom it will communicate. The protocol differs from standard key exchange protocols in that it attempts to address the issue of the delivery of a private key as well as the desired session key in a secure fashio...

In May 1993, the Australian National Project on Leadership and Management Training for principals published its report entitled Leaders and Their Learning[1]. The report acknowledged that the project was undertaken in a time in which economic and social changes were occurring at reckless pace, values long regarded as desirable were vanishing, and restructuring was under way in every business, b...

Transaction costs in electronic business may become marginal, since negotiation processes can be assigned to software agents which act autonomously on behalf of their human principals. This advantage makes electronic negotiations highly appealing to actors in various e-business areas, including online auctions and product configuration negotiations. However, software agents can negotiate approp...

This paper experimentally tests the predictions of a principal-agent model in which the agent has biased beliefs about his ability. Overconfident workers are found to earn lower wages than underconfident ones because they overestimate their expected payoff, and principals adjust their offers accordingly. Moreover, the profit-maximizing contract distorts effort by varying incentives according to...