3819 search results - page 30 / 764 » Simple Easy Terms |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
CHI
1993
ACM
13 years 11 months ago
1993
ACM
This paper describes some recent experiments that assess user behavior in a multi-modal environment in which actions can be performed with equivalent effect in speech, keyboard or...
ACL
2009
13 years 5 months ago
2009
In this demo, we present a wiki-style platform
RBAC
1997
13 years 9 months ago
1997
The RBAC metaphor is powerful in its ability to express access control policy in terms of the way in which administrators view organizations. The functionality of simple Role Base...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...