709 search results - page 129 / 142 » Type Checking in XOBE |
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
GIS
2005
ACM
14 years 10 months ago
2005
ACM
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
XML programming involves idioms for expressing `structure shyness' such as the descendant axis of XPath or the default templates of XSLT. We initiate a discussion of the rela...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
The education industry has a very poor record of productivity gains. In this brief article, I outline some of the ways the teaching of a college course in database systems could b...