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 130 for “"Formal analysis"”.
-
Formal Analysis and Design for Engineering Security
… software security properties. The use of formal methods that are based on mathematical models has long been advocated in the development of secure systems, yet the promise of formal methods has not been realized. This is due to the additional discipline needed to formulate precisely the …
-
A Formal Analysis of Cahokia Ceramics: Powell Tract
Made available in DSpace on 2014-12-09T18:41:14Z (GMT). No. of bitstreams: 1 7000942.pdf: 12782779 bytes, checksum: 533d0bfa2cf1ca92dffe2ffe2e251e83 (MD5) Previous issue date: 1969
-
Formal Analysis and Synthesis of Bilateral Switching Networks
Made available in DSpace on 2014-12-04T21:02:57Z (GMT). No. of bitstreams: 1 0023357.pdf: 3201443 bytes, checksum: a2f79d0982eb99ba263333057acfa268 (MD5) Previous issue date: 1957
-
A system of formal analysis for architectural composition
Thesis. 1976. M.ArchAS--Massachusetts Institute of Technology. Dept. of Architecture.
-
Formal analysis of a five element psychophysiological structure
Formal analysis of a five-element psychophysiological structure was performed using an interval bisection task. Within a ten second interval, records were obtained of lateral eye movements and the bisection response on each of ten trials. The formal analysis indicated that: 1. The variables of …
-
Formal analysis of state estimation for nonlinear model predictive control
… study is to carry out a closed-loop performance analysis of state estimation methods when implemented in the formulation of nonlinear model predictive control. The analysis is facilitated by two nonlinear optimal state estimation methods: augmented state EKF (ASEKF) and augmented state UKF …
-
"Neither Believer nor Infidel" Dialogic Portraits of Agnostic and Pragmatic Methodologies in Moby-Dick and Clarel
… scholarship carefully analyzes the innovative formal techniques used by Melville, such as biblical allusion, digressive essays, and philosophical musings imbedded in fiction. However, religious analysis often turns to biographical interpretations of Melville’s own beliefs, and formal analysis …
-
COMPREHENSIVE ANALYSIS OF MOVEMENT ONE OF JENNIFER HIGDON’S VIOLIN CONCERTO
… yet engaging. The thesis will then provide a formal analysis of the complete work, noting key elements of each movement and notable connections between the three movements. A formal analysis of the first movement will then be provided. Following these formal analyses, a discussion of pitch …
-
A formal semantics of P4 and applications
… bugs can have catastrophic consequences, yet formal analysis tools for P4 programs and networks are missing. We argue that formal analysis tools must be based on a formal semantics of the target language, rather than on its informal specification. To this end, we provide an executable formal …
-
Security models in rewriting logic for cryptographic protocols and browsers
… (ii) by developing a methodology that creates a formal model of a web browser and analyzes that model. We showcase this on the graphical user interface of both Internet Explorer and the Illinois Browser Operating System (IBOS) web browsers. Internal security aspects are addressed in the IBOS …
-
The analysis of cryptographic APIs using the theorem prover Otter
… attacks. Taking a cue from previous work on the formal analysis of security protocols and noting these attacks' independence from precise cryptographic mechanisms, we model APIs opaquely, purely according to specifications. We use a theorem prover tool and adapt it to the security API context. …
-
Frost, for jazz orchestra : exploring new conceptual, harmonic, formal, and timbral approaches to jazz composition
The following text is a conceptual and formal analysis of a new jazz orchestra work premiered by the University of Texas Jazz Orchestra on April 13, 2019. The piece, Frost, explores new conceptual and structural devices inspired by the works and writings of various 20th century and contemporary …
-
A Formal Method to Analyze Framework-Based Software
… tractable. Specifically, by choosing meaningful, formal abstractions for interfaces and then designing according to those interfaces, one can verify entire systems according to behavioral predicates. While impractical for systems in general, framework-based software architectures are a type of …
-
Practical artificial commonsense
… philosophical underpinnings and working through formal models, object oriented design and implementation, I revisit prevailing assumptions with a pragmatic focus on the goals of constructing effective, efficient, affordable and real commonsense reasoning systems. I begin with a formal …
-
Extended family housing: On suture in the formal and social construction of housing
… precipitate new morphologies in urban form. A formal analysis of commercial development in the residential area of Montrose shows the mixed fabric of the city, both in scale and type. This analysis is the basis of an alternate strategy of suture in the development of the block in the fabric of …
-
Η ΚΟΙΝΩΝΙΚΗ ΣΗΜΑΣΙΑ ΤΟΥ ΔΗΜΟΤΙΚΟΥ ΤΡΑΓΟΥΔΙΟΥ ΣΤΟΥΣ ΠΡΟΣΦΥΓΕΣ ΤΗΣ ΚΥΠΡΟΥ. ΕΘΝΟΜΟΥΣΙΚΟΛΟΓΙΚΗ ΠΡΟΣΕΓΓΙΣΗ
… INVASION IN 1974). THE AIMS ARE TWOFOLD: A) FORMAL ANALYSIS OF THE MUSIC ITSELF AND B) ANTHROPOLOGICAL ANALYSIS OF THE COLLECTED MATERIALS. THE WORK IS PRESENTED IN TWO PARTS; THE FIRST, WHICH IS A HISTORICAL-MUSICOLOGICAL STUDY OF THE FOLK MUSIC AND THE REGION OF THE RESEARCH UNTIL 1974 AND …
Page 1 of 7