405 search results - page 31 / 81 » Open Systems Formal Evaluation Process |
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
There are two broad approaches to query evaluation over probabilistic databases: (1) Intensional Methods proceed by manipulating expressions over symbolic events associated with u...
SIGMOD
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we study query evaluation on Active XML documents (AXML for short), a new generation of XML documents that has recently gained popularity. AXML documents are XML do...
ICDCS
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
159
click to vote
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
Partial evaluation has recently proven an effective technique for evaluating Boolean XPath queries over a fragmented tree that is distributed over a number of sites. What left ope...
100
click to vote
DAGSTUHL
2004
15 years 4 days ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...