Thesis (M.A.P.S.)--Catholic Theological Union at Chicago, 2001. / Vita. "[A] method for education for a high school or college age service trip with the backdrop of an experience in Appalachia."--P. 3. Includes bibliographical references (leaf [90]).

Thesis (M.A.P.S.)--Catholic Theological Union at Chicago, 2001. / Vita. "[A] method for education for a high school or college age service trip with the backdrop of an experience in Appalachia."--P. 3. This is an electronic reproduction of TREN, #033-0579. Includes bibliographical references (leaf [90]).

Thesis (M.A.P.S.)--Catholic Theological Union at Chicago, 2001. / Vita. "[A] method for education for a high school or college age service trip with the backdrop of an experience in Appalachia."--P. 3. This is an electronic reproduction of TREN, #033-0579. Includes bibliographical references (leaf [90]).

The first part of the thesis is focused on he theoretical knowledge needed for a high-quality elaboration of business plan. The second part of this work is focused on the creation of a business project in the area of recreational (holiday) accommodation - offering of the cottage, which can be used in both summer and winter season. The main aim of my thesis is to create a high-quality business plan. I believe, that my business project will be successful business start in the area of holiday accomodation.

Nous proposons dans notre thèse une nouvelle méthodologie pour le développement des protocoles de communication et des applications réparties en explorant une approche de synthèse automatisée. Après avoir effectué un état de l'art sur les techniques de synthèse de protocoles, nous présentons, dans la première partie de la thèse, une nouvelle méthode de synthèse automatique de spécifications de protocoles à partir de spécifications de services dans un modèle de réseaux de Petri interprétés. Notre approche de synthèse est basée sur un nouveau concept de raffinement de réseaux de Petri qui assure la correction des protocoles construits de façon incrémentale. L'intérêt principal de cette méthode par rapport aux techniques classiques basées sur l'analyse est qu'elle évite la phase supplémentaire de validation du protocole qui passe souvent par une analyse exhaustive dont le problème fondamental est l'explosion combinatoire. De plus, le coût de construction des protocoles est considérablement diminué. Partant d'une description de service, notre technique de synthèse permet de dériver automatiquement au niveau protocole l'ensemble des fonctionnalités suivantes: (1) traitements répartis, (2) flot de contrôle, (3) flot de données, (4) contrôle de la cohérence des données, (5) et choix distribué. Elle constitue, de ce fait, un "bon" compromis entre le pouvoir de synthèse et le pouvoir d'expression des services relativement aux techniques existantes. Dans la deuxième partie de la thèse nous présentons une application réelle de notre méthode de synthèse à la conception du protocole de transport ISO de base (ISO 8073), le point de départ de la conception étant la spécification du service de transport ISO 8072. Dans la troisième partie de la thèse, nous présentons un ensemble d'outils logiciels pour la synthèse automatique de protocoles que nous appelons STEPS (Software Toolset for automatEd Protocol Synthesis). Nous avons développé cet ensemble d'outils afin de démontrer l'utilité et la faisabilité de l'approche de synthèse que nous proposons. La sémantique de notre modèle de spécification étant assez proche de celle du langage Estelle, nous proposons une extension de notre démarche pour la synthèse de spécifications de protocoles dans le langage Estelle. L'intérêt est que ces spécifications peuvent être directement exploitées par des outils existants afin de générer automatiquement du code exécutable ou d'effectuer des simulations et des évaluations de performances.

Submitted by Daniele Amaral (daniee_ni@hotmail.com) on 2016-10-03T19:31:10Z No. of bitstreams: 1 DissFHFM.pdf: 5748298 bytes, checksum: d57e4d617ea74342f31ff21aef4eb98b (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-10T17:27:52Z (GMT) No. of bitstreams: 1 DissFHFM.pdf: 5748298 bytes, checksum: d57e4d617ea74342f31ff21aef4eb98b (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-10T17:27:59Z (GMT) No. of bitstreams: 1 DissFHFM.pdf: 5748298 bytes, checksum: d57e4d617ea74342f31ff21aef4eb98b (MD5) / Made available in DSpace on 2016-10-10T17:28:10Z (GMT). No. of bitstreams: 1 DissFHFM.pdf: 5748298 bytes, checksum: d57e4d617ea74342f31ff21aef4eb98b (MD5) Previous issue date: 2016-03-03 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Service-based communication is becoming increasingly relevant, as seen in the Internet of Things scenarios. Choosing an adequate service however can be a difficult task, as this form of communication may involve sensible resources and data. A trustworthy, safe, and privacy preserving mechanism is desirable for service selection. Reputation systems can help in this selection. This thesis presents a reputation system for service selection based on the security and privacy mechanisms of crypto-coins. In order to evaluate the performance of the proposed mechanism in the identification of low quality service providers we also investigated the use of different formulations used to determine a reputation based on peer voting. Results from simulation show the proposed system architecture is viable and supports large adoption via a scalable infrastructure. The performance analysis of different formulations for the calculus of reputations also shows that the recent behavior of an entity is the most impacting factor in establishing its reputation. / A comunicação por meio de serviços tem se tornado cada vez mais relevante, como em cenários da Internet das Coisas. A escolha entre serviços, contudo, pode ser uma tarefa difícil, já que essa forma de comunicação pode envolver recursos e dados sensíveis. Assim, é preciso um sistema de seleção de serviços que seja confiável, seguro e privado, garantindo que as expectativas dos utilizadores dos serviços sejam alcançadas. Sistemas de reputação podem ajudar nessa seleção. Assim, este trabalho apresenta um sistema de reputação distribuído para avaliação de interações baseadas em serviços utilizando conceitos da arquitetura de sistemas das cripto moedas. Para avaliar o desempenho na detecção de serviços de baixa qualidade utilizando o mecanismo proposto, apresenta-se também um estudo do comportamento de diferentes formulações para o cálculo de reputações. Resultados obtidos via simulação mostram que a arquitetura do sistema de reputação proposto é viável e permite uma ampla adoção com uma infraestrutura escalável. A análise do comportamento das formulações também permite concluir que o histórico recente do comportamento dos elementos avaliados é o fator que mais influencia na qualificação dos dispositivos.

Depuis plusieurs années, on observe une multiplication des services de communication en temps réel de type Over-The-Top (OTT). Ces solutions utilisent l¿Internet « best-effort » et s¿adaptent aux fluctuations du réseau. Néanmoins, il est discutable que l¿approche OTT soit suffisante pour fournir une qualité de service de communication acceptable quelles que soient les conditions réseaux. Dès lors, est-il possible d¿utiliser l¿assistance réseau pour améliorer la qualité de service des solutions OTT ?Pour traiter cette question, nous étudions tout d¿abord les solutions OTT, et particulièrement la technologie WebRTC. Nous identifions trois stratégies de couplage lâche qui permettent de tirer parti des mécanismes réseaux pour améliorer la qualité de service des solutions OTT.Nous vérifions la pertinence de ces stratégies dans le contexte de la gestion du trafic. On identifie deux approches de gestion du trafic adaptées à WebRTC : 1) qui assure des délais d¿attente courts quel que soit le trafic ou 2) qui isole le trafic sensible. On évalue ces solutions et leur impact sur WebRTC, pour les réseaux d¿accès filaire (uplink, ADSL et fibre). Les résultats obtenus montrent que les pratiques actuelles de gestion du trafic ne sont pas adaptées au trafic WebRTC. De plus, les solutions proposées assurent plus d¿équité entre le trafic WebRTC et TCP et elles permettent d¿éviter que le trafic WebRTC soit désavantagé et elles améliorent la qualité de communication.Enfin, ces solutions de la gestion du trafic sont positionnées dans le contexte des stratégies de couplage proposées. A partir de là, on fournit des recommandations pour améliorer la qualité WebRTC avec l¿assistance du NSP. / The number of real-time Over-The-Top (OTT) communication services has increased in the recent years. OTT solutions use the best-effort Internet delivery and rely on mechanisms built into the endpoints to adapt to underlying network fluctuations. Nevertheless, it is questionable if this approach is enough to provide acceptable quality of communication regardless the network conditions. Therefore, can network assistance be used to improve the quality of OTT real-time communication services?To address this question, we study OTT solutions with a focus on WebRTC. We identify three loose coupling strategies that leverage network mechanisms for improving OTT communication services quality.We verify the pertinence of these coupling strategies in the context of traffic management. We identify two approaches of traffic management solutions adapted to WebRTC traffic: 1) aiming at assuring lower queuing delays regardless the traffic or 2) isolating the sensitive traffic. We study the impact of identified traffic management solutions on WebRTC for wireline access networks (uplink, ADSL and fiber). The obtained results show that current Internet engineering practices are not well adapted to the WebRTC traffic, but are optimized for TCP traffic. Furthermore, the proposed solutions ensure more fairness between WebRTC and TCP flows and consequently enable avoiding WebRTC traffic starvation and improve the overall quality of the communication.In the final analysis, the evaluated traffic management solutions are positioned in the context of identified coupling strategies. Based on this assessment, we provide recommendations of improving WebRTC quality with the assistance of NSP.

S rostoucím počtem řídicích systémů a jejich distribuovanosti získávájí komunikační sítě na důležitosti a objevují se nové výzkumné trendy. Hlavní problematikou v této oblasti, narozdíl od dřívějších řídicích systémů využívajících dedikovaných komunikačních obvodů, je časově proměnné zpoždění měřicích a řídicích signálů způsobené paketově orientovanými komunikačními prostředky, jako např. Ethernet. Aspekty komunikace v reálném čase byly v těchto sítích již úspěšně vyřešeny. Nicméně, analýzy trendů trhu předpovídají budoucí využití také IP sítí v průmyslové komunikaci pro časově kritickou procesní vyměnu dat. IP komunikace má ovšem pouze omezenou podporu v instrumentaci pro průmyslovou automatizace. Tato výzva byla nedávno technicky vyřešena v rámci projektu Virtual Automation Networks (virtuální automatizační sítě - VAN) zapojením mechanismů kvality služeb (QoS), které jsou schopny zajistit měkkou úroveň komunikace v reálném čase. Předložená dizertační práce se zaměřuje na aspekty výkonnosti reálného času z analytického hlediska a nabízí prostředek pro hodnocení využitelnosti IP komunikace pro budoucí průmyslové aplikace. Hlavním cílem této dizertační práce je vytvoření vhodného modelovacího rámce založeného na network calculus, který pomůže provést worst-case výkonnostní analýzu časového chování IP komunikačních sítí a jejich prvků určených pro budoucí použití v průmyslové automatizaci. V práci byla použita empirická analýza pro určení dominantních faktorů ovlivňujících časového chování síťových zařízení a identifikaci parametrů modelů těchto zařízení. Empirická analýza využívá nástroj TestQoS vyvinutý pro tyto účely. Byla navržena drobná rozšíření rámce network calculus, která byla nutná pro modelování časového chování používaných zařízení. Bylo vytvořeno několik typových modelů zařízení jako výsledek klasifikace různých architektur síťových zařízení a empiricky zjištěných dominantních faktorů. U modelovaných zařízení byla využita nová metoda identifikace parametrů. Práce je zakončena validací časových modelů dvou síťových zařízení (přepínače a směrovače) oproti empirickým pozorováním.

The diploma thesis is focused on customers satisfaction research with provided services. The goal is to find out, evaluate and determine of such steps, which will bring increasing of satisfaction in future. The theoretical part focuses on the explanation of concepts, problems in marketing research and marketing of services. The second part includes questionnaires and data evaluation procedures.