Sciweavers

1189 search results - page 101 / 238
» Information Concealing Games
Sort
View
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
16 years 10 days ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
SOUPS
2009
ACM
16 years 22 days ago
Revealing hidden context: improving mental models of personal firewall users
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
Fahimeh Raja, Kirstie Hawkey, Konstantin Beznosov
CCS
2007
ACM
16 years 12 days ago
Hardware-rooted trust for secure key management and transient trust
We propose minimalist new hardware additions to a microprocessor chip that protect cryptographic keys in portable computing devices which are used in the field but owned by a cen...
Jeffrey S. Dwoskin, Ruby B. Lee
CSCW
2006
ACM
16 years 6 days ago
SIDES: a cooperative tabletop computer game for social skills development
This paper presents a design case study of SIDES: Shared Interfaces to Develop Effective Social Skills. SIDES is a tool designed to help adolescents with Asperger’s Syndrome pra...
Anne Marie Piper, Eileen O'Brien, Meredith Ringel ...
NETGAMES
2006
ACM
16 years 6 days ago
Load balancing for massively multiplayer online games
Supporting thousands, possibly hundreds of thousands, of players is a requirement that must be satisfied when delivering server based online gaming as a commercial concern. Such a...
Fengyun Lu, Simon E. Parkin, Graham Morgan