Noninterference is a property of sequential programs that is useful for expressing security policies for data confidentiality and integrity. However, extending noninterference to concurrent programs has proved problematic. In this paper we present a relatively expressive secure concurrent language. This language, based on existing concurrent calculi, provides first-class channels, higher-order ...

Language is primarily constituted by action and interaction based on sensorimotor information. This paper demonstrates the nature of subjectivity and intersubjectivity through the neural mechanism and typological evidence of sentence-final particles from East Asian languages and extends to the discussion of the relationship between them. I propose that intersubjecivity is a kind of embedded or ...

This article presents a legal overview of privacy and autonomy considerations related to children in the context of health information technology adoption and use. All uses of health-related technologies take place within a legal framework that guides health care generally; the privacy laws and autonomy principles long predate health information technology and can be expected to shape its desig...

With the lightning-fast pace of technological advancements, scientific as well medical innovation that we are witnessing in modern world, intellectual property has increasingly taken on role playing a vital role. In addition, shifts global economic environment have had an impact evolution business models which plays central determining value and potential for growth. To fulfil its international...

Background: Despite the growth of biomedical research in South Africa, there are few insights into the operation of Research Ethics Committees (RECs) in this setting. We investigated the composition, operations and training needs of health RECs in South Africa against the backdrop of national and international guidelines. Methods: The 12 major health RECs in South Africa were surveyed using sem...