109 search results - page 15 / 22 » Towards a Theory of Socio-technical Interactions |
111
click to vote
IE
2007
15 years 1 months ago
2007
By blurring the boundary between game fiction and reality, Pervasive Games impact the shared space of the city areas that they use as gaming platform. Drawing on notions of spatia...
104
click to vote
CADE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
WWW
2002
ACM
16 years 10 days ago
2002
ACM
In this paper, we present an incremental transformation framework called incXSLT. This framework has been experimented for the XSLT language defined at the World Wide Web Consorti...
81
Voted
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Users have a strong tendency toward dismissing security dialogs unthinkingly. Prior research has shown that users' responses to security dialogs become significantly more tho...
CCS
2010
ACM
14 years 9 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...