title: An implementation of a compositional approach for verifying generalised nonblocking

authors: Francis, Rachel

subjects: computer science

abstract: Generalised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often involves exploring state-spaces which will exceed available memory. A compositional verification approach has been developed to achieve verification for models of a much larger size. For this project, we have developed the first implementation for compositionally verifying generalised nonblocking. In addition, we have experimented with the techniques used in compositional verification, and analysed their performance. Our algorithm has successfully verified a large set of industrial-size models, including at least one large model which had not been verified before.

text: An implementation of a compositional approach for verifying generalised nonblocking Generalised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often involves exploring state-spaces which will exceed available memory. A compositional verification approach has been developed to achieve verification for models of a much larger size. For this project, we have developed the first implementation for compositionally verifying generalised nonblocking. In addition, we have experimented with the techniques used in compositional verification, and analysed their performance. Our algorithm has successfully verified a large set of industrial-size models, including at least one large model which had not been verified before.

year: 2011-04-27

title: Digital libraries for creative communities

authors: Witten, Ian H.

subjects: computer science

abstract: Digital library technologies have a great deal to offer to creative, design communities. They can enable large collections of text, images, music, video and other information objects to be organised and accessed in interesting and diverse ways. Ordinary people—people not traditionally viewed as 'creators' or 'designers'—can now conceive, assemble, build, and disseminate new information collections. This paper explores the development rationale behind the Greenstone digital library technology. We also examine three examples of creative new techniques for accessing and presenting information in digital libraries and stress the importance of tailoring information access to support the requirements of the users and application area.

text: Digital libraries for creative communities Digital library technologies have a great deal to offer to creative, design communities. They can enable large collections of text, images, music, video and other information objects to be organised and accessed in interesting and diverse ways. Ordinary people—people not traditionally viewed as 'creators' or 'designers'—can now conceive, assemble, build, and disseminate new information collections. This paper explores the development rationale behind the Greenstone digital library technology. We also examine three examples of creative new techniques for accessing and presenting information in digital libraries and stress the importance of tailoring information access to support the requirements of the users and application area.

year: 2004

title: Taku Ara, Taku Mahara: Pākehā Family Experiences of Kaupapa Māori and Bilingual Education

authors: Barnes, Alexander Louis

subjects: Kaupapa Maori

abstract: Kaupapa Māori (indigenous Māori-centred philosophies) initiatives have transformed various social, cultural and public projects in the domains of governance and constitutional issues, health, education, the environment, community development and research in Aotearoa – New Zealand. As a Pākehā graduate of te kōhanga reo and kura kaupapa Māori (Māori language immersion pre-school and primary school), this research is concerned with exploring the impact of kaupapa Māori and bilingual educational initiatives on my life and the lives of two other Pākehā families who share similar educational backgrounds. This foundational study utilises qualitative narrative inquiry methods as a means of understanding and analysing the implications for Pākehā as a result of their participation in kaupapa Māori and bilingual education. An intergenerational family approach is used in this research whereby the individual voices and experiences of young adults are heard equally alongside their parents’. Collectively understood, the themes represented in this research offer a unique means of understanding why Päkehä families decided to be involved in Māori immersion settings, and what these experiences mean to them now. One of the principle aims of this study is that it be used as a platform for dialogue amongst Pākehā, non-Māori and Māori about the future direction of bicultural education in Aotearoa – New Zealand.

text: Taku Ara, Taku Mahara: Pākehā Family Experiences of Kaupapa Māori and Bilingual Education Kaupapa Māori (indigenous Māori-centred philosophies) initiatives have transformed various social, cultural and public projects in the domains of governance and constitutional issues, health, education, the environment, community development and research in Aotearoa – New Zealand. As a Pākehā graduate of te kōhanga reo and kura kaupapa Māori (Māori language immersion pre-school and primary school), this research is concerned with exploring the impact of kaupapa Māori and bilingual educational initiatives on my life and the lives of two other Pākehā families who share similar educational backgrounds. This foundational study utilises qualitative narrative inquiry methods as a means of understanding and analysing the implications for Pākehā as a result of their participation in kaupapa Māori and bilingual education. An intergenerational family approach is used in this research whereby the individual voices and experiences of young adults are heard equally alongside their parents’. Collectively understood, the themes represented in this research offer a unique means of understanding why Päkehä families decided to be involved in Māori immersion settings, and what these experiences mean to them now. One of the principle aims of this study is that it be used as a platform for dialogue amongst Pākehā, non-Māori and Māori about the future direction of bicultural education in Aotearoa – New Zealand.

year: 2006