Finite-state verification techniques, such as model checking, have shown promise as a cost-effective means for finding defects in hardware designs. To date, the application of these techniques to software has been hindered by several obstacles. Chief among these is the problem of constructing a

Many AI researchers are today striving to build agent teams for complex, dynamic multi-agent domains, with intended applications in arenas such as education, training, entertainment, information integration, and collective robotics. Unfortunately, uncertainties in these complex, dynamic domains

Psychological research involving scale construction has been hindered considerably by a wide-spread lack of understanding of coefficient alpha and reliability theory in general. A discussion of the assumptions and meaning of coefficient alpha is presented. This discussion is followed by a

suitable algorithm. Description Logics have proved useful in a range of applications but their wider acceptance has been hindered by their limited expressiveness and the intractability of their subsumption algorithms. This paper addresses both these issues by describing a sound and complete tableaux

Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed this concurrency using locks (mutex based synchronization). Unfortunately, lock based synchronization often leads

In 1998, Blaze, Bleumer, and Strauss proposed an application called atomic proxy re-encryption, in which a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for Bob without seeing the underlying plaintext. We predict that fast and secure re-encryption will become increasingly

scientific research activities. This article frames this issue around the concept of dual knowledge, in which a single discovery may contribute to both scientific research and useful commercial applications. A key implication of dual knowledge is that it may be simultaneously instantiated as a scientific

Abstract. Boron stabilised carbanions can be ma& through the use of highly hindered diarylboranes. Some reactions of the anions so produced are discussed. A spin-off of this work is the production of some stable mono and diarylboranes which hold great promise as reagents of general application

Abstract—Reservation and adaptation are two well-known and effective techniques for enhancing the end-to-end performance of network applications. However, both techniques also have limitations, particularly when dealing with high-bandwidth, dynamic flows: fixed-capability reservations tend

of the application. However, technology is a double-edge sword; when technology is misused or abused, opportunities in technology could turn into dilemmas. This paper includes many examples of such opportunities and dilemmas in the areas of learning environment, content development, information access, task