This paper addresses new questions around media performance as a result of the rise of centralized content portals such as iTunes or MySpace. We first describe the rise of central...
Urban design today faces complex demands. It has become a necessity to negotiate between stakeholder objectives, the expectations of citizens, and the demands of planning. In this...
Ina Wagner, Maria Basile, Lisa Ehrenstrasser, Val&...
A common belief is that software designs decay as systems evolve. This research examines the extent to which software designs actually decay by studying the aging of design patter...
Good artificial intelligence for strategy and first person shooter games requires tactical information. Tactical information assists agents in choosing appropriate places to place...
Frederick W. P. Heckel, G. Michael Youngblood, D. ...
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...