Designing Per-Poor system of innovation proverbs

The purpose of the study was to explore how to create a Per-Poor innovation (PPI) approach in a way that contributes knowledge. A lot of  indigenous system research exists, but the percentage transformed into approaches, products and services is low. The study will create a low income level innovation artifact by integrating indigenous knowledge (IK) and global knowledge (GK) for Per-Poor innovators. Analogy design science research method was used to create a system of innovation proverbs. Analogy between indigenous Harambee and global sysems: Open source software, Software patterns and Kaizen was used to discover innovation rules and principles applicable to PPI. The research findings are synthesising African philosophies and provide a paradigm for integrating IK and GK. Synthesising proverbs and Theory of inventive problem solving (TRIZ) principles aided in the discovery of possible ways beeping innovation was created. The originality of this research is being first to create an indigenous PPI. Keywords: indigenous knowledge, Per-Poor innovation, proverbs, global knowledge, systems&nbsp

Master of Science

thesisTo minimize resource consumption and maximize performance, computer architecture research has been investigating approaches that may compute inaccurate solutions. Such hardware inaccuracies may induce a wide variety of program behaviors which are not obs

Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface

Globalization and Responsibility

The book "Globalization and Responsibility" consists of 8 chapters. The chapters in the book offer a decentered and dynamic terminology. They show that globalization consists of not only an objective process, but also of a lot of statements that define, describe and analyze the different experiences of the process. The chapters are written by authors and researchers from different academic disciplines, cultures and social contexts, therefore different experiences and scientific analyses on the consequences of globalization have been unified, starting from the multicultural and social epistemology to ethics of responsibility. Each chapter can be read separately, but in a complex, interconnected global universe of intertextuality of our world

Design of the software development and verification system (SWDVS) for shuttle NASA study task 35

An overview of the Software Development and Verification System (SWDVS) for the space shuttle is presented. The design considerations, goals, assumptions, and major features of the design are examined. A scenario that shows three persons involved in flight software development using the SWDVS in response to a program change request is developed. The SWDVS is described from the standpoint of different groups of people with different responsibilities in the shuttle program to show the functional requirements that influenced the SWDVS design. The software elements of the SWDVS that satisfy the requirements of the different groups are identified

Denotational Translation Validation

In this dissertation we present a simple and scalable system for validating the correctness of low-level program transformations. Proving that program transformations are correct is crucial to the development of security critical software tools. We achieve a simple and scalable design by compiling sequential low-level programs to synchronous data-flow programs. Theses data-flow programs are a denotation of the original programs, representing all of the relevant aspects of the program semantics. We then check that the two denotations are equivalent, which implies that the program transformation is semantics preserving. Our denotations are computed by means of symbolic analysis. In order to achieve our design, we have extended symbolic analysis to arbitrary control-flow graphs. To this end, we have designed an intermediate language called Synchronous Value Graphs (SVG), which is capable of representing our denotations for arbitrary control-flow graphs, we have built an algorithm for computing SVG from normal assembly language, and we have given a formal model of SVG which allows us to simplify and compare denotations. Finally, we report on our experiments with LLVM M.D., a prototype denotational translation validator for the LLVM optimization framework.Engineering and Applied Science

Reprogrammable In Vivo Architecture

The biological cell is the intricate, yet ubiquitous component of life, able to grow, adapt and reproduce. The genetic material contained within a cell encodes information which directs its development and behaviour, and this information is passed down from one generation of cell to the next. One emerging interest, resulting from collaborations between the disciplines of Molecular Biology and Computer Science, is to encode computational programs, sets of engineered, information processing instructions, in genetic material, to be executed by living cells.So far, the large majority of in vivo computation research has been based on the detection and conditional manipulation of protein concentrations inside cells, which is the biological method of gene expression. In contrast, this thesis describes how a computational program, encoded in genetic material inside a bacterium, can be triggered by external stimuli to reassemble itself in a directed manner to create a newly arranged computational program.In order to investigate the potential utility of in vivo self-arranging programs, software was designed to explore a search space of candidate computational programs, encoded in genetic material, which are able to rearrange themselves; to simulate these candidates and to evaluate their behaviour against a set of criteria. Rearrangements were facilitated by biological catalysts which can selectively sever and rejoin genetic material in a cooperative manner. Their ability to perform compound operations was found to allow for a general purpose mechanismAs a proof of concept, one of the candidate computational programs, a two-colour switch which can be set irreversibly through its rearrangement, was encoded in genetic material. Measurements of in vivo expression were observed resulting from in vitro rearrangement manipulations, to illustrate its operation