125 search results - page 11 / 25 » How Videogames Express Ideas |
TCS
2008
13 years 7 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
ETAI
2000
13 years 7 months ago
2000
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...
ACMDIS
2008
ACM
13 years 9 months ago
2008
ACM
This paper examines an under explored area of digital photography, namely photo display. Using examples from a study undertaken with six families, we examine photo displays on man...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...