8 search results - page 1 / 2 » Who's to Blame |
DEON
2004
Springer
14 years 1 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
HCI
2009
13 years 6 months ago
2009
Games are increasingly being used as educational tools, in part because they are presumed to enhance student motivation. We look at student motivation in games from the viewpoint o...
JOCN
2010
13 years 7 months ago
2010
■ This investigation combined behavioral and functional neuroimaging measures to explore whether perception of pain is modulated by the targetʼs stigmatized status and whether ...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...