To see the other types of publications on this topic, follow the link: L'exécution.

Dissertations / Theses on the topic 'L'exécution'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'L'exécution.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Letellier, François. "L'exécution testamentaire." Paris 2, 2000. http://www.theses.fr/2000PA020073.

Full text
Abstract:
L'execution testamentaire peut etre confiee par le testateur a une personne de son choix: l'executeur testamentaire. Il est un personnage atypique, dote de pouvoirs propres et originaux; il ne saurait etre qualifie de simple mandataire posthume du de cujus : l'execution testamentaire est une institution autonome. Les pouvoirs de l'executeur testamentaire sont varies et susceptibles d'une gradation. Ils correspondent a la mission generale de surveillance du respect des dispositions testamentaires. Cette mission generale peut etre completee ou precisee par une mission specifique a laquelle corre
APA, Harvard, Vancouver, ISO, and other styles
2

Ophèle, Claude. "L'exécution anticipée d'une obligation contractuelle." Tours, 1993. http://www.theses.fr/1993TOUR1009.

Full text
Abstract:
Le but de cette these est d'etudier dans quelle mesure l'anticipation peut etre un mode d(execution d'une obligation contractuelle, autrement dit un paiement. Au dela de l'heterogeneite des solutions adoptees par le droit positif, l'analyse revele une reelle coherence de la demarche. Prenant appui sur divers contrats (pret, cautionnement, credit documentaire, construction, etc), la these propose une lecture coherente du droit positif relatif a l'execution anticipee. C'est ainsi que l'execution anticipee est admise (premiere partie) lorsqu'au temps de l'execution est prefere l'interet d'un des
APA, Harvard, Vancouver, ISO, and other styles
3

Drago, Guillaume. "L'exécution des décisions du Conseil Constitutionnel." Paris 2, 1989. http://www.theses.fr/1989PA02T019.

Full text
Abstract:
Le développement de la jurisprudence du conseil constitutionnel est aujourd'hui un phénomène majeur au regard de l'ordonnancement normatif. Les décisions du Conseil Constitutionnel doivent être considérées comme une des sources du droit, ce qui implique que toutes les autorités publiques doivent en tenir compte dans les actes qu'elles sont amenées à édicter. L'article 62 de la Constitution pose le principe selon lequel "les décisions du conseil constitutionnel s'imposent aux pouvoirs publics et à toutes les autorités administratives et juridictionnelles". L'objet de la recherche entreprise est
APA, Harvard, Vancouver, ISO, and other styles
4

Depo, Marie-Françoise. "L'exécution des trusts en droit français." Nice, 1987. http://www.theses.fr/1987NICE0011.

Full text
Abstract:
Le trust, institution de droit anglo-saxon revêt des aspects très divers. Mais il reste inconnu du droit français. Cela crée une insécurité juridique lorsque l'exécution d'un trust est réclamée en France. Le premier problème consiste à savoir si le trust est compatible avec les principes du droit français en matière de propriété et de succession. L'étude démontre que l'exécution d'un trust n'est pas systématiquement prohibée par l'ordre public français. Une fois examinées les conditions dans lesquelles le trust peut produire des effets en France, le problème de la pratique de son exécution se
APA, Harvard, Vancouver, ISO, and other styles
5

Onanga, Romuald. "Le retard dans l'exécution du contrat." Nancy 2, 2002. http://www.theses.fr/2002NAN20002.

Full text
Abstract:
Traditionnellement, le dogme de l'autonomie de la volonté a dominé et expliqué la théorie généralisée du contrat. Le contrat apparaît comme un moyen donné aux parties d'exercer une certaine emprise sur l'avenir, de prévenir le surgissement de l'imprévisible. Dans ce contexte, le paiement à l'échéance est un impératif économique avec lequel on ne doit pas transiger. Tout retard apporté par l'une des parties contractantes dès lors, engage automatiquement sa responsabilité contractuelle pour la sanction de laquelle, une multitude de possibilités est laissée à la discrétion du créancier, et spécia
APA, Harvard, Vancouver, ISO, and other styles
6

Jakse, Raphaël. "Vérification interactive de propriétés à l'exécution." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM075.

Full text
Abstract:
Les ordinateurs sont partout.Nous leur faisons confiance pour un grand, et grandissant, nombre de tâches, parmi lesquelles certaines sont critiques.Les conséquences des bogues logiciels sont diverses, de l'agacement léger à la mort de plusieurs personnes.Ainsi, il est important de s'assurer que les logiciels sont fiables.Corriger les bogues est une activité très chronophage du processus de développement logiciel.Dans cette thèse, nous présentons la vérification interactive à l'exécution, qui combine la vérification à l'exécution et le débogage interactif.La vérification à l'exécution est une m
APA, Harvard, Vancouver, ISO, and other styles
7

Asso, Emmanuelle. "Le droit à l'exécution du jugement." Nice, 2005. http://www.theses.fr/2005NICE0031.

Full text
Abstract:
Le droit contemporain a mis en place le droit à l'exécution des jugements. Affirmé avec force par la Convention européenne des droits de l'Homme, ce droit fait à présent partie du droit au procès équitable énoncé par l'article 6 de la Convention européenne. Souvent, il a été affirmé que le droit était lié à la faculté de contraindre, il semble en effet que l'exécution du jugement soit la phase la plus importante de la procédure puisqu'elle est censée la concrétiser. Par conséquent, il est nécessaire de savoir si le droit, tant au niveau national qu'européen, nous offre une capacité concrète d'
APA, Harvard, Vancouver, ISO, and other styles
8

Mignon-Colombet, Astrid. "L'exécution forcée en droit des sociétés." Paris 1, 2002. http://www.theses.fr/2002PA010294.

Full text
Abstract:
Quasi-absente du droit des sociétés jusqu'à l'entrée en vigueur de la loi sur les nouvelles régulations économiques, l'exécution forcée semble pourtant être une sanction très utile pour faire respecter les pactes d'actionnaires et les obligations légales. Mieux que les sanctions a posteriori - dommages et intérêts, nullités, sanctions pénales -l'exécution forcée est une sanction parfaite, procurant au bénéficiaire l' objet exact de la prestation inexécutée. Mais la transposition du droit commun de l'exécution forcée au droit des sociétés n'est ni toujours possible, ni toujours suffisante. D'un
APA, Harvard, Vancouver, ISO, and other styles
9

Schaus, Annemie. "L'exécution des obligations internationales dans l'Etat fédéral." Doctoral thesis, Universite Libre de Bruxelles, 2001. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211768.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

El, hokayem Antoine. "Vérification à l'exécution de spécifications décentralisées hiérarchiques." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM086/document.

Full text
Abstract:
La vérification à l’exécution est une méthode formelle légère qui consiste à vérifier qu’une exécution d’un système est correcte par rapport à une spécification. La spécification exprime de manière rigoureuse le comportement attendu du système, en utilisant généralement des formalismes basés sur la logique ou les machines à états finies. Alors que la verification a l’éxecution traite les systèmes monolithiques de manière exhaustive, plusieurs difficultés se présentent lors de l’application des techniques existantes à des systèmes décentralisés, c-à-d. des systèmes avec plusieurs composants san
APA, Harvard, Vancouver, ISO, and other styles
11

Arteil, David. "L'exécution du contrat par un non-contractant." Poitiers, 2005. http://www.theses.fr/2005POIT3009.

Full text
Abstract:
La conception subjective classique du contrat fait de l'exécution par un non-contractant une hypothèse marginale. Les liens personnels que tissent les obligations contractuelles entre les parties enferment ces dernières dans une relation exclusive de toute intervention extérieure. Par l'effet conjugué de la force obligatoire et du principe de l'effet relatif, les cocontractants apparaissent comme les exécutants exclusifs du contrat. La pratique révèle cependant une toute autre réalité. L'objet de la thèse est de montrer que l'intervention d'un non-contractant est aujourd'hui un véritable mode
APA, Harvard, Vancouver, ISO, and other styles
12

Soustelle, Philippe. "Les délais judiciaires différant l'exécution de l'obligation." Saint-Etienne, 1996. http://www.theses.fr/1996STETT036.

Full text
Abstract:
Les délais accordes par le juge aux débiteurs qui rencontrent des difficultés pour régler leurs dettes n'ont pas tous la même signification juridique au regard de l'obligation initiale. Tous altèrent le principe de la force contraignante de l'engagement mais il existe différents degrés dans la remise en cause du droit de créance. Nous avons pu démontrer, en posant la question en termes d'exigibilité de l'obligation, qu'il existe deux types de délais judiciaires. Les premiers ne tendent qu'a différer l'exécution forcée de l'obligation et n'ont alors qu'une influence modeste sur l'obligation ini
APA, Harvard, Vancouver, ISO, and other styles
13

Delahaye, Mickaël. "Généralisation de chemins infaisables pour l'exécution symbolique." Rennes 1, 2011. http://www.theses.fr/2011REN1S080.

Full text
Abstract:
La vérification du logiciel est désormais incontournable de par l'ubiquité et la complexité des systèmes informatiques. Le test étant la pratique de vérification la plus courante, son automatisation est intéressante. L'exécution symbolique est une technique à la base de nombreux outils et méthodes de génération automatique de données de test. Inspectant le code des programmes, cette technique est sensible aux nombres de chemins infaisables, pour lesquels aucune donnée de test n'existe. Lorsque l'exécution symbolique rencontre un tel chemin, elle prouve le chemin infaisable ce qui est une perte
APA, Harvard, Vancouver, ISO, and other styles
14

Naimi-Charbonnier, Marine. "La formation et l'exécution du contrat électronique." Paris 2, 2003. http://www.theses.fr/2003PA020056.

Full text
Abstract:
L'émergence des nouvelles technologies de l'information bouleverse les habitudes du commerce et notamment la pratique des contrats à distance. Né en l'absence physique des parties, sur un réseau mondial comme l'internet, le contrat électronique a la particularité d'être entièrement dématérialisé et être à vocation internationale. Aussi, après en avoir défini le concept, l'étude de sa formation nous amène à mettre en exergue les difficultés relatives à l'offre: diversité des pollicitants; différence de régime dans l'émission de l'offre électronique; obligation d'information précontractuelle à l
APA, Harvard, Vancouver, ISO, and other styles
15

Evano, Florence. "Les tiers dans le droit de l'exécution." Rennes 1, 2003. http://www.theses.fr/2003REN10005.

Full text
Abstract:
Le mot tiers est à sens multiples. En droit des obligations comme en droit judiciaire, la distinction des parties et des tiers a été étudiée. En revanche, en droit de l'exécution, elle n'a pas fait l'objet de recherches. L'objet n'est pas de dégager un concept. La tentative a déjà échoué dans d'autres matières en raison de la diversité des situations concernées, diversité qui se retrouve en droit de l'exécution. L'enjeu est de dégager non seulement le sens du terme en droit de l'exécution, en tentant de classer les hypothèses, mais aussi sa spécificité. Relativement à la notion, le droit de l'
APA, Harvard, Vancouver, ISO, and other styles
16

Nguyen, Thi Viet Ha. "L'exécution des sentences arbitrales internationales (comparaisons franco-vietnamiennes)." Rouen, 2012. http://www.theses.fr/2012ROUED005.

Full text
Abstract:
L'arbitrage international devient un moyen largement reconnu pour régler les différents. Par conséquent, l'exécution de la sentence arbitrale internationale est indispensable car l'arbitrage perd ses sens si son résultat (la sentence) n'est pas respecté. La France et le Vietnam sont tous deux des Etats parties à la convention de New-York. Nonobstant, la procédure d'exequatur est très différente entre ces deux systèmes de droit. Par ailleurs, les motifs de refus d'exequatur sont similaires mais la mise en oeuvre de ces motifs montre de profondes divergences. Cette étude s'intéresse ainsi à l'ex
APA, Harvard, Vancouver, ISO, and other styles
17

Picod, Yves. "Le Devoir de loyauté dans l'exécution du contrat." Dijon, 1987. http://www.theses.fr/1987DIJOD001.

Full text
Abstract:
Le devoir de loyauté est un moyen de faire pénétrer la règle morale dans les contrats. Notion polysémique, il est susceptible de deux exceptions : loyauté du contractant et loyauté contractuelle. La loyauté du contractant est une notion généralement neutre s'opposant à la faute, l'abus de droit, le dol, ou la fraude ; elle est rarement récompensée pour elle-même. La loyauté contractuelle sert à fonder différentes obligations pouvant être regroupées autour de deux idées : tout contractant doit exécuter utilement et efficacement (obligations de coopération, renseignement et particulières à certa
APA, Harvard, Vancouver, ISO, and other styles
18

François, Christine. "La juridictionnalisation des procès de l'exécution des peines." Thesis, Lille 2, 2012. http://www.theses.fr/2012LIL20017.

Full text
Abstract:
En droit de l’exécution des peines, deux procès essentiels peuvent se jouer pour le condamné : le procès disciplinaire et le procès d’application des peines. En dépit du clivage droit privé-droit public qui les caractérise, ces deux procès se sont inscrits ces dernières années dans une même logique juridictionnelle. Souvent envisagés de manière distincte, l’intérêt de notre étude sera de démontrer qu’au delà du polymorphisme du droit et des organes juridictionnels ou non juridictionnels auxquels ces procès se rattachent, ces derniers ont connu une évolution concomitante en termes de reconnaiss
APA, Harvard, Vancouver, ISO, and other styles
19

Grall, Hervé. "Deux critères de sécurité pour l'exécution de code mobile." Phd thesis, Ecole des Ponts ParisTech, 2003. http://tel.archives-ouvertes.fr/tel-00007549.

Full text
Abstract:
Les programmes mobiles, comme les applettes, sont utiles mais potentiellement hostiles, et il faut donc pouvoir s'assurer que leur exécution n'est pas dangereuse pour le système hôte. Une solution est d'exécuter le programme mobile dans un environnement sécurisé, servant d'interface avec les ressources locales, dans le but de contrôler les flux d'informations entre le code mobile et les ressources, ainsi que les accès du code mobile aux ressources. Nous proposons deux critères de sécurité pour l'exécution de code mobile, obtenus chacun à partir d'une analyse de l'environnement local. Le premie
APA, Harvard, Vancouver, ISO, and other styles
20

Rempulski, Nicolas. "Synthèse dynamique de superviseur pour l'exécution adaptative d'applications interactives." Thesis, La Rochelle, 2013. http://www.theses.fr/2013LAROS407/document.

Full text
Abstract:
Cette thèse a pour objectif de proposer des solutions aux problématiques de la narration interactive. Nous souhaitons ainsi proposer une méthode de conception pour les auteurs, ainsi qu’une logique d’exécution utilisant ce modèle pour contrôler la construction d’un récit. Nous appliquons nos travaux au contexte des jeux vidéo, mais souhaitons adresser la narration interactive dans une dimension plus large. Nous abordons la narration interactive comme une déstructuration de la narration classique. Le processus de création du récit n’est ainsi plus à la seule charge de l’auteur, mais implique ég
APA, Harvard, Vancouver, ISO, and other styles
21

Latendresse, Mario. "Génération de machines virtuelles pour l'exécution de programmes compressés." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0012/NQ52170.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Debily, Emmanuelle. "L'exécution forcée en nature des obligations contractuelles non pécuniaires." Poitiers, 2002. http://www.theses.fr/2002POIT3020.

Full text
Abstract:
Nonobstant les termes de l'article 1142 du Code civil, l'exécution forcée en nature constitue le remède privilégié à la disposition du créancier en cas d'inexécution d'une obligation contractuelle non pécuniaire. Ce remède spécifique tend à procurer au créancier la satisfaction en nature promise par l'intervention de la contrainte étatique ; directement fondée sur la force obligatoire du contrat à laquelle elle garantit une pleine effectivité, l'exécution forcée en nature constitue le remède naturel à la défaillance contractuelle. La prééminence conceptuelle de ce remède se traduit concètement
APA, Harvard, Vancouver, ISO, and other styles
23

Lonis-Apokourastos, Véronique. "La primauté contemporaine du droit à l'exécution en nature." Aix-Marseille 3, 2001. http://www.theses.fr/2001AIX32028.

Full text
Abstract:
La primauté de l'exécution en nature sur les autres formes de sanction de l'inexécution contractuelle s'exprime pleinement aujourd'hui à travers les moyens permettant d'obtenir une telle exécution. On sait que le principe du respect de la loi contractuelle s'est imposé au fil des ans, sous l'action notamment de la jurisprudence. On connait également les moyens que le droit moderne offre au créancier d'une obligation de faire ou de ne pas faire inexécutées pour obtenir finalement l'exécution en nature qu'il souhaite, une telle exécution s'avérant, seule, totalement satisfactoire pour celui-ci.
APA, Harvard, Vancouver, ISO, and other styles
24

Ben, Atallah Slim Ben Noureddine. "Architectures systèmes pour la construction et l'exécution de collecticiels." Chambéry, 1997. http://www.theses.fr/1997CHAMS013.

Full text
Abstract:
L’objectif de ce travail est d'étudier les architectures des collecticiels et les protocoles de contrôle qui régissent le travail coopératif afin de faciliter la conception, la construction et l'exécution de ces applications dans divers environnements (plates-formes, réseaux,). A la différence des travaux qui se sont intéressés aux applications coopératives, notre étude est fondée sur l'analyse des besoins des collecticiels à différents niveaux : de l'utilisateur, du support d'exécution et du réseau. Le but recherché à travers cette étude est de trouver des solutions génériques pour construire
APA, Harvard, Vancouver, ISO, and other styles
25

Azar, Aïda. "L'exécution des décisions de la Cour internationale de justice." Paris 5, 2001. http://www.theses.fr/2001PA05D009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Hur, Nelly-Marine. "La dignité dans l'exécution des peines privatives de libertés." Thesis, Lyon 3, 2011. http://www.theses.fr/2011LYO30035.

Full text
Abstract:
L’analyse de la dignité du condamné dans l’exécution de sa peine privative de liberté suppose d’étudier d’une part les conditions dans lesquelles il exécute sa peine lorsqu’il est incarcéré au sein d’un établissement pénitentiaire, puis d’autre part celles dans lesquelles il exécute sa peine dans la phase post-carcérale. Cependant, la constatation du respect ou de la négation de la dignité du condamné repose sur l’appréciation de l’adaptation et de la proportionnalité de l’atteinte portée à ses spécificités humaines primaires et à leurs supports, à un objectif légitime d’intérêt général. Ainsi
APA, Harvard, Vancouver, ISO, and other styles
27

Broquedis, François. "De l'exécution structurée d'applications scientifiques OpenMP sur les architectures hiérarchiques." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2010. http://tel.archives-ouvertes.fr/tel-00793472.

Full text
Abstract:
Le domaine applicatif de la simulation numérique requiert toujours plus de puissance de calcul. La technologie multicœur aide à satisfaire ces besoins mais impose toutefois de nouvelles contraintes aux programmeurs d'applications scientifiques qu'ils devront respecter s'ils souhaitent en tirer la quintessence. En particulier, il devient plus que jamais nécessaire de structurer le parallélisme des applications pour s'adapter au relief imposé par la hiérarchie mémoire des architectures multicœurs. Les approches existantes pour les programmer ne tiennent pas compte de cette caractéristique, et le
APA, Harvard, Vancouver, ISO, and other styles
28

Lemay, Frédérick. "Instrumentation optimisée de code pour prévenir l'exécution de code malicieux." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/29030/29030.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Damou, Elmehdi. "ApAM : Un environnement pour le développement et l'exécution d'applications ubiquitaires." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00911462.

Full text
Abstract:
Simplifier notre interaction avec les entités informatiques interconnectées de notre environnement et faciliter l'exploitation des informations générées par celles-ci est l'objectif des environnements et des applications ubiquitaires. Le comportement des applications ubiquitaires dépend de l'état et de la disponibilité des entités (logiciels ou dispositifs) qui composent l'environnement ubiquitaire dans lequel elles évoluent, ainsi que des préférences et localisations des utilisateurs. Développer et exécuter des applications ubiquitaires est un véritable défi que notre approche essaie de relev
APA, Harvard, Vancouver, ISO, and other styles
30

Tinel, Marie. "Le contentieux de l'exécution de la peine privative de liberté." Poitiers, 2010. http://www.theses.fr/2010POIT3006.

Full text
Abstract:
Partagé entre deux ordres de juridictions, le contentieux de l'éxécution de la peine privative de liberté n'a d'existence véritable que depuis une vingtaine d'année. Auparavant et hormis quelques exceptions - la plus notable étant l'engagement de la responsabilité de la puissance publique - les recours des condamnés à une peine privative des libertés, qu'il s'agisse de recours contre une décision de l'administration pénitentiaire ou contre une décision d'aménégement de la peine, restent irrecevables. Pendant longtemps, ce contentieux se réduit au choix du juge compétent. Depuis, se pose de faç
APA, Harvard, Vancouver, ISO, and other styles
31

Aboukorin, Ahmed. "L'obligation de renseignement et de conseil dans l'exécution des contrats." Dijon, 1989. http://www.theses.fr/1989DIJOD001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Menu, Sophie. "De la volonté du condamné dans l'exécution de sa peine." Poitiers, 2004. http://www.theses.fr/2004POIT3013.

Full text
Abstract:
Selon une analyse classique, la volonté du condamné dans l'exécution de sa peine se caractérise par sa passivité. Or, depuis quelques décennies, la considération portée à la dignité de l'intéressé tend à le rendre sujet de droits et l'érige en véritable acteur de sa peine. Le système répressif favorise ainsi sa réinsertion en le plaçant au coeur du processus d'exécution : en raison des effets juridiques qu'elle produit, cette faculté de détermination individuelle devient l'une des sources essentielles de l'application de la peine. Pour autant, la phase exécutoire, par essence d'ordre public, n
APA, Harvard, Vancouver, ISO, and other styles
33

Guillaume, Marie Joseph Alain. "Le contrôle de l'exécution des dépenses publiques en droit haïtien." Aix-Marseille 3, 2007. http://www.theses.fr/2007AIX32066.

Full text
Abstract:
La commission d’irrégularités souvent grossières représente une constante dans la gestion des deniers publics en Haïti depuis près de deux siècles. En dépit de l’adoption de nombreux textes normatifs comparables à ceux des États les plus avancés, les mécanismes de contrôle de l’exécution des dépenses publiques demeurent peu performants. A partir de 2005, une nouvelle Législation est intervenue à la place de celle de 1985 pour rationaliser la gestion des finances publiques. Cependant, dans les faits, les modalités de contrôle des deniers publics n’ont pas évolué. Se constate donc une opposition
APA, Harvard, Vancouver, ISO, and other styles
34

Bouchi, Amer. "Proposition d'un mécanisme d'observation dynamique de l'exécution d'applications Java distribuées." Lille 1, 2003. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2003/50376-2003-9.pdf.

Full text
Abstract:
L'exécution efficace des applications distribuées irrégulières exige d'adopter des mécanismes qui assurent l'adaptation automatique de l'exécution aux évolutions du calcul et aux modifications de la disponibilité des ressources. Ces exigences demandent à la fois de connaître les relations dynamiques entre les objets et de disposer d'informations relatives à l'évolution de la charge des machines. Nous avons introduit un système d'observation permettant de fournir les informations nécessaires aux mécanismes de redistribution des objets de l'application. Le système d'observation proposé comporte
APA, Harvard, Vancouver, ISO, and other styles
35

Nasroune-Nouar, Ourdia. "Le contrôle de l'exécution des sanctions pénales en droit algérien." Paris 1, 1988. http://www.theses.fr/1988PA010258.

Full text
Abstract:
L'étude du contrôle de l'exécution des sanctions pénales en droit algérien s'inscrit dans le cadre d'une réflexion comparative entre le système juridique algérien et celui de la France qui l'inspire fortement. Cette recherche s'articule-après les rappels doctrinaux, jurisprudentiels et historique- sur trois thèmes principaux : 1- la détermination de la place qu'occupe l'autorité judiciaire dans le contrôle de l'exécution des sanctions pénales (le ministère public, le magistrat de l'application des sentences pénales, le juge des mineurs). 2- l'analyse du contrôle effectif du traitement des cond
APA, Harvard, Vancouver, ISO, and other styles
36

Jenayah, Alia. "Le contrôle de l'exécution des marchés publics en droit tunisien." Thesis, Paris 1, 2017. http://www.theses.fr/2017PA01D017.

Full text
Abstract:
Contrairement aux contrats de droit privé où l'exécution est surtout l'affaire des parties, l'exécution des marchés publics est soumise à des contrôles multiples qui ont proliféré en Tunisie au gré de l'évolution des politiques publiques. Dans une perspective systémique, trois niveaux de contrôle différents mais interdépendants peuvent être distingués : celui exercé par les parties contractantes, celui exercé par des organes plus ou moins dépendants de l'administration, et celui, décisif, exercé par les tribunaux. L'étude des interactions entre ces différents éléments, dans un contexte nouveau
APA, Harvard, Vancouver, ISO, and other styles
37

Guabtni, Adnene. "Sphères de comportement pour la modélisation et l'exécution de procédés flexibles." Phd thesis, Université Henri Poincaré - Nancy I, 2007. http://tel.archives-ouvertes.fr/tel-00605692.

Full text
Abstract:
L'objectif de la thèse consiste à proposer une nouvelle approche, appelée "Sphères de comportement" pour la modélisation et l'exécution de procédés flexibles. Il s'agit d'assurer une flexibilité dans la gestion de propriétés comportementales qu'elles soient transactionnelles, opérationnelles ou organisationnelles. De telles propriétés concernent non seulement des activités considérées individuellement (ce que permettent les modèles de procédés actuels), mais également des groupes d'activités d'un procédé. La première contribution de cette thèse consiste à séparer la spécification des propriété
APA, Harvard, Vancouver, ISO, and other styles
38

Esnault, Claire. "L'exécution capitale à la fin de la Renaissance : discours et représentations." Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/34293.

Full text
Abstract:
Ce travail a pour objectif d’étudier certaines représentations – écrites et imagées – des exécutions capitales en France, dans la seconde moitié du XVIe siècle et les premières décennies du XVIIe siècle. Ces exécutions sont nombreuses à une époque marquée par d’importants troubles politiques et religieux. Elles ont lieu en place publique, se veulent édifiantes et exemplaires pour les spectateurs, et affirment l’autorité du souverain, qui restaure l’ordre dans le royaume. Cette étude s’organise autour des trois figures fondamentales de la punition : le roi, le peuple et le condamné. La puniti
APA, Harvard, Vancouver, ISO, and other styles
39

Legaux, Joeffrey. "Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles." Phd thesis, Université d'Orléans, 2013. http://tel.archives-ouvertes.fr/tel-00990852.

Full text
Abstract:
Les architectures parallèles sont désormais présentes dans tous les matériels informatiques, mais les pro- grammeurs ne sont généralement pas formés à leur programmation dans les modèles explicites tels que MPI ou les Pthreads. Il y a un besoin important de modèles plus abstraits tels que les squelettes algorithmiques qui sont une approche structurée. Ceux-ci peuvent être vus comme des fonctions d'ordre supérieur synthétisant le comportement d'algorithmes parallèles récurrents que le développeur peut ensuite combiner pour créer ses programmes. Les développeurs souhaitent obtenir de meilleures
APA, Harvard, Vancouver, ISO, and other styles
40

Mejia, Betancourt José Amando. "Le rôle des finances publiques dans l'exécution du plan au Vénézuela." Paris 2, 1987. http://www.theses.fr/1987PA021035.

Full text
Abstract:
Cette these concerne l'etude des relations existantes entre les finances publiques et la planification. Il a ete question de rechercher particulierement comment le systeme de budget de programmes existant au venezuela constitue un instrument important dans l'execution du plan de la nation. Nous avons egalement etudie les organismes qui ont ete crees de facon a effectuer les investissements necessaires dans les secteurs privilegies par le plan; et comment certaines procedures specialisees ont ete concues avec le meme but. Nous avons pu constater que la planification et les finances publiques so
APA, Harvard, Vancouver, ISO, and other styles
41

Thery-Schultz, Juliette. "La réciprocité dans l'exécution des contrats synallagmatiques en droit privé français." Paris 12, 2003. http://www.theses.fr/2003PA122003.

Full text
Abstract:
La réciprocité peut être définie comme un principe d'action symétrique. Son étude apparaît intéressante dans l'exécution des contrats synallagmatiques, qui formalisent les échanges. Sur le sujet, l'explication causaliste domine. Les deux parties n'acceptent d'être débitrices que dans la mesure où elles sont créancières de la prestation réciproque. L'explication peut être incomplète : chaque cause produisant les mêmes effets, aucune place n'est laissée aux relations entre les parties. La réciprocité quant à elle ouvre champ à deux sortes d'analyses. La première est celle propre à l'échange, la
APA, Harvard, Vancouver, ISO, and other styles
42

Payan, Guillaume. "Pour un droit européen de l'exécution en matière civile et commerciale." Toulon, 2008. http://www.theses.fr/2008TOUL0050.

Full text
Abstract:
Depuis une dizaine d'années environ, la doctrine européenne et la Commission européenne soulignent l'opportunité d'une action communautaire dans le domaine de l'exécution proprement dite des titres exécutoires. Pourtant, ce domaine est encore aujourd'hui abandonné aux droits nationaux. Cette situation devrait évoluer dans les mois à venir. En effet, le Conseil européen des 4 et 5 novembre 2004 a approuvé un programme – le programme de La Haye – qui prévoit une action du législateur communautaire dans le domaine de l'exécution proprement dite des décisions judiciaires. La présente étude a pour
APA, Harvard, Vancouver, ISO, and other styles
43

Falcone, Yliès Carlo. "Etude et mise en oeuvre de techniques de validation à l'exécution." Université Joseph Fourier (Grenoble), 2009. http://www.theses.fr/2009GRE10239.

Full text
Abstract:
L'étude de cette thèse porte sur trois méthodes de validation dynamiques : les méthodes de vérification, d'enforcement (mise en application), et de test de propriétés lors de l'exécution des systèmes. Nous nous intéresserons à ces approches en l'absence de spécification comportementale du système à valider. Pour notre étude, nous nous plaçons dans la classification Safety-Progress des propriétés. Ce cadre offre plusieurs avantages pour la spécification de propriétés sur les systèmes. Nous avons adapté les résultats de cette classification, initialement développés pour les séquences infinies, p
APA, Harvard, Vancouver, ISO, and other styles
44

Esnault, Claire. "L'exécution capitale à la fin de la Renaissance : discours et représentations." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM3088.

Full text
Abstract:
Ce travail a pour objectif d’étudier certaines représentations – écrites et imagées – des exécutions capitales en France, dans la seconde moitié du XVIe siècle et les premières décennies du XVIIe siècle. Ces exécutions sont nombreuses à une époque marquée par d’importants troubles politiques et religieux. Elles ont lieu en place publique, se veulent édifiantes et exemplaires pour les spectateurs, et affirment l’autorité du souverain, qui restaure l’ordre dans le royaume.Cette étude s’organise autour des trois figures fondamentales de la punition : le roi, le peuple et le condamné. La punition
APA, Harvard, Vancouver, ISO, and other styles
45

Guessoum, Ahlam. "Force exécutoire et obligation : essai sur l'exécution forcée en droit privé." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENA011.

Full text
Abstract:
L'inexécution de l'obligation par le débiteur constitue un moment crucial dans la « vie » de l'obligation. La force de l'obligation à apporter des remèdes efficaces au créancier se pose avec le plus d'acuité à cet instant. Analyser l'obligation sous l'angle de son efficacité concrète conduit à un constat immédiat. La force obligatoire, omniprésente dans le régime de l'obligation, se voit attribuer une fonction dont l'effectivité est, pourtant, dans le contexte de l'inexécution, résiduelle. Inefficace, à cet instant, la force obligatoire ne saurait, en aucune manière, constituer le fondement de
APA, Harvard, Vancouver, ISO, and other styles
46

Rochas, Justine. "Support à l'exécution pour objets actifs multi-threadés : conception et implémentation." Thesis, Université Côte d'Azur (ComUE), 2016. http://www.theses.fr/2016AZUR4062/document.

Full text
Abstract:
Pour aborder le développement d'applications concurrentes et distribuées, le modèle de programmation à objets actifs procure une abstraction de haut niveau pour programmer de façon concurrente. Les objets actifs sont des entités indépendantes qui communiquent par messages asynchrones. Peu de systèmes à objets actifs considèrent actuellement une exécution multi-threadée. Cependant, introduire un parallélisme contrôlé permet d'éviter les coûts induits par des appels de méthodes distants. Dans cette thèse, nous nous intéressons aux enjeux que présentent les objets actifs multi-threadés, et à la c
APA, Harvard, Vancouver, ISO, and other styles
47

Brassier, Sophie. "La réinsertion et l'exécution de la peine d'emprisonnement : essai d'analyse contractuelle." Rennes 1, 2007. http://www.theses.fr/2007REN1G012.

Full text
Abstract:
L'article 707 du code de procédure pénale, issu de la loin°2004-204 du 9 mars 2004 relative à l'adaptation de la justice aux évolutions de la criminalité, témoigne d'une nouvelle rationalité pénale au cours de l'exécution de la peine d'emprisonnement. En plaçant, la réinsertion à l'acmé des finalités assignées à l'exécution des peines, il vient mettre en exergue un paradigme philosophico-idéologique puissant : le concept de responsabilité. Ce dernier, appréhendé dans toutes ses dimensions, grâce à une analyse croisée et idoine des approches juridique et psychocriminologique, rend compte de la
APA, Harvard, Vancouver, ISO, and other styles
48

Ouelhazi, Rafik. "Le juge judiciaire et la force obligatoire du contrat." Université Robert Schuman (Strasbourg) (1971-2008), 1997. http://www.theses.fr/1997STR30015.

Full text
Abstract:
La force obligatoire du contrat est le caractère contraignant dont il est revêtu et en vertu duquel son exécution s'impose. Et il est admis que cette règle du droit des contrats s'impose aussi bien aux parties qu'au juge qui doit assurer l'exécution du contrat valable dont il est saisi. Le juge doit-il alors imposer aux parties l'exécution littérale de l'accord ou est-il fondé, surtout en présence d'un contrat manifestement injuste, à en modifier la teneur ? Pour la conception classique qui soutient que le contrat tire sa force obligatoire de la volonté des parties, il est interdit au juge de
APA, Harvard, Vancouver, ISO, and other styles
49

Morin, Brice. "Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00538548.

Full text
Abstract:
La dépendance croissante de la société à l'égard des systèmes logiciels nécessite de concevoir des logiciels robustes, adaptatifs et disponibles sans interruption. De tels systèmes proposent souvent de nombreux points de variation avec de nombreuses variantes, conduisant à une explosion combinatoire du nombre des configurations. Il devient rapidement impossible de spécifier et de valider toutes ces configurations lors de la conception d'un système adaptatif complexe. Cette thèse présente une approche dirigée par les modèles et basée sur la modélisation par aspects pour contenir la complexité d
APA, Harvard, Vancouver, ISO, and other styles
50

Frydman, Claudia. "DeBuMA : système pour la description : la construction et l'exécution d'applications en CAO." Montpellier 2, 1990. http://www.theses.fr/1990MON20293.

Full text
Abstract:
Le travail presente dans ce memoire concerne l'etude et le developpement d'une infrastructure de cao appelee debuma. Debuma considere trois types d'interlocuteurs: l'algorithmicien, le constructeur d'applications et l'utilisateur final. Les connaissances fournies par l'algorithmicien permettent de decharger les deux autres utilisateurs des aspects informatiques. Le constructeur d'applications donne, sous forme de regles de production, des scenarii de resolution pour guider l'utilisateur final non experimente. Debuma comporte plusieurs niveaux de connaissances avec differentes classes de regles
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!