Sökning: "Games"

Visar resultat 1 - 5 av 347 avhandlingar innehållade ordet Games.

  1. 1. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Nyckelord :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;

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

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

    Författare :Maria Bäcke; Blekinge Tekniska högskola; []
    Nyckelord :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;

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

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

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

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

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

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

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

  7. 5. Licensing Games

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

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