57 research outputs found
From the river to the sea? : honour, identity and politics in historical and contemporary Palestinian rejectionism
No full textThe present thesis seeks to understand and explain the rhetoric and
behaviour of the rejectionist 'current' within the Palestinian national
movement. It proceeds from the view that extant scholarship, primarily from
within the fields of terrorism and security studies, has profoundly
misunderstood rejectionist speech and behaviour by ignoring the
explanatory capacity of Emic - the research subject's perception - as well as
the influence of the sociocultural milieu within which rejectionism exists.
The thesis proceeds to set up a 'socioculturally sensitive' analytical
framework drawn from social identity theory, a heuristic, non-reductionist
model for understanding group interaction and conflict. Emphasizing
cultural norms and cues identified by anthropologists as salient in the
eastern Mediterranean, the thesis suggests that the social value of honour,
patron-client dynamics and a firmly entrenched group orientation must be
significant elements of a model for understanding rejectionist behaviour.
The main analytical narrative suggests that for reasons derived from
ideology, patron-client relations and group dynamics, what has distinguished
the rejectionists from the mainstream have been a qualitatively different set
of preconditions for, and objectives of diplomatic negotiations. To the main
rejectionist factions the goal of liberating Palestine has always been
inextricably intertwined with the goal of restoring national honour; one
without the other has been impossible and to claim otherwise would mean a
depletion of factional and personal honour. To the rejectionists, there has
never been any question of deviating from the fundamental goals - national
recognition, repatriation, self-determination and independent statehood, not
even for tactical reasons. This 'higher standard' likely derives from their
structurally and politically subordinate position within the national
movement, and the need to creatively enhance their own social status and
appeal
Toward a rewriting logic framework for safe and distributed component installation
No full textInternational audienceTraditionally, software components are developed independently and often considered as black boxes. However, they might be dependent from each other at assembly and deployment stages and used by a third party in various environments. In a previous work [BelDag-FACS06], we have proposed an intra-dependency language and a predicate logic based framework for safe component deployment. In this paper, we aim to extend this work to take into account dynamic changes of concurrent and distributed systems in installation phase and overcome some predicate logic limitations. Therefore, we propose an integration of predicate logic based framework within a rewriting logic based framework. Finally, we execute it in Maude which is a high-performance implementation of rewriting logic enabling both the deployment execution and its formal analysis. We show the relevance of the Maude based deployment approach relating to the interesting features of Maude such as: genericity, concurrency, distribution and formal tools
A RT-Maude-based framework for component installation
No full textReal-time systems are considered in most cases as critical systems because they must strictly satisfy expected requirements in respect to giving timing constraints. The best way to develop and deploy these complex systems is the component-based software engineering. Traditionally, software components are developed independently and often considered as black boxes. However, they might be dependent from each other at assembly and deployment stages and used by a third party in various environments. In a previous work Belguidoum et al., 2011, we have proposed a Maude-based framework for safe component installation. In this paper, we extend this work by taking into account real-time constraints for installation operation. This framework is implemented using Real-Time Maude system enabling both the real-time installation execution and its formal analysis using its LTL model checker.51/
- …
