1953 search results - page 224 / 391 » Normative system games |
136
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
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...
253
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
153
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
103
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Strategic decision making done in parallel with the opposition makes it difficult to predict the opposition’s strategy. An important aspect in deciding a move is evaluating ...
120
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...