Given a complete, formal description of the semantics of a programming language, it should be possible to generate a compiler for the language using an automated process. This is highly desirable, since it reduces the work ...

In deductive planning, there exists a· particular class of planning problems, called unsolvable planning problems, which although successfully treated theoretically, turns out to be undetectable using ordinary resolution ...

This tutorial is a companion paper to the tutorial Denotational Semantics and Domain Theory by Goslett, Hulley, and Melton. The purpose of the earlier tutorial was to present a computationally intuitive introduction to ...

Survivability in connection-oriented ATM networks is critical due to link and node failures. With regard to high priority connections, it is important that the network maintains their performance guarantees. The restoration ...

This poster presentation discusses graduate attributes that are required of students in Computer Science and Information Systems disciplines in Africa in general and in South Africa in particular. Graduate attributes as ...

Chapter I begins with a brief history of the topic of greatest common subgraphs. Then we provide a summaiy of the work done on some variations of greatest common subgraphs. Finally, in this chapter we present results ...

Planning for a green built environment is contextualised within notions of sustainability and unsustainability. The need to create a greater awareness of green planning processes; the importance of integrating green planning ...

In this dissertation, we investigate the role of the nucleon-nucleon (nn) and threebody interactions on the ground-state structure of the 22C! 20C + n + n borromean system. We start by outlining the theoretical formulation ...

Grounded Theory (GT), along with the surging interest in qualitative research, is becoming a popular research strategy in the Information Systems (IS) field. At the same time however, the method seems to be changing in its ...