1519 search results - page 192 / 304 » What do they think |
144
click to vote
WWW
2010
ACM
16 years 25 days ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
192
click to vote
HICSS
2010
IEEE
16 years 22 days ago
2010
IEEE
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...
147
click to vote
CHI
2010
ACM
16 years 21 days ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
139
click to vote
TEI
2010
ACM
16 years 21 days ago
2010
ACM
Tangible Lightscapes is a research on interfaces mainly based on light and gestures. The aim of my exploration is to design a vocabulary of light behaviours to show people what th...
160
Voted
ESOP
2009
Springer
16 years 19 days ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...