576 search results - page 89 / 116 » XML-RL Update Language |
117
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
172
click to vote
NATO
1993
15 years 6 months ago
1993
METU Object-Oriented DBMS 1 includes the implementation of a database kernel, an object-oriented SQL-like language and a graphical user interface. Kernel functions are divided bet...
131
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
114
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
217
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
We propose XRPC, a minimal XQuery extension that enables distributed yet efficient querying of heterogeneous XQuery data sources. XRPC enhances the existing concept of XQuery func...