Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 45 for “"Maude"”.
-
Maude-PSL: a new input language for Maude-NPA
DSpace SAF Submission Ingestion Package generated from Vireo submission #8115 on 2015-07-22 at 10:34:04
-
Extending the language and applications of Maude-NPA through rewriting semantics
… undecidable; however it can often be automated. Maude-NPA is a special-purpose tool for verifying cryptographic protocols. Based on rewriting logic, Maude-NPA performs backward symbolic model checking on the unbounded session model, considering user defined signature and a wide range of …
-
Freedom and authority in Church and society: Maude Dominica Petre 1863-1942
Maude Petre is a somewhat neglected figure mentioned today chiefly in regard to her association with the Catholic Modernist, George Tyrrell. The aim of the thesis will be to strive to retrieve her from this neglect by showing that she was a significant figure in her own right with a substantial …
-
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
… framework for formally modeling DTSs in Maude, explain how such models can be automatically instrumented to record relevant events during a run, formally define a wide range of consistency properties on such histories of events, and implement a tool which fully automates the entire …
-
Nelson Oppen combination as a rewrite theory
… logic theory. We implement this algorithm in the Maude System and instantiate it with the theories of real and integer matrices to demonstrate its use in automated theorem proving, and with hereditarily finite sets with reals to show its use with non-convex theories. This is done using both SMT …
-
Decision Procedures for Equationally Based Reasoning
… order-sorted unification procedures use in the Maude-NRL protocol analyzer [49].
-
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
… software services, based on rewriting logic, the Maude system, and the theory of Orc, with the overall goal of improving the reliability of Internet software. The dissertation focuses on the formal specification and analysis of two fundamentally important aspects of Internet software systems: (1) …
-
A rewriting approach to concurrent programming language design and semantics
… graph rewriting; and (4) a description of the K-Maude tool, a tool for defining programming languages using the K technique on top of the Maude rewriting language.
-
Formal patterns for medical device safety
… patterns: (i) we formally define them in the Maude rewriting logic framework; (ii) we show their correctness by rigorously proving the required properties based on their rewriting logic specification; and (iii) we also show practicality of each pattern with execution, model checking, and …
-
Security models in rewriting logic for cryptographic protocols and browsers
… We adopt a symbolic approach and use the Maude-NPA cryptographic protocol analysis tool, which has extended unification capabilities modulo theories based on the new narrowing strategy we developed. We present case studies showing that appropriate protocols can be analyzed so that either …
-
Generative Chatbot Framework for Cybergrooming Prevention
… from the used datasets in perplexity and MaUde scores.
-
Archiving the "Sweet" Candy-Loving Matinee Girl: Fashion, Confectionaries, and Fan Scrapbooking in Urban American Culture, 1880-1915
… art created by fans of matinee idol sensation, Maude Adams. Finally, I draw on the idea of place to understand how girls have been, both then and now, active producers of culture. From making noise to being actively present in public, the matinee girl, in particular, has helped to cultivate a …
-
Geology of the central Moresby Island region, Queen Charlotte Islands, (Haida Gwaii) British Columbia
… Middle Jurassic marine sedimentary rocks of the Maude Group, present elsewhere in the Queen Charlotte Islands, are absent in central Moresby Island. Oldest rocks of the clastic Longarm Formation in central Moresby Island are of Hauterivian age, and the conformably overlying Queen Charlotte Group …
-
A modular rewriting approach to language design, evolution and analysis
… tasks checked using the CPF semantics in Maude.
-
Enhancing safety in telerobotic surgery via haptic feedback
… investigating the adverse events reported to FDA MAUDE database and intending to expose the failure cases of the robotic system to the surgeons during the training phase, a fault injection engine is considered to reproduce the adverse events and use the first framework developed to let the surgeon …
-
Une réforme fiscale pour lutter contre les changements climatiques sur le territoire canadien
L’économie circulaire se présente comme une alternative au système économique linéaire, qui encourage la consommation de masse, notamment grâce à ses stratégies plus respectueuses de l’environnement et qui visent l’amélioration des performances économiques et sociales. Toutefois, les stratégies de …
-
Creating Imaginary Worlds on the Page and in the Mind
This PhD by published works explores world-building in the light of the author’s writing practice, which has been informed by his own neurodivergence in general and his aphantasia in particular. It has also been informed by Wolfgang Iser’s phenomenological exploration of the reading process. The …
-
The classification of conics in modular geometries
Thesis (M.A.)--University of Kansas, Mathematics, 1927.
-
The performativity of multicultural discourses: youth, conflict and contradictions
The Rainbow Nation discourse in South Africa is meant to create a liberatory myth that unites the nation in its cultural and racial differences. However, discourses of multiculturalism are translated, as well as performed, differently within and between various levels of society. The thesis looks …
Page 1 of 3