6300 search results - page 895 / 1260 » We have it easy, but do we have it right |
WWW
2010
ACM
15 years 9 months 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...
117
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
102
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Information foraging models have predicted the navigation paths of people browsing the web and (more recently) of programmers while debugging, but these models do not explicitly m...
108
click to vote
HRI
2010
ACM
15 years 8 months ago
2010
ACM
Abstract—Joint attention – the idea that humans make inferences from observable behaviors of other humans by attending to the objects and events that these others humans attend...
120
Voted
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Growth in the IT outsourcing industry during the past ten years has been exceptional. In this study, we theorize about and analyze the growth patterns of IT outsourcing at the leve...