Sökning: "Formal methods"

Visar resultat 21 - 25 av 461 avhandlingar innehållade orden Formal methods.

  1. 21. Housing finance methods in urban Tanzania : The case of households in Kinondoni Municipality, Dar es Salaam, Tanzania

    Författare :Egino Millanzi; Mats Wilhelmsson; Agnes Mwasumbi; Washington H.A. Olima; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Housing finance; finance methods; finance system; urban development; Bostadsfinansiering; finansieringsmetoder; finanssystem; stadsutveckling; Fastigheter och byggande; Real Estate and Construction Management;

    Sammanfattning : Effective housing finance methods require the interrelationships between the housing finance system components such as banking and capital markets, land registry, the housing sector, and macroeconomic and socioeconomic aspects. Nonetheless, despite the exclusion of the majority of the households by formal long-term housing finance methods, Tanzania has experienced substantial improvement in housing development in the last two decades. LÄS MER

  3. 22. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

    Författare :Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. LÄS MER

  4. 23. Formal Verification of Peripheral Memory Isolation

    Författare :Jonas Haglund; Roberto Guanciale; Mads Dam; Gligor Virgil; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; interactive theorem proving; direct memory access; memory isolation; input output; formell verifiering; interaktiv datorassisterad beviskonstruktion; direkt minnesåtkomst; minnesisolering; indata utdata; Datalogi; Computer Science;

    Sammanfattning : In many contexts, computers run both critical and untrusted software,necessitating the need for isolating critical software from untrusted software.These computers contain CPUs, memory and peripherals. LÄS MER

  5. 24. Stable High-Order Finite Difference Methods for Aerodynamics

    Författare :Magnus Svärd; Jan Nordström; Thomas Hagstrom; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; finite difference methods; high-order accuracy; summation-by-parts; stability; energy estimates; finite volume methods; Numerical analysis; Numerisk analys; Scientific Computing; Beräkningsvetenskap; Numerical Analysis;

    Sammanfattning : In this thesis, the numerical solution of time-dependent partial differential equations (PDE) is studied. In particular high-order finite difference methods on Summation-by-parts (SBP) form are analysed and applied to model problems as well as the PDEs governing aerodynamics. LÄS MER

  7. 25. On Formal Methods for Large-Scale Product Configuration

    Författare :Alexey Voronov; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; constraint satisfaction; knowledge compilation; Boolean satisfiability; supervisory control theory; product configuration;

    Sammanfattning : In product development companies mass customization is widely used to achieve better customer satisfaction while keeping costs down. To efficiently implement mass customization, product platforms are often used. A product platform allows building a wide range of products from a set of predefined components. LÄS MER