Sciweavers

671 search results - page 78 / 135
» Describing and Manipulating XML Data
Sort
View
SIGCSE
2004
ACM
188views Education» more  SIGCSE 2004»
14 years 1 months ago
Buffer pools and file processing projects for an undergraduate data structures course
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
Clifford A. Shaffer
ICWS
2004
IEEE
13 years 9 months ago
JClarens: A Java Based Interactive Physics Analysis Environment for Data Intensive Applications
In this paper we describe JClarens; a Java based implementation of the Clarens remote data server. JClarens provides web services for an interactive analysis environment to dynami...
Arshad Ali, Ashiq Anjum, Tahir Azim, Michael Thoma...
VLDB
2004
ACM
152views Database» more  VLDB 2004»
14 years 8 months ago
The BEA streaming XQuery processor
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...
Daniela Florescu, Chris Hillery, Donald Kossmann, ...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
ACMSE
2005
ACM
14 years 1 months ago
Metadata management and relational databases
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
Shun Yan Cheung, James J. Lu, Catharine M. Wyss