6239 search results - page 1002 / 1248 » From Zinc to Design Model |
191
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
278
click to vote
UAIS
2011
15 years 1 months ago
2011
Over the last three decades, video games have evolved from a pastime into a force of change that is transforming the way people perceive, learn about, and interact with the world a...
213
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—In this paper we model the digital rights management (DRM) for peer-to-peer streaming (P2PS) systems as a game. We construct the DRM game from both content service provider (CSP...
170
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Demographic information plays an important role in personalized web applications. However, it is usually not easy to obtain this kind of personal data such as age and gender. In t...
182
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...