5109 search results - page 556 / 1022 » On Learning Limiting Programs |
357
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
184
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes using mobile game development as a motivational tool to engage students early in the curriculum. Mobile devices have become an integral part of everyday lives...
352
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
279
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Data-layout optimizations rearrange fields within objects, objects within objects, and objects within the heap, with the goal of increasing spatial locality. While the importance ...
221
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...