Sciweavers

1283 search results - page 135 / 257
» Science: the rules of the game
Sort
View
CHI
2009
ACM
16 years 7 months ago
Lessons from brain age on persuasion for computer security
Users generally have difficulty understanding and managing computer security tasks. We examined Nintendo's Brain Age games for ways to help users remember more secure passwor...
Alain Forget, Sonia Chiasson, Robert Biddle
LICS
2007
IEEE
16 years 19 days ago
Categorical Combinatorics for Innocent Strategies
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former dis...
Russell Harmer, Martin Hyland, Paul-André M...
KCAP
2005
ACM
15 years 12 months ago
Collaboratory testbed partnerships as a knowledge capture challenge
The difficulty of maintaining effective testbed partnerships, among users of computer-based tools and builders of those tools, has been an obstacle to the success of science colla...
Mary A. Keeler, Heather D. Pfeiffer
MFCS
2004
Springer
15 years 11 months ago
A Protocol for Serializing Unique Strategies
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
Marcel Crâsmaru, Christian Glaßer, Ken...
LICS
1997
IEEE
15 years 10 months ago
Full Abstraction for Functional Languages with Control
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
James Laird