Sökning: "instantiation"

Visar resultat 21 - 25 av 39 avhandlingar innehållade ordet instantiation.

  1. 21. An E-Government Design Science Research in Sri Lanka : Facilitating Collaboration between the Government and Citizens for Environmental Sustainability

    Författare :Mohamed Sapraz; Shengnan Han; Tomasz Janowski; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; E-government; Design Science Research; Value-Sensitive Design; Digital Government Collaborative Platform; Environmental Sustainability; Sri Lanka; data- och systemvetenskap; Computer and Systems Sciences;

    Sammanfattning : Purpose/Problem: Providing a digital platform for citizens to collaborate with governments to address environmental issues is vital for achieving sustainability goals. However, the e-government literature lacks studies that provide pragmatic solutions to sustainability problems through the design of artifacts, especially in developing countries. LÄS MER

  3. 22. Procedure-Modular Verification of Temporal Safety Properties

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER

  4. 23. Promoting Semantic Interoperability of Contextual Metadata for Learner Generated Digital Content

    Författare :Martin Svensson; Marcelo Milrad; Ulrich Hoppe; Niels Pinkwart; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; metadata; contextual metadata; user-generated content; Computer science; Datavetenskap; Media Technology; Medieteknik;

    Sammanfattning : Technological advancements in computing have led to a reality where computational devices are more mobile, connected and context aware than ever before. Several of these devices are primarily designed for or support the creation of digital content via built-in or attachable sensors, e.g. mobile phones. LÄS MER

  5. 24. Combining and Strengthening Program Analysis and Verification

    Författare :Tobias Gedell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about methods for establishing semantic properties of programsand how those methods can be strengthened. Finding (semi-)algorithms fordeciding semantic properties is a non-trivial task and such algorithms will, bynecessity, give approximate answers. LÄS MER

  7. 25. Future urban sustainable mobility - Implementing and understanding the impacts of policies designed to reduce private automobile usage

    Författare :Peter Loukopoulos; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Car-use reduction; Land-use planning; Public participation; Travel choice; psychology;

    Sammanfattning : The historically recent growth in interest in policies designed to reduce private automobile usage, policies coming under the rubric of travel demand management (TDM), is offset by a paucity of systematic research concerning the procedures by which to define and implement such TDM policies or measures, the consequences of such TDM measures and the nature of the ensuing adaptation process occurring upon implementation of any TDM measure. The present thesis’ conceptual framework for understanding the effects of TDM measures extends and complements previous work in the transportation literature by drawing on psychological theories of goal setting and adaptation. LÄS MER