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 56 for “"formal framework"”.
-
A formal framework for optimizing and evaluating interactive retrieval system
… and more effectively. This thesis studies how to formally optimize as well as evaluate an interactive information retrieval system. First, we propose a formal general framework, the Interface Card Model, for optimizing interactive retrieval interface. We frame the task of an interactive retrieval …
-
A formal framework for specification-based embedded real-time system engineering
… Furthermore, if the specification approach has formal underpinnings, the use of models can be leveraged to automate engineering activities such as formal analysis and test case generation. The research presented in this thesis proposes an engineering framework which addresses the high cost of …
-
Formal framework and tools to derive efficient application-level detectors against memory corruption attacks
… This thesis proposes to use an existing formal tool, SymPLAID, to find the minimum set of critical memory locations one needs to protect. The analysis results are also used to derive selective detectors which are guaranteed to detect a given attack model. We demonstrate the methodology by …
-
Adaptation in Reputation Management Systems for Ad hoc Networks
… to consolidate all current research into a formal framework for reputation management systems. The lack of a formal framework is a potential weakness of the research field. For example, a formal comparison of proposed reputation management systems has remained difficult, mainly due to the …
-
Generic Theorem Proving Using HOL2P: A Category Theory Inspired Approach
Abstract Integrating formal program verification into mainstream software development has proven to be quite challenging, due to the level of abstract mathematical machinery needed. Although there have been some successes, most existing methods do not adequately support the mechanical verification …
-
THE AWW
… and assimilates the banal subjects into a formal framework. The subjects are monumentalized and romanticized in order to question, not the importance of the objects, but the relevance of the sublime.</p>
-
Stochastic Motion Planning for Applications in Subsea Survey and Area Protection
… the targets enter a specified area. We provide a formal framework for solving the second problem by jointly minimizing a cost function utilizing Bayes risk.
-
Measuring Empowerment and Social Inclusion in Favela Upgrading Belo Horizonte, Brazil
… the OP as an empowering process it provides no formal framework for measuring the level of empowerment experienced by the participants. Three factors are necessary for social inclusion and empowerment; 1) spatial integration, 2) decision making power and 3) the creation of empowered, organized …
-
Water resource decision making in the Western Cape system analysis
… This thesis argues the case for the use of a formal framework to improve future decision making between water supply options in light of the above goals. After debating which type of framework would be most appropriate, the possible workings of a future system are briefly outlined.
-
Searching business process models by example
… of a possible answer. This method builds upon a formal framework that captures and compares the behavior of process models by the execution ordering of actions. The framework contributes a conceptual notion of behavioral distance that quantifies commonalities and differences of a pair of process …
-
A framework for usage management
This thesis proposes a formal framework for usage management in distributed systems. The principles of system design are applied in order to standardize certain features of the framework, such as the operational semantics, and leave free of standards areas that necessitate choice and innovation. …
-
Formal methods for reuse of design patterns and micro-architectures
… reuse, and reuse of application frameworks are the three distinct levels of software reuse. This thesis examines the critical issues in providing support for different levels of reuse through formal specifications of reusable components. The formal specification language Larch/C++ …
-
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 …
-
Document Verification with Temporal Description Logics
The thesis proposes a new formal framework for checking the content of web documents along individual reading paths. It is vital for the readability of web documents that their content is consistent and coherent along the possible browsing paths through the document. Manually ensuring the coherence …
-
Predicate Diagrams as Basis for the Verification of Reactive Systems
This thesis proposes a diagram-based formalism for verifying temporal properties of reactive systems. Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and flexibility of deduction with …
-
Mapping spatial relations
… structure of spatial concepts. I then show how a formal framework, based on the mathematical notions of category theory can be used to model the grounding problem. The key computational ideas are that of minimal mapping and derivations. A minimal mapping of two categories, A and B, is the …
-
Decision support tools for urban air quality management
… uncertainty, prior knowledge, and provides for a formal framework to combine measurements of different quality. Applying the method to data from Mexico City, evidence for stable and metastable aerosols was found. Gas phase concentrations were estimated including, for the first time in Mexico City, …
-
ESTABLISHING THE CONDITIONS FOR THE IMPLEMENTATION OF THE BRITISH STANDARD FOR COLLABORATIVE BUSINESS RELATIONSHIPS (BS 11000) WITHIN THE FACILITIES MANAGEMENT INDUSTRY
… Up until recently however, there has not been a formal framework that addresses the importance of collaborative business partnerships. In October 2010, British Standards developed the first framework for collaborative business partnerships (BS11000). Although this is novel and crucial for …
-
A comparative study of iterative prototyping vs. waterfall process applied to small and medium sized software projects
… provide the software development process with a formal framework have been elaborated and tested. While some of these followed the sequential line of thought presented by Royce and Boehm, other methodologies have suggested the use of iterations since early stages of the lifecycle as a mean to …
Page 1 of 3