Sciweavers

1454 search results - page 3 / 291
» Stateful traits and their formalization
Sort
View
ECOOP
2007
Springer
14 years 2 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 10 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»
14 years 24 days ago
Logspace Reducibility via Abstract State Machines
Erich Grädel, Marc Spielmann