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 4 of 4 for “"refinement model"”.
-
The Programming Theory of Creativity
… creativity. I then critique Antonia Peacocke's refinement model of creativity, which seeks to reconcile the requirements of intention and novelty through the concept of a proto-work. I argue that there are creative products that the refinement model fails to recognize as such, including those …
-
An algebraic model of software evolution
A model of the software evolution process, called the Abstraction Refinement Model, is described which builds on the algebraic influence of the Laws of Programming and the transformational Draco Paradigm. The result is an algebraic structure consisting of the states of the software product (system …
-
Improving Large-scale Recommendation Systems with Contextual Signals
… for large-scale recommendation systems. Model-based recommendation systems have the advantage of better performance and scalability in large-scale systems. Contextual signals, such as user browsing histories, check-ins, latest posts, page views, etc., provide great potential to improve …
-
Verifying a Quantitative Relaxation of Linearizability via Refinement
… quasi linearizability of the implementation model of a concurrent data structure. The method is based on checking the refinement relation between the implementation model and a specification model via explicit state model checking. It can directly handle multi-threaded programs where each …