7 Hits in 4.9 sec

Proving Determinacy of the PharOS Real-Time Operating System [chapter]

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
2016 Lecture Notes in Computer Science  
We present a high-level model of PharOS in TLA + and formally state and prove determinacy using the TLA + Proof System.  ...  Executions in the PharOS real-time system are deterministic in the sense that the sequence of local states for every process is independent of the order in which processes are scheduled.  ...  Jael Kriener contributed to this work by writing initial specifications and proofs of PharOS executions.  ... 
doi:10.1007/978-3-319-33600-8_4 fatcat:5ugq7bzd3bfqfnmx75z36xhcvq

Intercultural translation and indigenous articulation in higher education

Gabriela Borge Janetti
2017 Translation Spaces  
university introduced the Yucatec Maya word iknal as a hybrid educational system.  ...  It focuses on the selective appropriation of words and meanings, the standardization of concepts, and the configuring of an intercultural frame of reference, whereby members of an intercultural Mexican  ...  ACKNOWLEDGEMENTS The original dissertation "Divagations for a Political Economy of Translation" (Murdoch University, Western Australia, 1980) was completed under the direction of Didier Coste.  ... 
doi:10.1075/ts.6.2.03bor fatcat:jxymgfbaoja2nhreqsrrc2ve34

Relationships among work tasks, search tasks, and interactive information searching behavior

Yuelin Li
The results demonstrated that work tasks are important factors in shaping users' interaction with information systems.  ...  Study 2 also found that different work task facets play different roles in affecting users' interaction with information systems, and common attributes of tasks seem to be more important than the generic  ...  Measures and operational definitions Interaction Measures Operational definitions IR Systems consulted The mean number of IR systems consulted by the participants for a work task.  ... 
doi:10.7282/t39k4bmg fatcat:h5ixg62hxnayldmjh3iqlavzb4

Afrindian fictions: diaspora, race, and national desire in South Africa

2009 ChoiceReviews  
conducted there, proved to me that there is no one, unified indian voice and that disparate discourses influence indian identity. it also reveals the structural determinacy of the apartheid past-political  ...  end of time?  ...  Universal franchise, however, became a reality only in 1994 when all South africans went to the polls to elect a democratic government for the first time. mandela's party, the african national Congress  ... 
doi:10.5860/choice.46-4270 fatcat:cge5r6owlvc4blx5rimj54fbti

The metaphysical realism of E.L. Mascall and Anglican doctrine

Robert Ireland
The Thesis asks about the relationship of Mascall's theology to Anglicanism and how it may be of benefit to Anglican theology, particularly since he represented an increasingly marginalized party within  ...  Mascall, made an important contribution to Anglican theology by incorporating into it the philosophical doctrine of metaphysical realism, developed by Thomas Aquinas.  ...  Corpus Christi: Essays on the Eucharist. London: Longman, Green and Co.,1953. Death or Dogma. London: SPCK, 1939. Existence and Analogy: A Sequel to "He Who Is".  ... 
doi:10.4226/66/5a95f618c6829 fatcat:xgrrgzs26jen3eysoi7c6aok3a

"The unknown is constant": the fiction and literary relationship of Lawrence Durrell and Henry Miller

James Donald Gifford
Fall 2006 Reproduced with permission of the copyright owner.  ...  to the Faculty o f Graduate Studies and Research in partial fulfillment o f the requirements for the degree o f Doctor o f Philosophy in English Department o f English and Film Studies Edmonton, Alberta  ...  The latter term is used to designate a gap in the determinacy o f the intentional object [the referred to 'thing' in the 'real' world] or in the sequence o f the "schematic aspects.  ... 
doi:10.7939/r3-tpxz-w407 fatcat:3bbzorpbyfcghn6ytqhxwc7rcm

The making of the self : life writing in the English Renaissance

Andrew Mousley
At the same time, an exploration of texts which can be thought of as belonging to a pre-history of autobiography offers the possibility of excavating the problematic archaeology of autobiography itself  ...  Although I trace developments towards career specialisation, and relate these developments to the emergence of a new information system, and to the conception of lives and life histories as reliable, documentary  ...  of information systems and empirical modes of thinking.  ... 
doi:10.22024/unikent/01.02.86059 fatcat:p22lmimj6feddibrrpcgjazne4