Search for dissertations about: "Algorithmic Composition"

Showing result 6 - 8 of 8 swedish dissertations containing the words Algorithmic Composition.

  2. 6. Regular model checking

    Author : Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. READ MORE

  4. 7. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

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

    Abstract : 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. READ MORE

  5. 8. Towards a Scenario-based Spatial Dynamic Modeling for Predicting Urban Land Use Change : Planning Tools and Comparative Analysis

    Author : Zipan Cai; Vladimir Cvetkovic; Fredrik Gröndahl; Brian Deal; Stan Geertman; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; urbanization; planning support system; spatial dynamic model; urban land use change; spatial analysis; human-land interaction; socioeconomics; ecological systems; urban amenities; environmental impact assessment; what-if; decision-making; urbanisering; planeringsstödsystem; rumslig dynamisk modell; förändring av stadsmarkanvändning; rumslig analys; mänsklig-land interaktion; socioekonomi; ekologiska system; urbana bekvämligheter; miljökonsekvensbeskrivning; vad-om; beslutsfattande; Mark- och vattenteknik; Land and Water Resources Engineering;

    Abstract : As global urbanization progresses, cities worldwide are growing in size, which leads to many economic, environmental, and management challenges. Recent advancements in spatial data analysis and algorithmic geography have also led to the development of various urban model-based planning support systems (PSS) for urban planning. READ MORE