713 search results - page 121 / 143 » Static and Dynamic Semantics of the Web |
100
click to vote
PPPJ
2009
ACM
15 years 4 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The ability for software products to adapt to future changes is essential. Whether the change, the delta, is prefixed to subclasses or postfixed to super classes, class hierarchie...