Search for dissertations about: "Games"

Showing result 1 - 5 of 277 swedish dissertations containing the word Games.

  2. 1. Games and Probabilistic Infinite-State Systems

    Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

  4. 2. Power Games : Rules and Roles in Second Life

    Author : Maria Bäcke; Blekinge Tekniska högskola; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; performance; role-play; Second Life; online worlds; virtual worlds; virtual; digital space; rules; hierarchies; subversion; power; negotiation; make-believe; Media and Communication Studies;

    Abstract : This study investigates how the members of four different role-playing communities on the online platform Second Life perform social as well as dramatic roles within their community. The trajectories of power influencing these roles are my main focus. READ MORE

  5. 3. Games in Formal Educational Settings : Obstacles for the development and use of learning games

    Author : Björn Berg Marklund; Per Backlund; Henrik Engström; Maurice Hendrix; Högskolan i Skövde; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Learning games; educational games; game development and use; Technology; Teknik;

    Abstract : From the perspective of educators, games are viewed as a medium in which the younger generation both thrive and excel. Students navigate game environments with ease and regularly solve problems, engage in advanced collaborative efforts, and communicate complex concepts and strategies to one another during their private gaming sessions at home. READ MORE

  6. 4. Body Games : Designing for movement-based play in co-located social settings

    Author : Elena Márquez Segura; Barry Brown; Annika Waern; Florian Mueller; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Man-Machine-Interaction MMI ; människa-maskin-interaktion MMI ;

    Abstract : The challenge of designing for games and playful activities has moved past the technical, to focus on how to design for a design space where the threads of the digital technologies and the physical world interweave and entangle creating a hybrid fabric where play can take place. But how can we bridge between the digital and physical world where play is enacted and unravel the tangle of this hybrid fabric? How can we braid the digital and digital threads to spur playful experiences? In this thesis, I focus on a concrete fabric of hybrid play: co–located physical and social play, and propose a framework for design in this scenario: the PLAY BOOST framework. READ MORE

  7. 5. Licensing Games

    Author : Aineas Mallios; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; patents; trade secrets; licensing; imitation; litigation;

    Abstract : Patents are legal instruments that protect ideas, and the rise of a knowledge-based society was inevitably accompanied with their increased economic importance. As a result of this growth, patented technology became an indispensable element of firms, governments, and modern economies. READ MORE