Thesiss

Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment. Constructive syntactic proofs are filled with bureaucratic details; rarely are all cases of a pro…

This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to…

Despite their ubiquitous nature, there is currently a paucity of theorising and research on the drivers of human resource management (HRM) development within the context of small and medium size enterprises (SMEs). Mainstream HRM models have tended to be biased towards normative…