title: Compositional nonblocking verificationusing generalised nonblocking abstractions

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

text: Compositional nonblocking verificationusing generalised nonblocking abstractions This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

year: 2013

title: Politics of imaging New Caledonia

authors: d'Hauteserre, Anne-Marie

subjects: postcolonialism

abstract: Advertisements for the international tourism market are examined using postcolonial discourse analysis to determine how tourism promoters represent New Caledonia. This article illustrates how the images used to promote New Caledonia on international markets continue to be a political statement that constructs the territory as a French enclave in the Pacific not shared with Kanak people and several minorities. The article demonstrates that these representations continue to translate unequal power relations that most of the French in New Caledonia (supported by tourism and its operators) wish to maintain with the Indigenous people. These representations also run counter to government decisions to restore the identity of Kanak people and to improve their economic well-being on the basis of tourism development.

text: Politics of imaging New Caledonia Advertisements for the international tourism market are examined using postcolonial discourse analysis to determine how tourism promoters represent New Caledonia. This article illustrates how the images used to promote New Caledonia on international markets continue to be a political statement that constructs the territory as a French enclave in the Pacific not shared with Kanak people and several minorities. The article demonstrates that these representations continue to translate unequal power relations that most of the French in New Caledonia (supported by tourism and its operators) wish to maintain with the Indigenous people. These representations also run counter to government decisions to restore the identity of Kanak people and to improve their economic well-being on the basis of tourism development.

year: 2010

title: Have you heard of Hinehau? A research journey of reclamation

authors: Wakefield, Sandy

subjects: Te Tai Tokerau

abstract: As the Māori political and cultural movement continues to grow, issues of representation, power, and control are critiqued by Māori minds.
After discovering a tribal myth about the mana of a woman known as Hinehau, a chain reaction of enquiry develops into the reclamation of tribal knowledge.
By investigating the historical context surrounding the narrative of Hinehau, her story transcends the fairy-tale myth she was confined to, and exposes the rendering down of her story.
Under the umbrella of Western science, European and Pākehā historical archives created an enduring legacy of “Māori myth” that is synonymous with falsehood. Through the assertation of tribal oral tradition and connecting our experiences to our missing histories, Hinehau is relocated. The Hinehau story renews through reconnecting to mātauranga Māori, Ngāpuhi kōrero tuku iho and the creativity of the researcher. In this process, her story renews.
With the guidance of hapū members, mentors, and a diversity of literature, the narrative of Hinehau becomes a part of a much larger inter-tribal narrative held within an ancestral landscape which is sometimes hard to recognise in whenua we no longer have tribal autonomy over. Our Indigenous identity is still under threat as we are still “othered” in our tribal lands. This work contributes to pushing the envelope of what it means to think, exist, and challenge as tangata whenua in Aotearoa, where traditional tribal roles have been minimalised in society, or disappeared through generations of the colonial project (Tuhiwai Smith, 2012).

text: Have you heard of Hinehau? A research journey of reclamation As the Māori political and cultural movement continues to grow, issues of representation, power, and control are critiqued by Māori minds.
After discovering a tribal myth about the mana of a woman known as Hinehau, a chain reaction of enquiry develops into the reclamation of tribal knowledge.
By investigating the historical context surrounding the narrative of Hinehau, her story transcends the fairy-tale myth she was confined to, and exposes the rendering down of her story.
Under the umbrella of Western science, European and Pākehā historical archives created an enduring legacy of “Māori myth” that is synonymous with falsehood. Through the assertation of tribal oral tradition and connecting our experiences to our missing histories, Hinehau is relocated. The Hinehau story renews through reconnecting to mātauranga Māori, Ngāpuhi kōrero tuku iho and the creativity of the researcher. In this process, her story renews.
With the guidance of hapū members, mentors, and a diversity of literature, the narrative of Hinehau becomes a part of a much larger inter-tribal narrative held within an ancestral landscape which is sometimes hard to recognise in whenua we no longer have tribal autonomy over. Our Indigenous identity is still under threat as we are still “othered” in our tribal lands. This work contributes to pushing the envelope of what it means to think, exist, and challenge as tangata whenua in Aotearoa, where traditional tribal roles have been minimalised in society, or disappeared through generations of the colonial project (Tuhiwai Smith, 2012).

year: 2021