Uttalsundervisning på sfi

SFI : a Feature Integration Tool ?

John Padgett application for SFI

I will describe my research interests in the following sequence: (a) the substantive phenomenon I wish to explain is the emergence of banking in Renaissance Florence; (b) the evolutionary process exemplified in this case is speciation—in particular, speciation viewed “metabolically” as the altered concatenation of multiple production networks; (c) modeling the dynamics of multiple networks, to ...

Sfi Workshop : Integrating Development and Inheritance

An introduction to the workshop and its main aims. (1) To discuss the historical origins of the separation of development and inheritance and their description in genetic terms, and how this shaped the development of research programs within evolutionary biology; (2) To explore the possible implications of alternative conceptualizations of inheritance, and the development-heredity relationship,...

SFI: A Refinement Based Layered Software Architecture

Refinement calculus [1,5] is a formal framework for reasoning about program correctness and correctness preserving program refinements. It serves as the foundation for an object-oriented software architecture and construction method that we refer to as stepwise feature introduction (SFI) [3]. Characteristic for this approach is that each software module is described in terms of thin layers. Eac...

Evaluating SFI for a CISC Architecture

Executing untrusted code while preserving security requires that the code be prevented from modifying memory or executing instructions except as explicitly allowed. Software-based fault isolation (SFI) or “sandboxing” enforces such a policy by rewriting the untrusted code at the instruction level. However, the original sandboxing technique of Wahbe et al. is applicable only to RISC architecture...