2487 search results - page 280 / 498 » cases 2009 |
176
click to vote
SI3D
2009
ACM
16 years 1 months ago
2009
ACM
Physically plausible illumination at real-time framerates is often achieved using approximations. One popular example is ambient occlusion (AO), for which very simple and efficie...
159
click to vote
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a successful model for undergraduate research where student participants work on interdisciplinary research projects; in our case, at the frontier between comp...
161
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents an end-user-oriented programming environment called Mashroom. Major contributions herein include an end-user programming model with an expressive data structur...
169
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
On the web of today the most prevalent solution for users to interact with data-intensive applications is the use of formbased interfaces composed by several data input fields, s...
162
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...