Sökning: "declarative programming"

Visar resultat 21 - 25 av 31 avhandlingar innehållade orden declarative programming.

  1. 21. Contributions to Meta-Modeling Tools and Methods

    Författare :Adrian Pop; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Highly integrated domain-specific environments are essential for the efficient design of complex physical products. However, developing such design environments is today a resource-consuming error-prone process that is largely manual. Meta-modeling and meta-programming are the key to the efficient development of such environments. LÄS MER

  3. 22. Issues in Structured Knowledge Representation A Definitional Approach with Application to Case-Based Reasoning and Medical Informatics

    Författare :Göran Falkman; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Several issues concerned with structured knowledge representation based on definitional structures are discussed: the realisation of knowledge-based systems using declarative programming, similarity assessment in knowledge representation and case-based reasoning, and the importance of human-computer interaction and information visualisation in knowledge-based systems. To illustrate the basic ideas, real-world applications from the area of oral medicine are used. LÄS MER

  4. 23. Horn clause logic with external procedures : towards a theoretical framework

    Författare :Staffan Bonnier; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Horn clause logic has certain properties which limit its usefulness as a programming language. In this thesis we concentrate on three such limitations: (1) Horn clause logic is not intended for the implementation of algorithms. LÄS MER

  5. 24. Aspect-Oriented Business Process Management

    Författare :Amin Jalali; Paul Johannesson; Flávia Maria Santoro; Stockholms universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : Separation of concerns has long been considered an effective and efficient strategy to deal with complexity in information systems.One sort of concern, like security and privacy, crosses over other concerns in a system. Such concerns are called cross-cutting concerns. LÄS MER

  7. 25. Performance Optimization Techniques and Tools for Distributed Graph Processing

    Författare :Vasiliki Kalavri; Vladimir Vlassov; Christian Schulte; Seif Haridi; Peter Van Roy; Peter Boncz; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Graph processing; distributed systems; big data; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : In this thesis, we propose optimization techniques for distributed graph processing. First, we describe a data processing pipeline that leverages an iterative graph algorithm for automatic classification of web trackers. LÄS MER