1171 search results - page 58 / 235 » A Logical Language for Expressing Authorizations |
141
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We are developing a digital writing tool, Polymorphic Letters (PL), to investigate hand and pen movements as they may extend and enrich expression in written language. PL recogniz...
149
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
In the research project `Reach', we investigate the potential for new forms of communication and expression to be incorporated dynamically and interactively into the things t...
162
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
211
click to vote
CHI
2010
ACM
15 years 2 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
152
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...