Relevant bibliographies by topics / Validation Protocols / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Validation Protocols.

Dissertations / Theses on the topic 'Validation Protocols'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

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 'Validation Protocols.'

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

Lu, Ching-sung. "Automated validation of communication protocols /." The Ohio State University, 1986. http://rave.ohiolink.edu/etdc/view?acc_num=osu148726702499786.

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

Petalidis, Nicholaos. "Modelling and validation of fieldbus protocols." Thesis, University of Brighton, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302286.

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

O'Shea, Nicholas. "Verification and validation of security protocol implementations." Thesis, University of Edinburgh, 2010. http://hdl.handle.net/1842/4753.

Full text
Abstract:
Security protocols are important and widely used because they enable secure communication to take place over insecure networks. Over the years numerous formal methods have been developed to assist protocol designers by analysing models of these protocols to determine their security properties. Beyond the design stage however, developers rarely employ formal methods when implementing security protocols. This may result in implementation flaws often leading to security breaches. This dissertation contributes to the study of security protocol analysis by advancing the emerging field of implementa
APA, Harvard, Vancouver, ISO, and other styles
4

Ono-Tesfaye, Theodore. "Simulation and probabilistic validation of communication protocols." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0008/NQ60010.pdf.

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

Ewanchyna, Theodore J. "Techniques for specification and validation of complex protocols." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq26014.pdf.

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

Rothlisberger, Matthew James. "A tool for automated validation of network protocols." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/24076.

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

Byun, Youngjoon. "Pattern-based design and validation of communication protocols." [Gainesville, Fla.] : University of Florida, 2003. http://purl.fcla.edu/fcla/etd/UFE0001253.

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

Tong, Darren Pong-Choi. "Implementation of a protocol validation and synthesis system." Thesis, University of British Columbia, 1985. http://hdl.handle.net/2429/25061.

Full text
Abstract:
VALISYN, an automated system for the validation and synthesis of error-free protocols has been implemented in C language. It assists designers in the detection and prevention of various kinds of potential design errors, such as state deadlocks, non-executable interactions, unspecified receptions and state ambiguities. The technique employed is a stepwise application of a set of production rules which guarantee complete reception capability. These rules are implemented in a tracking algorithm, which prevents the formation of non-executable interactions and unspecified receptions, and which mon
APA, Harvard, Vancouver, ISO, and other styles
9

Hui, Daniel Hang-Yan. "Protocol validation via reachability analysis : an implementation." Thesis, University of British Columbia, 1985. http://hdl.handle.net/2429/24689.

Full text
Abstract:
Reachability analysis is one of the earliest and most common techniques for protocol validation. It is well suited to checking the protocol syntactic properties since they are a direct consequence of the structure of the reachability tree. However, validations of unbounded protocols via reachability analysis always lead to the "state explosion" problem. To overcome this, a new approach in reachability analysis has been proposed by Vuong et al [Vuong 82a, 83a]. While not loosing any information on protocol syntactic properties, the Teachability tree constructed by the new approach for all non-F
APA, Harvard, Vancouver, ISO, and other styles
10

Saleh, Kassem Afif. "Synthesis methods for the design and validation of communication protocols." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7786.

Full text
Abstract:
Communication protocol design consists essentially of the construction of interacting protocol entities which cooperate to provide a set of specified services to the service users. Protocol validation or design verification is a pre-implementation phase in the protocol development process which is essential for the detection of design errors such as deadlocks and incompleteness (unspecified receptions). The conventional analytic approach to protocol design consists of iteratively specifying a protocol in an informal manner, then validating it by analytic methods and correcting it until it beco
APA, Harvard, Vancouver, ISO, and other styles
11

Dobler, Rodrigo Jaureguy. "FITT : fault injection test tool to validate safety communication protocols." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/143198.

Full text
Abstract:
Protocolos de comunicação seguros são essenciais em ambientes de automação industrial, onde falhas não detectadas na comunicação de dispositivos podem provocar danos irreparáveis à vida ou ao meio-ambiente. Esses protocolos seguros devem ser desenvolvidos de acordo com alguma norma de segurança, como a IEC 61508. Segundo ela, faz parte do processo de implementação destes protocolos, a escolha de técnicas adequadas de validação, entre elas a injeção de falhas, a qual deve considerar um modelo de falhas apropriado ao ambiente de operação do protocolo. Geralmente, esses ambientes são caracterizad
APA, Harvard, Vancouver, ISO, and other styles
12

Bouyoucef, Moufida. "Design analysis and validation of router-assisted reliable multicast protocols in wide area networks." Lyon 1, 2003. http://www.theses.fr/2003LYO10210.

Full text
Abstract:
Dans l'Internet, les communications multipoint (multicast) permettent l'échange de données entre plusieurs membres appartenant au même groupe. Le travail de cette thèse se situe au niveau transport où un certain nombre de problèmes sont abordés : la fiabilité, le contrôle de congestion et la prise en compte de l'hétérogénéité des récepteurs qui appartiennent au même groupe. La technologie des réseaux actifs a été exploitée pour permettre des solutions plus efficaces par rapport à celles qui adoptent des approches de bout en bout. La thèse contient des évaluations analytiques, des simulations a
APA, Harvard, Vancouver, ISO, and other styles
13

Li, Zheng. "A pattern-based approach to the specification and validation of web services interactions." Australasian Digital Thesis Program, 2007. http://adt.lib.swin.edu.au/public/adt-VSWT20070618.115228/index.html.

Full text
Abstract:
Thesis (MSc) - Swinburne University of Technology, Faculty of Information & Communication Technologies, 2006.<br>A thesis submitted to Faculty of Information and Communication Technologies, Swinburne University of Technology for the degree of Master of Science by Research, 2007. Typescript. Bibliography p. 107-112.
APA, Harvard, Vancouver, ISO, and other styles
14

Lainé, Audrey. "Conception and validation of non-conventional mechanical charaterization protocols specific to soft tissues for vascular application." Master's thesis, Université Laval, 2017. http://hdl.handle.net/20.500.11794/28169.

Full text
Abstract:
Les maladies cardiovasculaires représentent une des principales causes de décès dans le monde et différentes actions sont en place depuis des décennies pour comprendre les mécanismes d’action de ces maladies et leur impact sur le corps humain. Dans l’optique de venir en aide aux personnes souffrant de ces maladies, le génie tissulaire vasculaire émerge comme une technologie prometteuse afin de favoriser la régénération des tissus et des organes endommagés. Cependant, les modèles issus du génie tissulaire, en plus d’être biologiquement et chimiquement comparables au tissu natif, doivent égaleme
APA, Harvard, Vancouver, ISO, and other styles
15

Barnes, Calypso. "Vérification et validation de propriétés de protocoles pour réseaux de capteurs sans fil grâce au couplage de la simulation et de l’émulation et du système." Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR4047/document.

Full text
Abstract:
Les réseaux de capteurs sans fil sont un domaine en plein essor qui montre un potentiel intéressant pour de nombreuses applications. Pour qu’ils soient plus facilement adoptés par les industriels, il est nécessaire de démontrer que leur fonctionnement est fiable, et par conséquent de valider les protocoles utilisés par ces nœuds pour communiquer. Différentes méthodes de validation peuvent être utilisées, mais nous montrons qu’à ce jour, aucune de ces méthodes ne s’est avérée être idéale. Nous avons donc développé un nouvel outil de validation pour ces protocoles, un environnement de simulation
APA, Harvard, Vancouver, ISO, and other styles
16

Piva, Fabio Rogério 1982. "Addressing human factors in the design of cryptographic solutions = a two-case study in item validation and authentication." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275510.

Full text
Abstract:
Orientador: Ricardo Dahab<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-25T09:03:51Z (GMT). No. of bitstreams: 1 Piva_FabioRogerio_D.pdf: 7931626 bytes, checksum: 2a9d167e0a1fd625d636fd24d4c0028e (MD5) Previous issue date: 2014<br>Resumo: O projeto de soluções criptográficas seguras a partir de uma perspectiva puramente teórica não é suficiente para garantir seu sucesso em cenários realistas. Diversas vezes, as premissas sob as quais estas soluções são propostas não poderiam estar mais longe das necessidades do mundo r
APA, Harvard, Vancouver, ISO, and other styles
17

ARANHA, LUIS C. "Estudo dos parâmetros de estabilidade de travamento entre implante dentário e componente protético através do sistema cone Morse." reponame:Repositório Institucional do IPEN, 2014. http://repositorio.ipen.br:8080/xmlui/handle/123456789/24069.

Full text
Abstract:
Submitted by Claudinei Pracidelli (cpracide@ipen.br) on 2015-10-28T11:29:54Z No. of bitstreams: 0<br>Made available in DSpace on 2015-10-28T11:29:54Z (GMT). No. of bitstreams: 0<br>Tese (Doutorado em Tecnologia Nuclear)<br>IPEN/T<br>Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP
APA, Harvard, Vancouver, ISO, and other styles
18

ZORDAN, ROBERTA. "Implementation of NGS protocols for the diagnosis of rare genetic diseases and development of models for the validation of mutations." Doctoral thesis, Università degli studi di Padova, 2019. http://hdl.handle.net/11577/3427178.

Full text
Abstract:
Background. DNA sequencing is a field of evolving molecular biology. In the last decade, new generation sequencing technologies - known as Next Generation Sequencing (NGS) - have become increasingly common in clinical practice. These new technologies, by their characteristics, are completely revolutionized to the analysis of the human genome. Aim of the thesis. The aim of the thesis is to verify the applicability of the new generation sequencing methods (NGS). In this regard, the Illumina and Agilent different massively-parallel sequencing strategies were compared, which were adopted for the
APA, Harvard, Vancouver, ISO, and other styles
19

Lima, Maira Santilli de. "Validação de uma ferramenta de triagem para disfagia." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/5/5170/tde-01112018-110953/.

Full text
Abstract:
INTRODUÇÃO: A disfagia orofaríngea gera impacto negativo na qualidade de vida e saúde dos indivíduos que a possuem, aumentando também a taxa de morbidade e a necessidade de cuidados. A utilização de protocolos padronizados para a triagem da disfagia em serviços hospitalares auxilia o diagnóstico e tratamento precoce, reduzindo complicações clínicas, tempo de permanência e custos hospitalares. Essas ferramentas devem ser simples e apresentar alta sensibilidade quando comparadas aos exames objetivos de avaliação da deglutição. OBJETIVO: o objetivo do presente estudo foi realizar a validação de u
APA, Harvard, Vancouver, ISO, and other styles
20

Martinelli, Roberta Lopes de Castro. "Validação do protocolo de avaliação do frênulo da língua em bebês." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/25/25143/tde-17052016-150210/.

Full text
Abstract:
Este estudo teve por objetivo validar o Protocolo de avaliação do frênulo da língua em bebês. Para isso, a partir do cálculo amostral, foi aplicado o protocolo em 100 bebês saudáveis, nascidos a termo, com 30 dias de vida, em amamentação exclusiva. O processo de validação consistiu da análise da validade de conteúdo, de critério e de construto, bem como da confiabilidade, sensibilidade, especificidade, valor preditivo positivo e negativo. A validade de conteúdo foi realizada por três examinadores, por meio da classificação de cada item quanto à clareza e posterior aplicação do Índice de Valida
APA, Harvard, Vancouver, ISO, and other styles
21

Nguyen, Quoc The. "Protocols specification and validation for the movement of Grades 2 and 3 Bitstream data through the Virtual Channel Link Control layer of the return link of the CCSDS Principal Network (CPN)." Thesis, Virginia Tech, 1989. http://hdl.handle.net/10919/43293.

Full text
Abstract:
Specification of data communication protocols requirements requires a formal approach to ensure that the requirements are correctly and unambiguously specified. This research examines a proposed protocols specification for the movement of bitstream data through space segment by applying a formal definition technique known as the Language of Temporal Ordering System (LOTOS). Successful generation of the LOTOS specification to detail sequence of events and their internal structures in an implementation independent manner clarifies the requirements and provides a framework from which possible cas
APA, Harvard, Vancouver, ISO, and other styles
22

Castillo, Letícia Nunes Carreras Del. "Tradução, adaptação cultural e validação do Nonarthritic Hip Score para o Brasil." Universidade do Estado do Rio de Janeiro, 2011. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=4771.

Full text
Abstract:
Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro<br>A avaliação da qualidade de vida tem sido cada vez mais utilizada pelos profissionais da área de saúde para mensurar o impacto de doenças na vida dos pacientes, bem como para avaliar os resultados dos tratamentos realizados. O crescente interesse por protocolos de pesquisa clínica em doenças não degenerativas do quadril tem encontrado muitos obstáculos na avaliação objetiva de seus resultados, principalmente nos estudos de observação de novas intervenções terapêuticas, como a artroscopia. O Nonarthritic Hip Score
APA, Harvard, Vancouver, ISO, and other styles
23

Wibling, Oskar. "Ad hoc routing protocol validation." Licentiate thesis, Uppsala : Department of Information Technology, Uppsala university, 2005. http://www.it.uu.se/research/reports/lic/2005-004/.

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

Louis, Jean Michel. "Protocole de qualification d'un lyophilisateur." Paris 5, 1989. http://www.theses.fr/1989PA05P079.

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

Costa, Isabelle Katherinne Fernandes. "Valida??o de protocolo de assist?ncia para pessoas com ?lcera venosa na aten??o prim?ria." Universidade Federal do Rio Grande do Norte, 2013. http://repositorio.ufrn.br:8080/jspui/handle/123456789/14750.

Full text
Abstract:
Made available in DSpace on 2014-12-17T14:46:53Z (GMT). No. of bitstreams: 1 IsabelleKFC_TESE.pdf: 2724396 bytes, checksum: 3b262a5786188d2dec0fcd890fc26fd4 (MD5) Previous issue date: 2013-02-05<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>People with venous ulcers constitute as an important public health problem, its treatment is onerous and require assistance provided by trained professionals, systematized through protocols, however what lies in the assistance is that the management of this group of people differs from that preconized in the scientific literature, inte
APA, Harvard, Vancouver, ISO, and other styles
26

Dantas, Daniele Vieira. "Evid?ncias de valida??o de um protocolo para assist?ncia ?s pessoas com ?lceras venosas em servi?os de alta complexidade." Universidade Federal do Rio Grande do Norte, 2014. http://repositorio.ufrn.br:8080/jspui/handle/123456789/14772.

Full text
Abstract:
Made available in DSpace on 2014-12-17T14:46:56Z (GMT). No. of bitstreams: 1 DanieleVD_TESE.pdf: 4938953 bytes, checksum: ba81cf3eb020178b1818aa9393647bed (MD5) Previous issue date: 2014-06-06<br>Universidade Federal do Rio Grande do Norte<br>Venous ulcers are lesions resulting from chronic venous insufficiency, venous valvular abnormalities and venous thrombosis. Its occurrence has been growing with the increase in life expectancy of the world population. Considered as fundamental aspects in the approach to the person with venous ulcer care with the interdisciplinary approach, adoption of p
APA, Harvard, Vancouver, ISO, and other styles
27

Parel, Ilaria. "Validation and application of a shoulder ambulatory motion analysis protocol." Doctoral thesis, Università degli studi di Trieste, 2013. http://hdl.handle.net/10077/8530.

Full text
Abstract:
2011/2012<br>Le principali attività di ricerca svolte durante il dottorato hanno riguardano la validazione e caratterizzazione dell’applicabilità di un protocollo per l’analisi della cinematica di spalla in ambito clinico (ISEO - INAIL Shoulder and Elbow Outpatient protocol). Lo scopo principale era quello di creare uno strumento che fornisse al personale sanitario informazioni sulla performance motoria dei pazienti, supportando, con informazioni di tipo quantitativo, la valutazione ambulatoriale delle patologie della spalla. E’ possibile suddividere l’attività di ricerca in tre temi principal
APA, Harvard, Vancouver, ISO, and other styles
28

Bonet, d'Oléon Karen de. "Spécification et validation du protocole de communication KerNet+." Nantes, 1991. http://www.theses.fr/1991NANT2066.

Full text
Abstract:
L'objet du travail présenté ici consiste en la spécification complète d'un protocole de communication, appelé KerNet+, de la couche Application du modèle de référence normalisé par l'ISO pour l'Interconnexion des Systèmes Ouverts. Ce protocole introduit et définit un ensemble de services de communication, mis directement à la disposition des tâches utilisateur des sites communicants et conçus pour s'appliquer spécifiquement aux tâches de conduite et de pilotage en temps réel de procédés industriels continus et manufacturiers complexes. Les hypothèses adoptées pour spécifier le protocole KerNet
APA, Harvard, Vancouver, ISO, and other styles
29

Baala, Oumaya. "Protocole de validation en deux phases : algorithme généralisé." Paris 8, 1996. http://www.theses.fr/1996PA081044.

Full text
Abstract:
La conception des nouvelles applications s'appuie, de plus en plus sur le concept de travail cooperatif caracterise par l'autonomie des sites et l'evolution de la topologie d'execution. Cette classe d'application induit de nouveaux besoins en termes de protocoles de validation atomique tels l'adaptation a toute topologie, l'independance vis-a-vis de tout site particulier et une modularite adequate pour permettre l'evolution de la structure. En partant d'un algorithme asynchrone de detection de terminaison distribuee, nous presentons, d'abord, un algorithme de validation atomique qui s'adapte a
APA, Harvard, Vancouver, ISO, and other styles
30

Vieira, Conceicao Dario. "Design, validation and implementation of a novel session maintenance protocol." Evry, Institut National des Télécommunications, 2006. http://www.theses.fr/2006TELE0014.

Full text
Abstract:
Les fonctions fondamentales des protocoles de routage sont d'établir et de gérer une session entre deux hôtes et de la maintenir vivante autant que possible, même s'il n'y a pas d'échange des messages entre eux. En conséquence, deux hôtes devraient pouvoir communiquer à condition qu'il y ait un chemin entre eux dans le réseau. Afin d'assurer la connectivité, les protocoles de routage doivent offrir certaines fonctionnalités telles que la multi-session et le multi-homing. Néanmoins, ces protocoles ne satisfont pas leur fonction principale : maintenir une session réseau bidirectionnel sans erreu
APA, Harvard, Vancouver, ISO, and other styles
31

Rodriguez, Carlos Sifakis Joseph. "Spécification et validation de systèmes en Xesar /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00326427.

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

Grepet, Cyril. "Méthodologie pour la validation de protocoles de routage Ad hoc." Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0001.

Full text
Abstract:
De nouveaux types de réseaux sont apparus dont les réseaux Ad hoc qui sont spontanés, sans infrastructure et composés de mobile communiquant entre eux par le médium radio. Les réseaux mobiles sans-fil posent de nouvelles problématiques en termes de routage des informations. En effet, les protocoles filaires obtiennent de mauvaises performances dés que la mobilité est intoduite. De nombreux protocoles de routage Ad hoc ont été proposés. Nous pouvons les répartir en protocoles réactifs, proactifs et hybrides (combinant à différents degrés les deux premières classes). Ces nouveaux protocoles, la
APA, Harvard, Vancouver, ISO, and other styles
33

Cao, Yuting Cao. "Protocol Guided Trace Analysis for Post-Silicon Debug Under Limited Observability." Scholar Commons, 2016. http://scholarcommons.usf.edu/etd/6475.

Full text
Abstract:
This thesis considers the problem of reconstructing system level behavior of an SoC design from a partially observed signal trace. Solving this problem is a critical activity in post-silicon validation, and currently depends primarily on human creativity and insights. In this thesis, we provide algorithms to automatically infer system level flows from incomplete, ambiguous, and noisy trace data. This thesis also demonstrates the approach on two case studies, a multicore SoC model developed within the within the GEM5 environment, and a cycle accurate register transfer level model of a similar S
APA, Harvard, Vancouver, ISO, and other styles
34

Li, Zheng, and n/a. "A pattern-based approach to the specification and validation of web services interactions." Swinburne University of Technology, 2007. http://adt.lib.swin.edu.au./public/adt-VSWT20070618.115228.

Full text
Abstract:
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ensure that the services can work together towards the overall application goals. In particular, the interaction protocols of a service need to be implemented and used properly so that the service composition can conduct itself in an orderly fashion. There have been significant research efforts in providing rich descriptions for Web services, which includes their behaviour properties. When describing the interaction proc
APA, Harvard, Vancouver, ISO, and other styles
35

Triquet, Nathalie. "Methode de validation de systemes d'automates communicants avec accumulation d'evenements." Paris 7, 1987. http://www.theses.fr/1987PA077168.

Full text
Abstract:
Validation et analyse d'un protocole de communication modelise par des automates communicants sur le produit synchronise filtre d'automates (la particularite de la communication entre automates etant le filtrage des evenements)
APA, Harvard, Vancouver, ISO, and other styles
36

Mesnard, Michel. "Elaboration et validation d'un protocole de caractérisation de l'articulation temporo-mandibulaire." Bordeaux 1, 2005. http://www.theses.fr/2005BOR13130.

Full text
Abstract:
La conception d'une prothèse articulaire, selon une démarche de conception de produit industriel, impose tout d'abord de modéliser l'articulation. Cette modélisation prend appui sur les résultats expérimentaux élaborés dans une phase de caractérisation de la liaison naturelle. Après une présentation de la place de l'implant dans la reconstruction de l'articulation temporo-mandibulaire humaines (ATM), la méthode d'analyse de la valeur assemble des critères dans une perspective de conception. Cette approche innovante dégage les directions d'investigation et les techniques associées : - cinématiq
APA, Harvard, Vancouver, ISO, and other styles
37

Saqui-Sannes, Pierre de. "Prototypage d'un environnement de validation de protocoles : application à l'approche ESTELLE." Toulouse 3, 1990. http://www.theses.fr/1990TOU30109.

Full text
Abstract:
La detection au plus tot des erreurs de conception d'un systeme reparti repose en particulier sur la validation des protocoles qui regissent la communication et la synchronisation. Les travaux presentes dans ce memoire portent sur la technique de description formelle estelle normalisee a l'iso et sur le prototypage d'un environnement de validation de protocoles decrits au moyen de cette technique. Deux propositions d'extensions renforcent le pouvoir d'estelle tant du point de vue de l'expression des comportements paralleles que de la description des structures de donnees echangees par des proc
APA, Harvard, Vancouver, ISO, and other styles
38

Hart, Neil Darren. "Protocol validation and implementation: A design methodology using LOTOS and ROOM." Thesis, University of Ottawa (Canada), 1999. http://hdl.handle.net/10393/8614.

Full text
Abstract:
Formal methods have been proposed as a means of expediting the creation of reliable software. The use of formal methods allows for clear and unequivocal specification of a system's design, and makes possible a form of prototyping that allows for formal validation against system requirements. However, the adoption of formal methods by industry has so far been slow. It is proposed that one of the obstacles to the adoption of formal methods is the difficulty of bridging the gap between a formally-specified system and a working implementation. If this gap is too wide, the advantages of formal spec
APA, Harvard, Vancouver, ISO, and other styles
39

Tasak, Dariusz. "Specification and validation of Q.2931 ATM signaling protocol using Estelle." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape16/PQDD_0005/MQ37170.pdf.

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

Hart, Neil. "Protocol validation and implementation, a design methodology using LOTOS and ROOM." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0005/MQ45226.pdf.

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

Rodriguez, Carlos. "Spécification et validation de systèmes en Xesar." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00326427.

Full text
Abstract:
Étude de méthodes de spécification et vérification des protocoles de communication. La méthode de vérification mise en œuvre consiste a évaluer les spécifications du protocole sur un modèle fini qui le représente. Le langage de spécification est basé sur un mu calcul permettant l'expression aussi bien de comportements que de propriétés
APA, Harvard, Vancouver, ISO, and other styles
42

Benslimane, Abderrahim. "Contribution à la validation des protocoles : réduction de l'espace d'états et décidabilité du caractère borné." Besançon, 1993. http://www.theses.fr/1993BESA2030.

Full text
Abstract:
La validation est une phase importante dans le cycle de developpement des protocoles de communication. Cette activite est du ressort du genie logiciel. Elle est frequemment effectuee par une analyse d'accessibilite. Lorsque les protocoles sont specifies par des automates, communiquant par des files fifo, le probleme crucial qui surgit est l'explosion combinatoire de l'espace d'etats. Notre travail est centre, du point de vue theorique, sur la reduction et la decidabilite de la finitude de l'espace d'etats, et, du point de vue pratique, sur la conception d'un logiciel de validation. Pour reduir
APA, Harvard, Vancouver, ISO, and other styles
43

LEÃO, Iberê Caldas Souza. "Validação e aplicação de um protocolo do nível de conhecimento tático declarativo no handebol." Universidade Federal de Pernambuco, 2015. https://repositorio.ufpe.br/handle/123456789/16249.

Full text
Abstract:
Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-03-31T18:01:24Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE COMPLETA IBERÊ CALDAS.pdf: 2229035 bytes, checksum: 6893c82d288d450f92682b2f5ad12880 (MD5)<br>Made available in DSpace on 2016-03-31T18:01:24Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE COMPLETA IBERÊ CALDAS.pdf: 2229035 bytes, checksum: 6893c82d288d450f92682b2f5ad12880 (MD5) Previous issue date: 2015-05-08<br>Protocolos têm sido construídos com a
APA, Harvard, Vancouver, ISO, and other styles
44

Marie, Solène. "Imagerie translationnelle pour la mise en évidence des répercussions pharmacocinétiques des transporteurs de médicaments Imaging Probes and Modalities for the Study of Solute Carrier O (SLCO)-Transport Function In Vivo Validation of Pharmacological Protocols for Targeted Inhibition of Canalicular MRP2 Activity in Hepatocytes Using [99mTc]mebrofenin Imaging in Rats." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASQ004.

Full text
Abstract:
La distribution des médicaments du sang vers les tissus, où ils exercent leurs effets pharmacologiques et/ou toxiques, implique souvent des transporteurs qui régulent leur passage membranaire. Les transporteurs Organic Anion-Transporting Polypeptide (OATP), avec d’autres systèmes de transporteurs hépatocytaires, participent à l’élimination hépatique de nombreux médicaments. Certains OATPs ont été retrouvés dans d’autres organes où leurs répercussions pharmacocinétiques restent mal connues.L’objectif de ce travail a été de développer des approches d’imagerie originales permettant de mesurer sél
APA, Harvard, Vancouver, ISO, and other styles
45

Mercier, Pascale. "Validation d'un protocole d'intervention dyadique auprès de mères d'enfants prématurés : projet-pilote." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq33716.pdf.

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

Dakroury, Yasser. "Spécification et validation d'un protocole de messagerie multi-serveur pour l'environnement MMS." Nantes, 1990. http://www.theses.fr/1990NANT2041.

Full text
Abstract:
On présente un nouveau concept pour l’implémentation du protocole MMS: le protocole de multi-serveur. De sa définition, le protocole multi-serveur MMS envisage une coopération possible entre plusieurs serveurs MMS pour exécuter un service demandé par l'utilisateur client. Ce protocole de multi-serveur nécessite la définition d'un nouveau type d'objet, c'est-à-dire l'objet reparti. Une architecture générale a été introduite pour présenter les interactions possibles entre l'utilisateur client et les serveurs, dits principal et secondaire(s). Cette architecture repose sur le fait que l'objet est
APA, Harvard, Vancouver, ISO, and other styles
47

Hajjeh, Ibrahim. "Sécurité des échanges. Conception et validation d'un nouveau protocole pour la sécurisation des échanges." Phd thesis, Télécom ParisTech, 2004. http://pastel.archives-ouvertes.fr/pastel-00001168.

Full text
Abstract:
De nombreux mécanismes de sécurité ont été proposés pour les réseaux fixes et mobiles. Bien que ces mécanismes aient pu répondre à un ensemble d'exigences de sécurité, ils demeurent uniquement efficaces dans un contexte spécifique lié aux hypothèses et aux exigences restrictives qui ont été émises lors de la conception. Dans un premier temps, nous définissons une liste d'exigences en sécurité qui permet d'analyser les solutions de sécurité les plus déployées. Dans un second temps, nous proposons d'étendre le protocole SSL/TLS avec de nouveaux services. SSL/TLS est une solution de sécurité géné
APA, Harvard, Vancouver, ISO, and other styles
48

Noles, James, and Gree Melvin De. "Advanced Orbiting Systems Test-Bedding and Protocol Verification." International Foundation for Telemetering, 1989. http://hdl.handle.net/10150/614723.

Full text
Abstract:
International Telemetering Conference Proceedings / October 30-November 02, 1989 / Town & Country Hotel & Convention Center, San Diego, California<br>The Consultative Committee for Space Data Systems (CCSDS) is developing a set of communications protocols for Advanced Orbiting Systems (AOS). The National Aeronautics and Space Administration (NASA) and the European Space Agency (ESA) are cooperating in an effort to extensively validate these AOS protocols. This paper describes the techniques and facilities being used to perform this validation. Validation of the AOS protocols consists of (1) de
APA, Harvard, Vancouver, ISO, and other styles
49

Cousin, Bernard. "Methodologie de validation des systemes structures en couches par reseaux de petri : application au protocole transport." Paris 6, 1987. http://www.theses.fr/1987PA066322.

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

Heitz, Layne. "The Validation of a Short-cycle Formative Assessment Observation Protocol for Science and Mathematics Instruction." Thesis, University of North Texas, 2013. https://digital.library.unt.edu/ark:/67531/metadc407820/.

Full text
Abstract:
Over the years, teachers, administrators, and policy makers have been concerned with optimizing learning for all students. The No Child Left Behind Act put an emphasis on summative assessments, which measure what students have learned. In contrast, formative assessment has been shown in many studies to improve student achievement and motivation because it is applied while students are learning. The purpose of this study was to investigate, for middle and high school mathematics and science instruction, the validity and reliability of a newly developed observation instrument called AssessToday
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Validation Protocols' for other source types:
Journal articles Books
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!

To the bibliography