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 30 for “"Formal Modeling"”.
-
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
… systems. In this dissertation, we develop formal specification, simulation, prototyping, and formal analysis techniques and tools for distributed software services, based on rewriting logic, the Maude system, and the theory of Orc, with the overall goal of improving the reliability of …
-
Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
Formally-based design and implementation techniques for complex safety-critical embedded systems are required not only to handle the complexity, but also to provide correctness guarantees. Traditional design approaches struggle to cope with complexity, and they generally require extensive testing …
-
Structural analysis and control of flexible manufacturing systems with a performance perspective
… This, in turn, necessitates the development of formal modeling approaches for the rigorous analysis and design of such systems.
-
Integrative Modeling, Simulation, and Optimization Techniques for Efficient Data-Intensive Applications in Edge Computing Infrastructures
… analysis of the scenario to be successful. Modeling and simulation-based systems engineering (MSBSE) applies advanced Modeling and Simulation (M&S) techniques to ensure a logical, robust, and reliable incremental design, allowing the technical risks of the system to be assessed while …
-
On the nature and origin of intuitive theories : learning, physics and psychology
This thesis develops formal computational models of intuitive theories, in particular intuitive physics and intuitive psychology, which form the basis of commonsense reasoning. The overarching formal framework is that of hierarchical Bayesian models, which see the mind as having domain-specific …
-
Incremental Validation of Formal Specifications
… presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation …
-
Modeling Narrative Discourse
This thesis describes new approaches to the formal modeling of narrative discourse. Although narratives of all kinds are ubiquitous in daily life, contemporary text processing techniques typically do not leverage the aspects that separate narrative from expository discourse. We describe two …
-
The articulatory basis of positional asymmetries in phonological acquisition
… typology have long posed a problem for formal modeling of phonological acquisition. This dissertation investigates child-specific processes with a focus on the phenomenon of neutralization in strong position, whereby children preferentially neutralize phonemic contrast in precisely those …
-
A Framework for Executable Systems Modeling
<p>Systems Modeling Language (SysML), like its parent language, the Unified Modeling Language (UML), consists of a number of independently derived model languages (i.e. state charts, activity models etc.) which have been co-opted into a single modeling framework. This, together with the lack of an …
-
Distributed computation on unreliable radio channels
… treatment of this topic. First, we detail a formal modeling framework. This framework is general enough to describe almost any radio network studied to date in the theory literature. It can also precisely capture the often subtle details of adversarial behavior. In addition, we prove a pair …
-
People pressure : strategic engineered migration as an instrument of statecraft and the rise of the human rights regime
… of historical case studies and insights from formal modeling, this study proposes and tests a new theory to explain one piece of a poorly understood phenomenon, namely the strategic use of population flows as political and military weapons. Specifically, after first demonstrating the existence …
-
XFM: An Incremental Methodology for Developing Formal Models
We present a methodology of an agile formal method named eXtreme Formal Modeling (XFM) recently developed by us, based on Extreme Programming concepts to construct abstract models from a natural language specification of a complex system. In particular, we focus on Prescriptive Formal Models (PFMs) …
-
Program Transformations for Information Personalization
… The central thesis of this dissertation is that modeling interaction explicitly in a representation, and studying how partial information can be harnessed in it by program transformations to direct the flow of the interaction, can provide insight into, reveal opportunities for, and define a model …
-
Sifting customers from the clickstream : behavior pattern discovery in a virtual shopping environment
… work beyond the thesis is likely to involve more formal modeling of human cognition in online shopping environments.
-
COMPATIBILITY TESTING FOR COMPONENT-BASED SYSTEMS
… and a tool called Rachet. First, I describe a formal modeling scheme for capturing the system configuration space, and a sampling criterion that determines the portion of the space to test. I describe an algorithm to sample configurations satisfying the sampling criterion and methods to test …
-
Attention, Context and the Inverse Base Rate Effect
… 2001a) is widely considered to be the best formal explanation of the IBRE and is based on an error-driven attentional account. This thesis aims to further existing research, investigating unexplored avenues and providing new datasets with which to test the capabilities of the EXIT model. …
-
Safety-driven system engineering process
… structure; 2) the System-Theoretic Accident Modeling and Processes (STAMP) model of accident causation, a framework upon which to base powerful safety engineering techniques; 3) STAMP-based Hazard Analysis (STPA) a novel hazard analysis technique; and 4) SpecTRM-Requirements Language …
-
Three essays on physician pricing
… The first is the use of the assumption in formal modeling that physicians have the same type of costs for different types of patients. The second aspect of physician pricing investigated here is physicians’ ability to change the name of a service in response to a fee cap without actually …
-
Emotion as information : inferring the unobserved causes of others' emotional expressions
… research, accounts of emotion attribution, and formal modeling, to provide a formal account of how people jointly infer beliefs and desires from emotional expressions. Study 3 tests children's understanding of social display rules. By middle childhood, children can use one person's emotional …
Page 1 of 2