Sciweavers

1454 search results - page 3 / 291
» Stateful traits and their formalization
Sort
View
ECOOP
2007
Springer
13 years 11 months ago
Metaprogramming with Traits
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
John H. Reppy, Aaron Turon
FPLAY
2008
13 years 6 months ago
Flow and immersion in first-person shooters: measuring the player's gameplay experience
Researching experiential phenomena is a challenging undertaking, given the sheer variety of experiences that are described by gamers and missing a formal taxonomy: flow, immersion...
Lennart Nacke, Craig A. Lindley
FM
1999
Springer
99views Formal Methods» more  FM 1999»
13 years 9 months ago
Logspace Reducibility via Abstract State Machines
Erich Grädel, Marc Spielmann