Sökning: "Algorithmic Composition"

Visar resultat 6 - 8 av 8 avhandlingar innehållade orden Algorithmic Composition.

  1. 6. Regular model checking

    Författare :Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : 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. LÄS MER

  3. 7. 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. 8. Towards a Scenario-based Spatial Dynamic Modeling for Predicting Urban Land Use Change : Planning Tools and Comparative Analysis

    Författare :Zipan Cai; Vladimir Cvetkovic; Fredrik Gröndahl; Brian Deal; Stan Geertman; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER