Sciweavers

569 search results - page 91 / 114
» Materialized Views in Oracle
Sort
View
126
Voted
CADE
1998
Springer
15 years 3 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
VVS
1996
IEEE
202views Visualization» more  VVS 1996»
15 years 3 months ago
Direct Volume Rendering with Shading via Three-Dimensional Textures
A new and easy-to-implement method for direct volume rendering that uses 3D texture maps for acceleration, and incorporates directional lighting, is described. The implementation,...
Allen Van Gelder, Kwansik Kim
86
Voted
VLDB
1989
ACM
105views Database» more  VLDB 1989»
15 years 2 months ago
Monitoring Database Objects
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...
Tore Risch
MOBISYS
2008
ACM
15 years 1 months ago
Transient customization of mobile computing infrastructure
Kimberley enables rapid software provisioning of fixed infrastructure for transient use by a mobile device. It uses virtual machine (VM) technology, but avoids the performance cha...
Adam Wolbach, Jan Harkes, Srinivas Chellappa, Maha...
96
Voted
AOSE
2008
Springer
15 years 28 days ago
A Unified Graphical Notation for AOSE
Abstract. Over the last five years a number of agent system development methodologies have been proposed and developed, with a number of them becoming well established and used bey...
Lin Padgham, Michael Winikoff, Scott A. DeLoach, M...