Klustring innebär att flera servrar arbetar tillsammans och på så sätt klarar av en uppgift som en ensam server inte skulle klara. Klustring kan också användas för att säkra drift med hjälp av en eller ett flertal servrar som väntar i startgropen om den aktiva servern som tillhandahåller tjänsten går ner.   Detta examensarbete utfördes genom att först undersöka vilka kluster­lösningar som fanns tillgängliga. Därefter utfördes intervjuer med företag som använde sig av olika typer av klustring. Laborationer gjordes för vidare undersökning av några av de mjukvaror som de intervjuade företagen använde.   Det upptäcktes att variationen av lösningar hos de intervjuade företagen inte var så stor som förväntat innan arbetet påbörjades.   Efter genomförd litteraturstudien och intervjumaterialet, för att sedan ge rekommendationer på vilka lösningar som bör väljas av exempelföretag utifrån vilka krav och kriterier som finns hos dessa.

Cette thèse étudie la configuration télévisuelle de l’identité arabe moderne à travers un des programmes phares de la chaine satellitaire libanaise LBC-Sat : la Star Academy Middle East. Elle interroge, d’un côté, les motivations et les contraintes institutionnelles et commerciales qui orientent le processus de création de sens à la télévision et se penche, de l’autre, sur le produit fini qui porte en lui les traces des tensions et des confrontations qui ont accompagné sa conception. Elle cherche à décoder la représentation de l’arabité proposée par la chaine libanaise dans un contexte régional instable, marqué par des bouleversements profonds. Les télévisions satellitaires panarabes, reflets des nouvelles technologies qui ont inondé le marché régional à une vitesse déconcertante à partir des années 1990, ont, en effet, entrainé une contraction de l’espace et du temps oriental ainsi qu’une abolition symbolique des frontières. Elles ont permis aux citoyens arabes, urbains comme ruraux, locaux comme de la diaspora, de s’informer, en temps réel, sur l’actualité arabe et mondiale et d’interagir avec des individus proches et lointains. Elles ont, de ce fait, facilité l’émergence d’un réseau d’échange horizontal et d’un espace public transnational qui a fait renaitre de ses cendres, mais sous une forme distincte, le rêve d’unité arabe. À travers leur discours dirigé vers la « rue arabe » et orienté par des considérations plus économiques que politiques, elles ont, d’une part, fragilisé les régimes autocratiques en place, en les dépossédant de leur monopole historique sur les médias, et de l’autre regroupé, à l’échelle internationale, un ensemble d’individus partageant les mêmes convictions, les mêmes attentes ou les mêmes centres d’intérêt. En accélérant l’autonomisation des opinions publiques par rapport aux idéologies officielles, elles ont obligé les régimes arabes à se repositionner vis-à-vis de ces producteurs de sens à l’influence grandissante. Leurs discours, qu’il soit inspiré d’une rhétorique islamique ou libérale s’élabore dans une sphère publique chargée de sens et de références et s’expose à des critiques qui témoignent de l’imbrication du politique, du religieux et du culturel dans le secteur médiatique arabe. La LBC-Sat, chaine satellitaire généraliste libanaise, née de l’association entre des entrepreneurs libanais et saoudiens, a intégré cette arène symbolique en 1996. Fille de la LBCI, la télévision la plus populaire du pays des Cèdres — celle qui représente, aux yeux des téléspectateurs arabes, l’essence de la culture libanaise — elle a très tôt affiché sa volonté de séduire l’audience régionale à travers une narration qui se démarque de celle de ses concurrentes. Constituée d’un mélange d’émissions à l’esthétique occidentale, au contenu audacieux, et au ton libéré et souvent frivole, sa programmation prend ses distances vis-à-vis des conservatismes régionaux et dénote une volonté de configurer une représentation différenciée de l’identité arabe, proche d’une conception singulière de l’identité libanaise, porteuse, selon les termes des idéologues du Liban moderne, d’une mission civilisatrice auprès des pays arabes et d’un pouvoir de conciliation entre les deux cultures occidentale et orientale. Les émissions de la LBC-Sat témoignent de son rôle autoproclamé de trait d’union entre ces deux mondes et participent à populariser cette vision auprès du public arabe. Son plus grand succès transnational, l’adaptation orientale de la télé-réalité d’Endemol Star Academy, montre, en effet, qu’il est possible d’imposer cette image dans l’imaginaire collectif régional à travers la construction d’un discours sur la jeunesse orientale, caractérisé par son d’hybridité et sa position à mi-chemin entre le global et le local. / This thesis studies the representation of modern Arab identities through one of the most influential reality shows in the Arab World: Star Academy Middle East.It seeks to understand the strategic and ideological discourse over Arabism constructed by one of the leading Lebanese satellite channel in the MENA region: LBC-Sat.Through the study of both the professional and commercial context of emergence of this discourse, as well as a qualitative content analysis of the first four seasons of the show, it tries to understand its rationale as well as its impact in the Arab World.We believe that this narrative is unfolding in an arena of controversies where a multitude of positions regarding Arab identities are debated. Indeed, since the establishment of the first Arab satellite channels that led to a prosperous television industry, a pan Arab public sphere arose. TV shows became political fields in which opinions were exposed and theories regarding political and social issues were considered. The once monopolistic control over media contents of authoritarian regimes gave way to a more liberal environment, where citizens were given the chance to participate in the debates framing there lives. Today, Arab satellite channels act as a lightning rod for what is known as “New Arabism”, a sense of belonging to an imagined community that is no longer imposed by a higher power but developed by the base. With their liberal aesthetic and messages that oppose those of more conservative Arab televisions, Lebanese channels play a crucial role in redefining Arab identities. Their discourse, inspired by a cultural and ideological interpretation of Lebanon’s position in the Arab world, translates into a plea to rebuild bridges between the East and the West. As a symbolic object composed of hybrid forms and ideas, Star Academy Middle East echoes this position.

Process algebra, formal specification, and model checking are all well studied techniques in the analysis of concurrent computer systems. More recently these techniques have been applied to the analysis of biochemical systems which, at an abstract level, have similar patterns of behaviour to concurrent processes. Process algebraic models and temporal logic specifications, along with their associated model-checking techniques, have been used to analyse biochemical systems. In this thesis we develop a spatio-temporal logic, the Logic of Behaviour in Context (LBC), for the analysis of biochemical models. That is, we define and study the application of a formal specification language which not only expresses temporal properties of biochemical models, but expresses spatial or contextual properties as well. The logic can be used to express, or specify, the behaviour of a model when it is placed into the context of another model. We also explore the types of properties which can be expressed in LBC, various algorithms for model checking LBC - each an improvement on the last, the implementation of the computational tools to support model checking LBC, and a case study on the analysis of models of post-translational biochemical oscillators using LBC. We show that a number of interesting and useful properties can be expressed in LBC and that it is possible to express highly useful properties of real models in the biochemistry domain, with practical application. Statements in LBC can be thought of as expressing computational experiments which can be performed automatically by means of the model checker. Indeed, many of these computational experiments can be higher-order meaning that one succinct and precise specification in LBC can represent a number of experiments which can be automatically executed by the model checker.

Depuis le début des années 1970 la communauté internationale, sous l’impulsion des États-Unis, a progressivement abordé le blanchiment d’argent sale comme un nouveau problème de sécurité représentant une menace pour la sécurité intérieure des États et l’équilibre du système financier international. La création, en 1989, du Groupe d’action financière (GAFI) lors du sommet du G7 se tenant à Paris, marquera l’engagement politique international en faveur de la lutte contre le blanchiment de capitaux devant constituer « une contribution décisive à la lutte contre les activités criminelles et particulièrement contre le trafic de la drogue et permettre de renforcer la solidité du système financier international » [GAFI, 1991, p. 21]. À travers la publication en 1990, de ses quarante recommandations pour la mise en place d’un régime global de lutte contre le blanchiment de capitaux, les pays membres du GAFI – les membres du G7 auxquels se sont joints, dès la première année, la Commission européenne et huit autres pays dont la Suisse – viennent concrétiser l’« invention d’un nouveau crime » [Amicelle, 2016, p. 37] : le blanchiment d’argent et la nécessité d’une nouvelle forme de réaction sociale contre la criminalité lucrative. Créé au départ pour lutter contre les revenus issus du trafic de drogue, le dispositif englobe aujourd’hui l’ensemble des revenus issus d’une activité criminelle. En 2001, il a été adapté pour lutter contre le financement du terrorisme et en 2012 élargi aux infractions fiscales pénales et au financement de la prolifération des armes de destructions massives. Ainsi, le dispositif anti-blanchiment est aujourd’hui un instrument théoriquement mobilisable pour lutter contre toutes les formes de criminalité et toutes les personnes (physiques ou morales) – « des plus faibles aux plus puissantes » [Amicelle, 2014, p. 88] – associées à des flux financiers illicites. Plus de trente ans après sa création, le GAFI représente un réseau mondial de plus de 190 juridictions ayant adopté ses recommandations, conduisant en 2019 son président à célébrer « trente ans de succès » et à affirmer que la « valeur de l'organisation pour la sécurité de nos nations et l'intégrité du système financier international n'ont jamais été aussi claires » [GAFI, 2019, p. 5]. À travers l’adaptation de leur législation, la plupart des pays, se sont dotés d’un dispositif de lutte contre le blanchiment de capitaux et le financement du terrorisme (LBC/FT) reposant sur des pratiques inédites de coopération et d’échanges d’informations entre des acteurs provenant du monde de la finance et des acteurs publics d’application de la loi [Amicelle, 2018 ; Helgesson et Mörth, 2019 ; Huysmans, 2014 ; Sheptycki, 2002]. S'appuyant sur les travaux de Latour, de Goede [2018] introduit le concept de la « chaîne de sécurité » pour décrire l’architecture générale du dispositif de LBC/FT composée de trois maillons, décrivant la division du travail et les tâches relatives à la mise en œuvre d’un modèle théorique de policing guidé par le renseignement – financier – ou d’« Intelligence-led policing ». Le premier maillon concerne les institutions financières désignées comme entités déclarantes, obligées par la loi d’organiser la traçabilité des opérations financières devant supporter la surveillance, la détection et le signalement des opérations suspectes en matière de BC/FT dans leurs établissements. Le deuxième maillon concerne la cellule de renseignement financier (CRF) désignée dans chaque pays, comme le centre national chargé de la collecte et l’analyse des déclarations d’opérations suspectes et des autres informations concernant le BC/FT et de la production de renseignement financier mobilisable par les acteurs publics d’application de la loi – dernier maillon de la chaîne – devant lutter contre la criminalité en s’attaquant aux flux financiers illicites. À travers le concept de la « chaîne », de Geode [2018] décrit le dispositif anti-blanchiment selon un processus linéaire, suivant le cheminement des transactions suspectes – les traces financières – qui sont successivement « collectées, stockées, transférées et analysées afin d’aboutir à des actes de sécurité (par exemple des avoirs gelés, des comptes fermés, et des condamnations judiciaires) » (p. 27). Dans cette nouvelle configuration du policing – financier – , le processus de « fabrique de la criminalité » ou de « making crime » introduit par Ericson [1981] – pour décrire le processus à travers lequel les acteurs du policing sont confrontés à des problèmes de sécurité qu’ils vont transformer, en fonction de leur réaction, en crime et en criminel – se déplace a priori, dans une logique de « multilatéralisation du policing », des seules organisations policières vers d’autres acteurs devenant de nouveaux « promoteurs » et « prestataires » du policing [Bayley et Shearing, 2001]. Jusqu’ici, de nombreuses études ont été consacrées à l’analyse du premier maillon de la « chaine de sécurité » questionnant l’implication des acteurs financiers dans la mise en œuvre « réticente » des mesures de vigilance, de détection et de signalement des flux financiers illicites au sein de leurs institutions. Cependant, très peu d’études prêtent attention aux autres maillons de la « chaîne de sécurité » et encore moins lorsqu’il s’agit d’analyser la « chaîne de sécurité » dans son ensemble, seul moyen pour saisir empiriquement l’étendue des relations et la diversité des dispositifs de production de sécurité mis en œuvre, supportant dans sa globalité le processus de réaction sociale aux pratiques de BC/FT. Ainsi, c’est ce vide de connaissances académiques que cette recherche vise à combler à travers l’analyse empirique de la mise en œuvre du dispositif de LBC/FT en Suisse et au Canada. Plus de 30 ans après la création du GAFI et la mise en place par les États d’un dispositif de LBC/FT reposant sur un modèle opérant de policing guidé par le renseignement financier, cette recherche vise à comprendre dans sa globalité : « À quoi sert le renseignement financier ? » Répondre à cette question de recherche, c’est contribuer dans une triple dimension à (a) l’analyse de la mise en œuvre empirique d’un modèle opérant de policing guidé par le renseignement dans une environnement particulier : l’environnement financier, (b) dépassant la vision lacuneuse des travaux centrés sur les acteurs financiers de l’anti-blanchiment et (c) saisir la manière dont les pratiques de production et d’utilisation du renseignement financier contribuent à analyser dans son ensemble tout le processus qui détermine la visibilité des cas de BC/FT, leur signalement à une autorité de contrôle et leur éventuelle poursuite et condamnation. Le dispositif anti-blanchiment n’ayant plus vocation à cibler une forme de criminalité lucrative par rapport à une autre, notre étude est aussi une analyse du processus de « fabrique de la criminalité » décrit par Ericson [1981], par lequel les acteurs du policing financier vont désigner, en fonction de leurs intérêts et de leurs règles propres, les comportements criminels portés à leur connaissance qu’ils vont décider de poursuivre, d’ignorer, d’infirmer ou de vérifier. Alors cette recherche soutiendra la thèse que malgré toutes les promesses implicites portées par la reconfiguration des activités de policing dans ses logiques contemporaines de fonctionnement – redéfinissant a priori, la division du travail et la répartition des tâches situées au cœur du processus de « fabrique de la criminalité » –, l’exemple de la lutte anti-blanchiment en Suisse et au Canada, montre comment les acteurs publics d’application de la loi (APAL) ont su conserver la mainmise sur le processus de « making crime » en développant des stratégies pour détourner les normes anti-blanchiment et les dispositifs qu’elles impliquent, à leur avantage dans la poursuite de leurs priorités opérationnelles. Ainsi, les APAL replacent – dans un mouvement contre-intuitif aux reconfigurations contemporaines des activités de policing – les relations de pouvoir, associées au contrôle et au maintien de l’ordre, dans un rapport de verticalité entre l’État et la société et dont les manifestations contribuent à reproduire la « fabrique de la criminalité » selon, comme l’avait noté Manning [2010], « un ensemble d’habitudes et de suppositions axées sur le trope du crime qui envisage uniquement la nécessité de contrôler, de dissuader et de punir les contestataires visibles et connus » – justifiant aussi une analyse en termes de gestion différentielle des illégalismes. À travers l’accès à un matériau empirique – jamais mobilisé auparavant – dans deux pays membres fondateurs du GAFI, cette recherche repose sur une approche comparée à l’échelle internationale et une méthodologie d’analyse mixte, de la base de données, dénominalisées, colligeant l’ensemble des déclarations d’opérations suspectes et des informations associées reçues par la CRF suisse entre 2004 et 2014 – analyse quantitative – et des entretiens auprès d’une quarantaine d’agents au sein de la CRF suisse et d’un panel « représentatif » de l’ensemble des acteurs publics d’application de la loi habilités à mobiliser le renseignement financier en Suisse et au Canada – analyse qualitative. Alors cette recherche contribue empiriquement et conceptuellement à la littérature sur les transformations du policing soutenues par les modèles de policing guidé par le renseignement – ou d’« Intelligence-led policing » –, évitant l’écueil de penser les processus génériques de renseignement comme les manières de les organiser. De plus, cette recherche questionne à nouveaux frais la réaction sociale aux différentes formes de criminalité lucrative, justifiant une analyse en termes de gestion différentielle des illégalismes renvoyant aux diverses modalités pratiques de jeu avec les règles légales tout en situant socialement les groupes qui en usent. / Since the early 1970s, the international community, led by the United States, has progressively addressed money laundering as a new security problem representing a threat to the security of states and financial system. The creation of the Financial Action Task Force (FATF) in 1989 at the G7 summit in Paris marked the international political commitment to combat money laundering as “a decisive contribution to the fight against criminal activities, particularly drug trafficking, and will improve the soundness of the international financial system” [FATF, 1991, p. 20]. The FATF's forty recommendations, published in 1990, for the establishment of a global anti-money laundering regime, embody the “invention of a new crime” [Amicelle, 2016, p. 37]: money laundering and the need for a new form of social reaction against profit-making crime. Initially created to combat drug trafficking, the system now covers all profit from criminal activity. In 2001, it was adapted to combat the financing of terrorism and in 2012 extended to cover criminal tax offences and the financing of the proliferation of weapons of mass destruction. Thus, the anti-money laundering system is today an instrument that can theoretically be mobilised to combat all forms of crime and all persons – “from the weakest to the most powerful” [Amicelle, 2014, p. 88] - associated with illicit financial flows. More than thirty years after its creation, the FATF represents a global network of more than 190 jurisdictions that have adopted its Recommendations, leading its President in 2019 to celebrate “thirty years of success” and to assert that the “value of the organisation to the security of our nations and the integrity of the international financial system has never been clearer” [FATF, 2019, p. 5]. Today, most countries have anti-money laundering and combating the financing of terrorism (AML/CFT) systems based on innovative practices of cooperation and information exchange between financial and public law enforcement actors [Amicelle, 2018; Helgesson and Mörth, 2019; Huysmans, 2014; Sheptycki, 2002]. Building on Latour's work, de Goede [2018] introduces the concept of the “security chain” to describe the general architecture of the AML/CFT system composed of three links, describing the division of labour and tasks related to the implementation of a theoretical model of intelligence-led policing. The first link concerns the financial institutions designated as reporting entities, which are obliged by law to organise the traceability of financial transactions that should support the monitoring, detection and reporting of suspicious ML/FT transactions in their institutions. The second link concerns the financial intelligence unit (FIU) designated in each country as the national centre responsible for collecting and analysing suspicious transaction reports and other ML/FT information and producing financial intelligence that can be mobilised by public law enforcement actors - the last link in the chain - to fight crime by tackling illicit financial flows. Through the concept of the “chain”, de Geode [2018] describes the anti-money laundering system as a linear process, following the path of suspicious transactions - financial traces - which are successively “collected, stored, transferred and analysed in order to lead to security acts (e.g. frozen assets, closed accounts, and judicial convictions)” (p. 27). In this new configuration of financial policing, the process of “making crime” introduced by Ericson [1981] - to describe the process through which policing actors are confronted with security problems which they will transform, according to their reaction, into crime and criminality - is shifted a priori, in a logic of “multilateralization of policing”, from police organisations alone to other actors who become new “promoters” and “providers” of policing [Bayley and Shearing, 2001]. Many studies have been devoted to the analysis of the first link of the “security chain”, questioning the involvement of financial actors in the “reluctant” implementation of vigilance measures, detection and reporting of illicit financial flows within their institutions. However, very few studies pay attention to the other links in the “security chain” and even fewer analyse the “security chain” as a whole, which is the only way to empirically grasp the extent of the relationships and the diversity of the security production mechanisms implemented, which support the whole process of social reaction to ML/FT practices. It is this gap in academic knowledge that this research aims to fill through the empirical analysis of the implementation of the AML/CFT system in Switzerland and Canada. More than 30 years after the creation of the FATF and the implementation by States of an AML/CFT system based on an operational model of policing led by financial intelligence, this research aims to understand in its entirety: “What is financial intelligence used for?” Answering this research question means contributing in a triple dimension to (a) the analysis of the empirical implementation of an operating model of intelligence-led policing in a particular environment: the financial environment, (b) going beyond the flawed vision of work focused on the financial actors of anti-money laundering and (c) grasping the way in which the practices of production and use of financial intelligence contribute to analyse as a whole the process that determines the visibility of ML/FT cases, their reporting to a supervisory authority and their possible prosecution and conviction. As the anti-money laundering system is no longer intended to target one form of lucrative crime over another, our study is also an analysis of the “making crime” process described by Ericson [1981], whereby financial policing actors will designate, according to their own interests and rules, the criminal behaviour brought to their attention that they will decide to pursue, ignore, deny or verify. This research will therefore support the thesis that despite all the implicit promises made by the reconfiguration of policing activities in its contemporary operating logics - redefining a priori the division of labour and the distribution of tasks located at the heart of the “making crime” process –, the example of the fight against money laundering in Switzerland and Canada shows how public law enforcement agencies (APAL) have been able to maintain control over the process of “making crime” by developing strategies to turn anti-money laundering norms and the mechanisms they imply to their advantage in the pursuit of their operational priorities. Thus, public law enforcement actors situate the power relations associated with policing in a vertical relationship between state and society, the manifestations of which help to reproduce the “making crime” according to, as Manning [2010] noted, a set of habits and assumptions that “envisions only the need to control, deter and punish the visible and known contestants”. Through access to empirical material - never before mobilised - in two founding member countries of the FATF, this research is based on a comparative approach on an international scale and a mixed methodology of analysis of the database of all suspicious transaction reports and related information received by the Swiss FIU between 2004 and 2014 - quantitative analysis - and forty interviews with agents within the Swiss FIU and a "representative" panel of all public law enforcement actors empowered to mobilise financial intelligence in Switzerland and Canada - qualitative analysis. Thus, this research contributes empirically and conceptually to the literature on the transformations of policing supported by models of intelligence-led policing, avoiding the pitfall of thinking about generic intelligence processes as well as ways of organizing them. Moreover, this research questions the social reaction to the different forms of lucrative crime, justifying an analysis in terms of differential management of illegalisms referring to the various practical modalities of playing with the legal rules while socially situating the groups that use them.