The goal of video games is to challenge and entertain the players. Successful video games deliver experience that impact players on a level of arousal. Therefore undertaking a user experience (UX) study is crucial to ensure that a game achieves both critical and financial success. However, traditional usability methods (observation, subjective reporting, questionnaire, and interview) have a num...

'ILvo-person games are modeled as specifications in a language with angelic and demonic nondeterminism, and methods of program verification and transformation are used to reason about games. That a given strategy is winning can be proved using a variant of the traditional loop correctness rule. Furthermore, an implementation of the winning strategy can be derived using equivalence transformations.

In traditional computer games, the players are generally facing the screens, and using mice, keyboards or joysticks as the game controllers. Human senses and the natural interactions of players are lost. E-Ball is a hybrid Athletics/Video game based on the concept of computer supported collaborative play (CSCP). It collaborates the natural and enjoyable recreational interaction between players ...

The learning strategy by associating cultural elements with mathematics is called ethnomathematics. application of ethnomathematics in very important fostering a love for local culture which currently almost abandoned due to modernization. This study aims explain the mathematical contained Indonesian traditional game, namely engklek (hopscotch). research method used ethnographic research. Data ...