Sökning: "Wilander"

Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet Wilander.

  1. 1. Essays on exchange rates and prices

    Författare :Fredrik Wilander; Handelshögskolan i Stockholm; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : This thesis consists of five separate papers, broadly within the field of International Finance. The first paper, An Empirical Analysis of the Currency Denomination in International Trade, investigates the choice of currency in international trade transactions by Swedish exporting firms. LÄS MER

  3. 2. Contributions to Specification, Implementation, and Execution of Secure Software

    Författare :John Wilander; Mariam Kamkar; Benjamin Livshits; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : This thesis contributes to three research areas in software security, namely security requirements and intrusion prevention via static analysis and runtime detection.We have investigated current practice in security requirements by doing a field study of eleven requirement specifications on IT systems. LÄS MER

  4. 3. Policy and implementation assurance for software security

    Författare :John Wilander; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; IT-säkerhet; dataskydd; data protection; computer security; Computer science; Datavetenskap;

    Sammanfattning : To build more secure software, accurate and consistent security requirements must be specified. We have investigated current practice by doing a field study of eleven requirement specifications on IT systems. LÄS MER

  5. 4. On Constructive Sets and Partial Structures

    Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Sammanfattning : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. LÄS MER

  7. 5. Quinquagesima sexta al-Cor-ani sura Suetice versa. Quam venia ampl. facult. philos. Upsal. p. p. ... Henricus Gerh. Lindgren et Carolus Ant. Wilander Stockholmienses. In audit. Gust. die XXV April. MDCCCXXIX. h. a. m. s

    Författare :Henrik Gerhard Lindgren; Carl Anton Wilander; Henrik Gerhard Lindgren; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER