569 search results - page 84 / 114 » Materialized Views in Oracle |
159
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
CADE
2003
Springer
15 years 11 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
160
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...
PODS
2005
ACM
15 years 11 months ago
2005
ACM
We consider here the exchange of Active XML (AXML) data, i.e., XML documents where some of the data is given explicitly while other parts are given only intensionally as calls to ...
MOBISYS
2007
ACM
15 years 10 months ago
2007
ACM
Cyber foraging is the transient and opportunistic use of compute servers by mobile devices. The short market life of such devices makes rapid modification of applications for remo...