Einloggen

Thematische Bibliographien / Systèmes à base de composants concurrents

Inhaltsverzeichnis

Dissertationen

Auswahl der wissenschaftlichen Literatur zum Thema „Systèmes à base de composants concurrents“

Autor: Grafiati

Veröffentlicht am 14. Dezember 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Systèmes à base de composants concurrents" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Dissertationen zum Thema "Systèmes à base de composants concurrents"

1

Farhat, Salman. "Safe Dynamic Reconfiguration of Applications with Features." Electronic Thesis or Diss., Université de Lille (2022-....), 2024. http://www.theses.fr/2024ULILB014.

Der volle Inhalt der Quelle

Annotation:

Les applications déployées sur des environnement de type Cloud ou sur des systèmes cyber-physiques nécessitent une reconfiguration fréquente pendant leur exécution pour s'adapter à l'évolution des besoins et des exigences, ce qui souligne l'importance des capacités de reconfiguration dynamique. En outre, ces environnements peuvent étendre et modifier leurs services en cours d'exécution, ce qui nécessite une approche compositionnelle pour permettre la modification des configurations. Pour gérer la variabilité de l'architecture des grands systèmes, les modèles de caractéristiques sont largement

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM020.

Der volle Inhalt der Quelle

Annotation:

L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations entre les composants. Nous offrons des méthodes efficaces pour calculer ces invariants. Nous proposons égalemen

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Nguyen, Thanh-Hung. "Vérification Constructive des Systèmes à base de Composants." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00485933.

Der volle Inhalt der Quelle

Annotation:

L'objectif de la thèse est de développer des méthodologies et des outils pour la vérification compositionnelle et incrémentale des systèmes à base de composants. Nous proposons une méthode compositionnelle pour vérifier des propriétés de sûreté. La méthode est basée sur l'utilisation des deux types d'invariants: invariants de composant qui expriment des aspects locaux des systèmes et invariants d'interaction qui caractérisent les contraintes globales induites par les synchronisations fortes entre les composants. Nous offrons des techniques efficaces pour calculer ces invariants. Nous proposons

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Ben, Hafaiedh Imane. "Systèmes à base de composants : du design à l'implémentation." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00573291.

Der volle Inhalt der Quelle

Annotation:

Dans cette thèse, nous nous sommes intéressés aux design, vérification et implémentation des systèmes à base de composants. Nous proposons d'abord une méthodologie de design et de vérification compositionelle et incrémentale à base de contrats pour les systèmes de composants. Nous proposons ensuite une implémentation distribuée qui permet de préserver certaines properiétés globales de ces systèmes. La méthodologie de design proposée utilise les contrats comme un moyen de contraindre, raffiner et d'implémenter les systèmes. Elle est basée sur un formalisme de contracts générique, que nous insta

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Al, Masri Nada. "Modèle d'Administration des Systèmes Distribués à Base de Composants." Phd thesis, INSA de Lyon, 2005. http://tel.archives-ouvertes.fr/tel-00474407.

Der volle Inhalt der Quelle

Annotation:

Component-Oriented Systems are increasingly evolving and being adopted by both industrial and academic worlds. They have resulted from the advances achieved in both software engineering and distributed systems. Component models such as JavaBeans, COM, CORBA were presented as reusable components that can be composed together to get a complete software. At the same time, advances in distributed systems lead to another type of component models such as EJB, DCOM and CCM that treat the distribution as their main objective. Platforms conforming to these models support a number of middleware services

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Youssef, Lilia. "Construction de systèmes répartis sécurisés à base de composants." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00721746.

Der volle Inhalt der Quelle

Annotation:

L'objectif de ce travail est de fournir des modèles et outils pour simplifier la construction des systèmes distribués à base de composants sécurisés, ainsi que la gestion des propriétés de sécurité, en utilisant des outils de haut niveau d'abstraction pour la configuration et la reconfiguration dynamique. En plus des propriétés d'accessibilité et de communications sécurisées classiques, nous focalisons notre travail sur une propriété des systèmes répartis plus générale : la non-interférence. Cette propriété atteste qu'il ne doit pas y avoir de flux d'information entre des parties publiques et

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Hamouche, Rédha. "Modélisation des systèmes embarqués à base de composants et d'aspects." Evry-Val d'Essonne, 2004. http://www.theses.fr/2004EVRY0015.

Der volle Inhalt der Quelle

Annotation:

Cette thèse s'inscrit dans le cadre de la définition d'une approche de modélisation qui permet de faire face à la complexité des systèmes embarqués, réduire leur temps de conception et couvrir différents domaines d'applications (Modèles de Traitement). Cette approche, appelée ModelJ, est basée sur le paradigme de composant et le paradigme d'aspect. Elle explore le potentiel de ces nouveaux paradigmes logiciels, apparus récemment, dans le cadre de la modélisation des systèmes embarqués. L'approche propose d'une part, un métamodèle indépendant de tout langage de modélisation, qui permet de fourn

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Skiba, Karima. "Modélisation de systèmes intégrés à base de composants électroniques virtuels." Grenoble INPG, 2002. http://www.theses.fr/2002INPG0088.

Der volle Inhalt der Quelle

Annotation:

Cette thèse s'est interessée à un paradigme récent à savoir la conception collaborative, autour de l'intranet, des systèmes intégrés fondée sur l'utilisation d'IPs. Elle s'est intéressée en particulier à la gestion de données de conception d'IPs et de leur transfert autour de l'intranet. Il s'agit donc de proposer des méthodologies et des outils permettant de décrire, de modéliser, de valider, et d'échanger des fichiers de conception et de validation à différents niveaux d'abstraction. La première difficulté liée à l'utilisation des IPs est leur qualification. Une partie de cette thèse a été c

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Renaux, Emmanuel. "Définition d'une démarche de conception de systèmes à base de composants." Lille 1, 2004. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/9f245270-7f66-4a80-842b-e1a2e267e31b.

Der volle Inhalt der Quelle

Annotation:

Ce travail s'inscrit dans le domaine du génie logiciel et traite de la conception d'applications distribuées à base de composants. La plupart des industriels utilise des technologies à base de composants telles que les environnements distribués Corba ou EJB. La notion de composants améliore la qualité du logiciel, c'est une unité de code robuste et éprouvée. Or, la conception d'applications grâce à des démarches de type Processus Unifié, ne garantit pas l'identification et donc la réutilisation de composants préfabriqués. En fait, l'identification, la réutilisation et la conception de composan

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Navas, Juan F. "Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels." Brest, 2011. http://www.theses.fr/2011BRES2013.

Der volle Inhalt der Quelle

Annotation:

Concernant la partie logicielle des systèmes embarqués, on constate le besoin d’un modèle de la structuration du logiciel qui facilite le processus de développement, la capacité de faire évoluer le comportement du système lors de son exécution, afin de s’adapter aux changements de son environnement, et la prise en compte des limitations des ressources physiques des plates-formes d’exécution. L’utilisation de composants logiciels est une approche de conception qui, via l'abstraction des détails techniques, facilite la gestion de la complexité du logiciel. La question que nous nous posons est :

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!