Sciweavers

117 search results - page 5 / 24
» Recombinable Game Mechanics for Automated Design Support
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 1 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
DAC
2008
ACM
15 years 10 months ago
Control theory-based DVS for interactive 3D games
We propose a control theory-based dynamic voltage scaling (DVS) algorithm for interactive 3D game applications running on batterypowered portable devices. Using this scheme, we pe...
Yan Gu, Samarjit Chakraborty
HICSS
2006
IEEE
107views Biometrics» more  HICSS 2006»
15 years 3 months ago
Gaming Emergency Preparedness
This paper describes the design of a competitive game to support “offense” and “defense” teams as they develop and improve their scenarios and plans about possible crisis ...
Murray Turoff, Michael Chumer, Starr Roxanne Hiltz...
ACMACE
2006
ACM
15 years 3 months ago
Airhockey over a distance: a networked physical game to support social interactions
In modern society, people increasingly lack social interaction, even though it is beneficial to professional and personal life. Airhockey Over a Distance aims to work against this...
Florian Mueller, Luke Cole, Shannon O'Brien, Woute...
TELSYS
2002
126views more  TELSYS 2002»
14 years 9 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...