103 search results - page 21 / 21 » Code Generation via Higher-Order Rewrite Systems |
SIGMOD
2010
ACM
13 years 11 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
LCPC
2001
Springer
13 years 10 months ago
2001
Springer
This paper discusses the potential beneļ¬ts of applicationspeciļ¬c power management through remote task execution. Power management is crucial for mobile devices that have to re...
IJCINI
2007
13 years 6 months ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...