• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 81
  • 31
  • 13
  • 1
  • Tagged with
  • 132
  • 132
  • 65
  • 45
  • 41
  • 37
  • 30
  • 27
  • 22
  • 18
  • 16
  • 15
  • 14
  • 13
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Un langage et un environnement de conception et de développement de services web complexes

Coulibaly, Demba Haddad, Serge January 2009 (has links)
Thèse de doctorat : Informatique : Université Paris-Dauphine : 2009. / bibliogr.67 ref. Index.
22

D'un paragrapheur à un éditeur syntaxique et graphique pour le langage Esterel /

Nahaboo, Colas, January 1900 (has links)
Th.--Informatique--Nice, 1988. / 1989 d'après la déclaration de dépôt légal. Bibliogr. p. 160-163. Résumé en français.
23

Argument und Algorithmus : ein lexikalisch orienter Analyseansatz diskursiver Textelemente mit PROLOG /

Kaufmann, Stefan C. January 1995 (has links)
Diss.--Philosophische Fakultät I--Universität Zürich, 1993/1994. / Bibliogr. p. 170-175.
24

Différentiation automatique : application à un problème d'optimisation en météorologie /

Rostaing-Schmidt, Nicole. January 1900 (has links)
Th. doct.--Math.--Nice, 1993. / Bibliogr. p. 109-110. Résumé en français et en anglais. 1995 d'après la déclaration de dépôt légal.
25

Étude et développement d'applications distribuées dans l'architecture ALF /

Chrisment, Isabelle. January 1900 (has links)
Th. doct.--Informatique--Nice, 1996. / Bibliogr. p. 149-161. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.
26

LMAC, système de développement de langages : temps réel pour la productique, interface et problèmes temps réel.

Bonin, Jean-Charles, January 1900 (has links)
Th. 3e cycle--Autom. et inform.--Besançon, 1984. N°: 448.
27

Étude et définition d'une machine langage LISP.

Lecouffe, Pierre, January 1900 (has links)
Th. 3e cycle--Trait. inf.--Lille 1, 1977. N°: 664.
28

Renforcement formel et automatique de politiques de sécurité dans la composition des services Web

Boumlik, Laila 28 July 2021 (has links)
L'orchestration des services Web décrite par le Web Service-Business Process Execution Language (WS-BPEL), fait désormais partie intégrante du Web moderne, comme le cloud computing, le Big Data, l'Internet des objets (IoT) et les réseaux sociaux. En effet, elle est au centre de nombreux systèmes d'information liés à une variété de domaines tels que le commerce électronique, les institutions financières et les systèmes de santé, etc. où des données sensibles sont partagées, ce qui pose d'importants problèmes de sécurité. WS- BPEL appelé aussi BPEL, est le langage standard pour construire des services Web complexes d'une manière pratique. Cependant, BPEL n'est pas rigoureusement défini comme un langage formel entrainant ainsi des problèmes d'ambiguïté et de confusion lors de sa compréhension. Par ailleurs, sans fondement formel, il ne serait pas possible de fournir des preuves garantissant le bon fonctionnement de services. Cette thèse adresse la formalisation de BPEL et présente une approche formelle basée sur la réécriture de programmes permettant d'appliquer des politiques de sécurité au niveau de ce langage. Plus précisément, étant donné une composition de services Web spécifiée en BPEL et une politique de sécurité décrite dans une logique temporelle comme LTL, notre approche vise à générer une nouvelle version de service Web qui respecte cette politique de sécurité. La nouvelle version du service se comporte exactement comme l'originale excepté quand la politique est sur le point d'être violée. Dans ce cas le processus pourrait accomplir d'autres actions ou tout simplement être arrêté. La formalisation de BPEL a été aussi traduite dans l'environnement K-Framework, ce qui ouvre la porte à l'utilisation de ses nombreux outils formels incluant un évaluateur de modèles pour l'analyse de services Web. / The Web services orchestration approach described by the Web Service-Business Process Execution Language (WS-BPEL), is now an integral part of the modern Web, such as cloud computing, Big Data, the Internet of Things (IoT) and social networks. Indeed, it is at the center of many information systems related to a variety of domains such as e-commerce, financial institutions and healthcare systems, etc. where sensitive data is shared, which creates significant security issues. WS-BPEL, also called BPEL, is the standard language for building complex Web services in a practical way. However, BPEL is not rigorously defined as a formal language thus leading to problems of ambiguity and confusion when understanding it. Moreover, without a formal basis, it would not be possible to provide any proof guaranteeing the proper functioning of services. This thesis addresses the formalization of BPEL and presents a formal approach based on the rewriting of programs allowing the enforcement of security policies on this language. More precisely, given a composition of Web services specified in BPEL and a security policy described in a temporal logic like LTL, our approach aims to generate a new version of the Web service which respects the given security policy. The new version of the service behaves exactly like the original one except when the policy is about to be violated. In this case the process could take other actions or simply be stopped. The formalization of BPEL has also been translated into the K-Framework environment, which opens the door to the use of its many formal tools including a model checker for the analysis of Web services.
29

Microprogrammation, architectures, langages à objets : NAS /

Codani, Jean-Jacques, January 1988 (has links)
Th. Univ.--Informatique--Paris 6, 1988. / Bibliogr. p. 241-244. Résumé en français.
30

Conception d'un langage de programmation pour applications distribuées

Germain, Guillaume January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Page generated in 0.1452 seconds