303 search results - page 13 / 61 » Interfaces as Games, Programs as Strategies |
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
ACSC
2004
IEEE
14 years 14 days ago
2004
IEEE
Table 1 shows the payoff to player one. The same matrix also holds for player two. Player one can gain the maximum 5 points (T = 5) by defection if player two cooperates. However,...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
AUIC
2000
IEEE
14 years 1 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
ACMACE
2006
ACM
14 years 14 days ago
2006
ACM
We present a study that explores the use of a commercially available eye tracker as a control device for video games. We examine its use across multiple g...